关于C语言求值顺序的理解验证：前置/后置自增的UB分析是否正确？

两个示例的行为判断 #

你的分析方向是正确的：第一个示例存在未定义行为（UB），第二个示例则没有。

示例1：++arr[arr[i]]的UB原因 #

根据C标准的求值规则：

• 前置自增++E的副作用（将E的值+1），与操作数E的value computation（获取E的左值标识）之间没有严格的sequenced-before关系；同时，整个表达式的其他操作（比如arr[i]的求值）也不会被sequenced-before该副作用。
• 具体到代码中：arr[i]的求值需要读取arr[1]的旧值（1），而++arr[arr[i]]的副作用是修改arr[1]的值。这两个操作（读arr[1]和写arr[1]）属于对同一标量对象的读与写无序列，完全符合C标准中未定义行为的触发条件。编译器可以任意排序这两个操作，导致程序行为不可预测。

示例2：arr[arr[i]]++无UB的原因 #

后置自增E++的规则明确：操作数E的value evaluation（包括左值转换为右值，即读取E当前的值）严格先序于副作用（将E的值+1）。

• 传递到代码中：arr[i]的求值（读arr[1]）→ arr[arr[i]]的value computation（定位到arr[1]）→ 后置自增的value evaluation（读取arr[1]的旧值）→ 后置自增的副作用（修改arr[1]）。
• 所有操作存在明确的sequenced-before链，读arr[1]的操作严格先于写arr[1]的操作，因此不存在无序列的读写，行为完全确定。

关于自增运算符的求值细节解答 #

1. 前置/后置自增都会对操作数执行value computation吗？ #

是的，两者都需要：

• 后置自增E++：必须先对E执行value computation（获取左值标识），再执行左值转换（读取当前值），这部分是value evaluation的核心，且严格先于副作用。
• 前置自增++E：需要对E执行value computation（获取左值标识），才能定位到要修改的对象；但不需要执行左值转换（因为表达式结果是更新后的左值）。

2. ++*ptr和(*ptr)++是否存在UB？ #

单独出现时，两者都没有UB：

• ++*ptr：仅涉及对*ptr的一次修改，没有其他冲突的读写操作；
• (*ptr)++：读操作严格先于写操作，同样无冲突。
  但如果放在复杂表达式中（比如a = *ptr + ++*ptr或a = *ptr + (*ptr)++），就可能因为读操作与写操作无序列触发UB——这取决于表达式中是否存在对同一对象的无序列读写，而非运算符本身。

3. 运算符能否不执行value computation就访问左值的值？ #

不能。无论是读取左值的值（左值转换）还是修改左值，都必须先执行value computation获取左值的标识（即对象的内存位置），才能定位到目标对象进行后续操作。没有value computation，运算符无法知道要操作哪个对象。

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