C语言中a[i]=y++;与a[i++]=y;的行为定义及序列点疑问

一、a[i]=y++; 和 a[i++]=y; 的行为定性 #

这两个表达式都属于未指定行为，而非未定义行为：

• a[i]=y++;：后缀++的求值结果是y的当前值，这个值会被赋给a[i]；y的自增副作用会在该表达式结束的序列点前完成，但标准未规定自增操作是在赋值之前还是之后执行。无论顺序如何，最终a[i]的值都是y的初始值，y最终会自增1，结果的可能情况是有限且可预测的。
• a[i++]=y;：后缀++的求值结果是i的当前值，因此y会被赋给a数组下标为i初始值的位置；i的自增副作用同样会在序列点前完成，但自增与赋值的先后顺序未被标准规定，不过最终的赋值目标位置和i的最终值是确定的。

二、关于v[i++]=i的未定义行为与优先级的误解 #

你混淆了运算符优先级和求值顺序的概念：

• 运算符优先级仅决定表达式的语法结构，比如v[i++]=i会被解析为(v[i++]) = i，而非v[(i++=i)]，但它不控制子表达式的求值顺序。
• 未定义行为的触发原因是：在同一个序列点之间，对同一个对象（这里是i）进行了修改操作（i++的自增）和无关联的读取操作（右边的i）——读取i的值不是为了计算i++的结果，这种情况下标准允许编译器任意处理，可能产生不可预测的结果，这才是未定义行为的核心。

三、a[i]=y++;/a[i++]=y;中++与=的执行顺序 #

确实无法确定具体的执行顺序，但这属于未指定行为的范畴：

• 对于a[i]=y++;，标准只保证y的自增副作用会在表达式结束前完成，但不规定是先赋值再自增，还是先自增再赋值（不过无论顺序，a[i]都会得到y的初始值）。
• 对于a[i++]=y;，标准只保证i的自增副作用会在表达式结束前完成，但不规定是先赋值给a[i]再自增i，还是先自增i再赋值（不过无论顺序，赋值的目标都是a数组中i初始值对应的位置）。

内容的提问来源于stack exchange，提问作者三六九