C语言中arr[i] = i用于数组索引初始化是否合法可移植？是否需考虑序列点

该段数组初始化代码完全符合C语言规范，arr[i] = i写法合法、具备全平台可移植性，本场景下不存在序列点规则引发的行为不确定性。

序列点的基础约束 #

按照C语言标准定义，=赋值运算符本身就是明确的序列点：它会保证右操作数的所有求值、副作用执行完成后，才会触发对左值指向内存的写入操作。

代码求值逻辑 #

针对arr[i] = i表达式：

• 所有涉及i的操作均为纯读操作：既需要读取i的值计算数组元素的内存偏移（定位左值arr[i]的地址），也需要读取i的值作为赋值的右值
• 表达式内唯一的写操作，是将读取到的i值写入arr[i]对应的数组内存，全程不存在对i变量的修改操作
• 受赋值运算符的序列点约束，左操作数、右操作数的所有求值流程，都会在对左值指向内存的写入操作之前完成。虽然C标准不规定左操作数和右操作数的求值先后顺序，但由于两类求值都仅对i做纯读操作、没有任何修改内存的副作用，无论求值顺序如何，最终计算出的数组写入地址、要写入的数值都完全一致，不存在行为歧义。

序列点规则的真正约束对象，是对同一变量的多次修改操作的顺序：如果表达式内存在两个及以上对同一变量的写操作，且操作之间没有序列点隔开，才会触发未定义行为。

• 典型的未定义行为案例：arr[i] = i++，该写法同时包含对i的后置自增写操作、对i的读操作，两类操作之间没有序列点隔开，因此属于标准明确规定的未定义行为
• 只要表达式内对某个变量全为读操作，哪怕同一变量在表达式中多次出现，也不会触发序列点相关的未定义行为，编译器输出的行为完全确定。

这段代码的行为在C89、C99、C11、C17等所有官方发布的C语言标准中均为明确定义，主流编译器（GCC、Clang、MSVC、各嵌入式平台编译器）的实现均符合标准要求，不存在平台间的行为差异。

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