为何GCC对s->arr[i]与*(s->arr+i)生成不同汇编代码？

C语言数组访问的语法等价性 #

首先明确：在C标准中，a[b]、b[a]、*(a+b)这三种写法语义完全等价。因为数组下标运算符的定义就是E1[E2] == *(E1 + E2)，而加法交换律决定了b[a]和a[b]是完全相同的内存访问逻辑。理论上三个函数的行为一致，编译器应生成相同代码，但GCC在-O1优化下出现了差异，这是编译器优化策略的细节导致的。

GCC优化差异的具体原因 #

GCC在-O1级别下，对不同的写法触发了不同的优化路径：

• 对于sum1（s->arr[i]）和sum2（i[s->arr]）这种典型的数组下标访问形式，GCC的优化器识别出这是标准的数组遍历模式，会执行更激进的优化——如果数组长度是编译期常量，GCC会直接展开循环甚至提前计算出求和结果（相当于把循环逻辑替换成了静态计算），因此汇编代码中看不到循环指令。
• 对于sum3（*(s->arr+i)）这种显式指针算术的写法，GCC的优化器没有将其完全识别为等价的数组遍历模式，或者在指针算术的处理逻辑上保留了循环结构，未执行完全的展开或常量折叠优化，所以汇编中保留了循环逻辑。

Clang的行为一致性 #

Clang的优化器在处理这三种写法时，统一将其识别为等价的内存访问模式，因此不管使用哪种语法，都生成了带循环的相同汇编代码。这说明Clang在数组下标与指针算术的等价性识别上，优化逻辑更为统一。

额外验证方向 #

如果将数组长度改为运行期变量（而非编译期常量），GCC的行为会发生变化：此时sum1和sum2也会生成循环代码，因为无法提前计算出求和结果。你可以测试这种场景，观察汇编差异是否消失。

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