序列点和评估顺序

Question

我正在阅读 K&R，在评估像 a[i]=i++; 这样的表达式时，我遇到了这个关于行为不确定性的例子； 6.5.2 美元的 C99 规格说明了这一点

在上一个和下一个序列点之间，对象的存储值最多应通过表达式的求值修改一次。此外，应只读先前的值以确定要存储的值。

上面来自 K&R 的例子适用于第一个陈述。请解释一下它是如何在第二次失败的。

标准是否说明了在涉及序列点的情况下子表达式的求值顺序。例如。 a[i++] || b[i++]。我知道这些是从左到右评估的，但是这是如何从上面的陈述中得出的，或者它是否在标准中的某处明确说明？

Answer 1

标准是否规定了序列点情况下子表达式的求值顺序？

在条件运算符的情况下，求值顺序已明确定义&&以及 || 这就是短路起作用的原因。

它是由c99标准明确规定的。

参考： c99 标准

附件 J：J.1 未指定行为

1 以下内容未指定：
......

子表达式的求值顺序和副作用的顺序
发生，除了为函数调用指定的 ()、&&、||、?: 和逗号
运算符 (6.5)。
......

进一步，
6.5.14 逻辑或运算符

4) 与按位 | 不同运算符，||运算符保证从左到右评估；在第一个操作数求值之后有一个序列点。如果第一个操作数与 0 比较不等于，则不计算第二个操作数。

以及逻辑 AND：

6.5.13 逻辑 AND 运算符

与按位二进制 & 不同的是，运算符，&&运算符保证从左到右评估；
如果计算第二个操作数，则计算之间存在一个序列点
第一和第二操作数。如果第一个操作数比较等于 0，则第二个操作数
不计算操作数。

Answer 2

对于问题的第一部分：

该句子适用于由表达式更改的对象，即 i （和 a[i]）。因此，i 的先前值应专门用于确定 i 的“新”值。

但表达式“使用”它还确定要写入的数组元素。

背景是，否则会不清楚i表示i在增量之前还是之后的值。