我看不懂C99中的一些句子

Question

在 C99 6.5 中说：

在前一个序列点和下一个序列点之间，一个对象应该有它的 表达式的评估最多修改一次存储的值。 此外，应仅读取先验值以确定该值 储存起来

“此外，应仅读取先验值以确定要存储的值”是什么意思？在 C99 中，为什么 a[i++] = 1 是未定义的行为？

Answer 1

a[i++] = 1 已定义（除非除了副作用的顺序之外还有其他未定义的原因：越界访问或未初始化的i）。

您的意思是a[i++] = i，这是未定义的行为，因为它在与i++ 相同的序列点之间读取i，这会改变它。

“此外，应仅读取先前值以确定要存储的值”部分表示允许i = i + 1;，尽管它从i读取并修改了i。

另一方面，a[i] = (i=1); 是不允许的，因为尽管只向i 写入一次，但从i 读取的内容并不是为了计算要存储的值。

Answer 2

“应仅读取先验值以确定要存储的值”的措辞无疑是违反直觉的；为什么读取值的目的很重要？

这句话的重点是要求哪些结果取决于哪些操作。

我会从 Pascal's answer 那里窃取示例。

这个：

i = i + 1;

完全没问题。 i 在同一个表达式中读取和写入，没有中间序列点，但没关系，因为直到读取完成后才能进行写入。在表达式 i + 1 及其子表达式 i 被完全计算之前，无法计算要存储的值。 （并且i + 1 没有可能延迟到写入之后的副作用。）这种依赖性强加了严格的顺序：必须在写入开始之前完成读取。

另一方面，这个：

a[i] = (i=1);

具有未定义的行为。子表达式a[i]读取i的值，子表达式i=1写入i的值。但是写入存储在i 中的值不依赖于左侧读取i 的评估，因此没有定义读取和写入的顺序。 “要存储的值”是1；读取a[i] 中的i 并不能确定该值。

我怀疑这种混淆是 ISO C 标准 2011 年修订版（以 N1570 的草案形式提供）重新措辞该部分的原因。标准还是有序列点的概念，但是6.5p2现在说：

如果标量对象的副作用相对于其中任一对象而言是未排序的 对同一标量对象或值的不同副作用 使用相同标量对象的值进行计算，行为是 不明确的。如果有多个允许的排序 表达式的子表达式，如果这样的表达式的行为是未定义的 任何排序都会出现未排序的副作用。

第 1 段明确说明了仅在 C99 中隐含的假设：

运算符的操作数的值计算是有序的 在算子结果的值计算之前。

第 5.1.2.3 节第 2 段解释了 sequenced before 和 sequenced after 关系。