C语言中箭头运算符与后置自增运算符的优先级及代码等价性问题

1. 你对比的两段代码是否完全等价？ #

修正一个容易踩的疏漏后，两者的执行效果完全一致：

• 原代码片段：system->word[system->index++] = system->next_char;
  它的执行逻辑可以拆解为三步：
  1. 取出system->index的当前原始值，作为数组system->word的访问下标
  2. 将system->next_char的值，写入上述下标对应的数组存储位置
  3. 将system->index的值自增1
• 你写的拆分版本需要补全结构体成员的访问前缀：

  system->word[system->index] = system->next_char;
  system->index++;
  

  你原本写的拆分版漏了system->前缀，直接写index++;要么会因为找不到独立的index变量直接编译报错，要是恰好代码里存在其他同名的index全局/局部变量，还会出现改错变量的逻辑错误。在修正这个疏漏后，两段代码没有任何执行层面的差异。

2. 后置自增运算符的规则说明 #

优先级规则 #

后置自增++属于最高优先级的运算符梯队，和结构体成员访问（->、.）、数组下标访问[]、函数调用()属于同一优先级层级，同层级运算符的结合方向为从左向右。它的优先级比前置自增++高一级，二者的执行逻辑有本质区别。

核心语义与常见误区澄清 #

很多初学者会误以为“后置自增必须等当前行所有操作全部执行完成，才会对变量做自增修改”，这是非常典型的认知偏差，实际规则可以总结为两点：

• 后置自增的刚性约束只有一条：它在当前表达式中参与运算的返回值，永远是变量自增之前的原始值。这也是我们用system->index++做下标时，永远能正确访问自增前下标的根本原因。
• 变量本身的自增修改，根本不需要等整行所有操作跑完：只要执行流程碰到C语言定义的序列点（比如语句末尾的分号、逻辑与/或的判断分界、逗号运算符的分界、函数调用点），自增的修改就一定会生效。

大家会产生“等整行做完才自增”的错觉，本质是因为日常大部分场景下写的后置自增，整行内本来就没有其他依赖该变量自增结果的操作。你最开始举的代码片段就是典型场景：因为下标访问和赋值操作用的都是index的原值，就算自增在赋值前完成，只要它返回的是原值，就不会影响结果，这才让你觉得自增是等赋值做完才执行的。

举个简单的反例打破认知误区：执行int a = 0, b; b = (a++, a) + (a++, a);时，表达式里的每个逗号都是C语言规定的序列点：第一个括号里，碰到逗号时就完成a的第一次自增（a从0变成1），再取a的值参与加法；第二个括号里，碰到逗号时完成a的第二次自增（a从1变成2），再取a的值参与加法。最终b的结果是1+1=2，a的最终值是2。这个过程里，自增根本不是等整行赋值操作全部跑完才执行的，而是碰到序列点就立刻生效。

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