C语言不同存储类型变量在printf前置自增运算中的结果差异疑问

核心结论 #

你遇到的情况属于C标准中明确的未定义行为：在同一个表达式中，对同一变量的多次修改之间没有序列点（Sequence Point），编译器可自由选择求值顺序和优化策略，因此不同场景下的输出差异是编译器实现的产物，而非语法规则的必然结果。

关键原理：序列点 #

序列点是程序执行的分界点，要求此前所有变量修改的副作用（比如++i对i的赋值）必须完全完成，此后的修改才能开始。而printf的参数列表求值顺序，C标准未做强制规定；同时多个++i属于对i的连续修改，相互之间没有序列点，因此编译器的处理方式完全合法且不受约束。

四种代码的差异原因 #

代码1、2、3的输出逻辑

全局变量、static变量存储在静态存储区，生命周期覆盖整个程序；volatile关键字强制编译器每次读取变量都从内存获取，禁止寄存器缓存优化。这类变量的优化空间有限，编译器通常会选择从右到左求值：

1. 先计算最右侧的++i，i变为11；
2. 再计算中间的++i，i变为12；
3. 最后计算最左侧的++i，i变为13；
4. 将三次求值的结果依次传入printf，因此输出13 12 11。

代码4的输出逻辑

普通自动局部变量存储在栈上，编译器可进行激进优化。它会将三次++i的操作合并：

1. 直接将i连续自增三次，最终值为13；
2. 将13作为三个参数的统一值传递给printf，因此输出13 13 13。

重要提醒 #

这种行为完全依赖编译器实现，换用不同编译器、调整编译优化选项（如开启-O2），都可能得到不同的输出。实际开发中绝对不要编写包含此类未定义行为的代码。

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