C语言语句x = b[i] + i++的定义性争议及标准合规性探讨

首先直接给结论：认为该语句行为未定义的观点是正确的，你的理解存在对C99标准规则的误解，下面结合标准细节和C++的情况逐一解释：

一、C99标准下的核心依据 #

你提到的C99 6.5节的两条规则是关键，但你忽略了它们的组合约束：

1. 序列点的规则没错：这个语句里只有完整表达式末尾是序列点，b[i]、i++、加法运算、赋值操作都在同一个序列点区间内。
2. 但6.5节的另一条核心规则你理解不到位：

   在前一个序列点和下一个序列点之间，一个对象的存储值最多只能被表达式的求值修改一次，而且修改前的值只能被用来确定要存储的新值。

在x = b[i] + i++;中：

• i++会修改i的存储值，这是一次修改；
• b[i]会读取i的值，但这个读取的目的是为了获取数组下标，和i++要修改的新值完全无关。

这就直接违反了上述规则：同一个序列点区间内，i被修改了一次，同时存在一次非用于确定新值的读取操作。另外，6.5节还明确指出子表达式的求值顺序和副作用发生顺序均未指定——编译器可以选择先计算i++（此时i已经自增，b[i]会使用自增后的下标），也可以先计算b[i]再自增i，甚至可能因为优化产生其他不可预料的结果，这正是未定义行为的典型特征。

你提到的“副作用延迟到序列点时执行”是错误的理解：C99中，副作用的发生时机是未指定的，只要在序列点之前完成即可，但求值顺序和副作用的顺序没有绑定——比如i++的副作用（自增）可能在b[i]求值之前就发生，也可能在之后，这完全由编译器决定，没有任何保证。

二、其他相关标准段落 #

除了6.5节，C99的以下段落也能佐证：

• 6.5.16 赋值运算符：赋值操作的左右操作数的求值顺序是未指定的，且副作用的发生顺序也未指定。这意味着b[i] + i++的求值顺序和i的自增时机完全没有约束。
• 5.1.2.3 程序执行：明确指出，当未指定顺序的操作涉及同一个对象的修改和读取时，行为是未定义的，而不仅仅是未指定。

三、C++中的情况 #

C++的规则在不同版本中有变化，但核心结论和C99一致：

• C++03及更早：和C99几乎完全相同，x = b[i] + i++;属于未定义行为，原因和C99一致——同一个序列点区间内对象被修改，同时存在非关联的读取，且求值顺序未指定。
• C11到C14：标准引入了“sequenced before”（顺序在前）的概念替代序列点，但规则本质不变：如果一个对象的修改操作和另一个读取操作之间没有明确的顺序关系，且读取不是为了计算修改后的新值，行为依然是未定义的。b[i]读取i和i++修改i之间没有sequenced before关系，所以还是未定义行为。
• C++17及以后：虽然标准对部分运算符的求值顺序做了更严格的规定（比如赋值运算符的右操作数在左操作数之前求值），但加法运算符的左右操作数的求值顺序依然是未指定的，且i的修改和b[i]的读取之间没有明确顺序，因此该语句仍然属于未定义行为——编译器依然可以自由选择求值顺序，导致不可预料的结果。

内容的提问来源于stack exchange，提问作者stefanct