C++11引入了一个标准化的内存模型。这是什么意思？它会如何影响C++程序设计？

首先，你必须学会像语言律师一样思考

C++规范不引用任何特定的编译器、操作系统或CPU。它引用了一个抽象机器，它是实际系统的泛化。在语言律师界，程序员的工作是为抽象机器编写代码；编译器的工作是在一台具体的机器上实现该代码。通过严格地编码，可以确信代码在没有任何C++兼容编译器的系统上编译和运行，无论是现在还是50年。

C++98/C++03规范中的抽象机器基本上是单线程的。因此，不可能编写多线程C++代码，即：“完全便携”；关于规范，规范甚至没有说明内存加载和存储的原子性，或者加载和存储的顺序，更不用说互斥体之类的事情了

当然，您可以在实践中为特定的具体系统（如pthreads或Windows）编写多线程代码。但是没有标准的方法为C++98/C++03编写多线程代码

C++11中的抽象机设计为多线程。它还有一个定义良好的内存模型；也就是说，它说明了编译器在访问内存时可以做什么，也可以不做什么

考虑以下示例，其中一对全局变量由两个线程并发访问：

全局
int x，y；
螺纹1螺纹2
x=17；库特&lt&书信电报；y&lt&lt&引用&“；；
y=37；库特&lt&书信电报；x&lt&书信电报；endl；

线程2的输出可能是什么

在C++98/C++03下，这甚至不是未定义的行为；这个问题本身是毫无意义的，因为该标准没有考虑任何被称为“a”的东西；线程&quot

在C++11下，结果是未定义的行为，因为加载和存储通常不需要是原子的。这似乎不是一个很大的进步。。。就其本身而言，它不是

但使用C++11，您可以编写以下代码：

全局
原子&lt；int&gt；x、 y；
螺纹1螺纹2
x、 商店（17）；库特&lt&书信电报；y、 加载（）&lt&lt&引用&“；；
y、 商店（37）；库特&lt&书信电报；x、 加载（）&lt&书信电报；endl；

现在事情变得有趣多了。首先，这里的行为是定义的。线程2现在可以打印0 0（如果它在线程1之前运行）、37 17（如果它在线程1之后运行）或0 17（如果它在线程1分配给x之后但分配给y之前运行）

它无法打印的是37 0，因为C++11中原子加载/存储的默认模式是强制执行顺序一致性。这只意味着所有装载和存储必须是；仿佛；它们是按照您在每个线程中编写它们的顺序发生的，而线程之间的操作可以根据系统的喜好进行交错。因此原子的默认行为为加载和存储提供了原子性和排序

全局
原子&lt；int&gt；x、 y；
螺纹1螺纹2
x、 存储（17，内存\u顺序\u松弛）；库特&lt&书信电报；y、 加载（内存\u顺序\u松弛）&lt&lt&引用&“；；
y、 存储（37，内存\u顺序\u松弛）；库特&lt&书信电报；x、 加载（内存\u顺序\u松弛）&lt&书信电报；endl；

全局
原子&lt；int&gt；x、 y；
螺纹1螺纹2
x、 存储（17，存储器、命令和释放）；库特&lt&书信电报；y、 加载（内存\u顺序\u获取）&lt&lt&引用&“；；
y、 存储（37，存储器\命令\释放）；库特&lt&书信电报；x、 加载（内存\u顺序\u获取）&lt&书信电报；endl；