为什么C99中的这一说法在C11中有所改变？

Question

C99标准：

在前一个和下一个序列点之间，一个对象的存储值最多只能通过表达式的计算修改一次

C11标准：

如果标量对象上的副作用相对于同一标量对象上的另一个副作用是无序的，则行为未定义。

因此，C99标准的定义是否不完整，因此在C11中进行了更新，因为它只包含术语＜code＞object＜/code＞，而不包含＜code＞scalar object＜/code＞？

Answer 1

这是因为 C11 试图涵盖多线程/并行执行。“抽象机器”中程序执行的基本规则在 C99 和 C11 （C11 5.1.2.3/3） 之间添加了这个繁琐的文本：

Sequenced before是由单个线程执行的求值之间的不对称、可传递、成对关系，这导致这些求值之间的部分顺序。给定任意两个求值A和B，如果A在B之前排序，那么A的执行应该在B的执行之前。(相反，如果A在B之前排序，那么B在A之后排序。)如果A不在B之前或之后排序，那么A和B不排序。当A在B之前或之后排序时，A和B的排序是不确定的，但未指明是哪一个。13)表达式A和B的求值之间存在序列点意味着与A相关的每个值计算和副作用都在与B相关的每个值计算和副作用之前排序。(附录c中给出了序列点的总结。)

因此，您引用的部分（C99 6.5/2）进行了相应的修改，以适应抽象机器中程序执行的定义，而抽象机器现在也涵盖了并行执行。不幸的是，因为C99文本可读性更强。从技术上讲，如果不考虑并行执行，根本没有什么变化。关于C99序列点的规则仍然适用，只是措辞不同。这一变化也意味着C11与具有类似规则的C11同步。