5.1 内存模型基础

5.1.1 对象和内存位置

C++程序中所有的数据均是由对象组成的，但是其中有一些不能够派生的类，这些数据在内存中有着严格的放置顺序，这样才保证了开发的正确性，在一个复合结构中我们可以得到：

1.每个变量都是一个对象，包括其他对象的成员

2.每个对象占据至少一个内存位置

3.如int或者char这样的基本类型的变量恰好一个内存位置，无论其大小，即使他们相邻或者是数组的一部分

4.相邻的位域是相同内存位置的一部分

//对于3，4两点，感觉怪怪的

5.1.2 对象、内存位置以及并发

对于并发访问对象，如果多个线程访问的对象没有同一位置的，则没必要考虑由数据竞争导致的写入、读取完整性的问题，只有出现数据竞争时才应该考虑数据的写入、读取之间的完整性。

5.1.3 修改顺序

C++程序中每个对象，都有一个确定的修改顺序，系统中的所有线程必须一致同意此顺序

5.2 C++中的原子操作及类型

原子操作是一个不可分割的操作，这种操作有个特点，要么做完，要么没做完，在其他线程访问的时候，不能够访问到这种过程的中间态。

5.2.1 标准原子类型

标准原子类型有很多

5.2.2 std::atomic_flag上的操作

对于std::atomic_flag的初始化只能使用ATOMIC_FLAG_INIT。

扫描二维码关注公众号，回复： 8343838 查看本文章

5.2.3 std::atomic<bool>的操作

5.2.4 std::atomic<T*>上的操作：指针算数运算符

5.2.5 标准原子整型的操作

5.2.6 std::atomic<>初级类模板

5.2.7 原子操作的自由函数

对于原子操作并非只有成员函数，当然也存在非成员函数，对于大多数非成员函数只是在原来函数基础上添加atomic_前缀。在有机会指定内存顺序标签的地方，他们有两个变种：一个是没有标签的，一个是添加_explict后缀和额外的参数作为内存顺序的标签。