GCC与Clang编译器编译C代码产生不同输出的技术咨询

你的代码如下：

#include <stdio.h>
int main()
{
   int a = 1;
   printf("%d",a++);
   printf("%d",a);
   printf("%d",++a);

   int b =1;
   printf("\n%d%d%d",b++,b,++b);

}

GCC编译运行输出：

123
233

Clang编译运行输出：

123
123

原因分析 #

第一部分输出一致的原因 #

代码中关于变量a的三个printf调用是独立的，每个printf调用之间存在序列点（函数调用结束后的位置属于序列点），所以每一步的行为都是确定的：

• printf("%d",a++);：后置自增先返回a的当前值1，随后a变为2，输出1。
• printf("%d",a);：直接读取a的当前值2，输出2。
• printf("%d",++a);：前置自增先将a变为3，再返回3，输出3。
  因此这部分两个编译器输出都是123，符合预期。

第二部分输出不同的核心原因 #

问题出在printf("\n%d%d%d",b++,b,++b);这一行，这属于C语言中的未定义行为：
C标准没有规定函数参数的求值顺序，同时在同一个函数参数列表中，对同一个变量b进行了多次修改操作（b++和++b），还同时读取了b的值，这些操作之间没有序列点来约束执行顺序。

不同的编译器可以根据自身的实现策略选择参数的求值顺序：

• Clang可能采用从左到右的求值顺序：先计算b++（返回1，b变为2），再读取b的当前值2，最后计算++b（b变为3，返回3），所以输出123。
• GCC可能采用从右到左的求值顺序：先计算++b（b变为2，返回2），再读取b的当前值2，最后计算b++（返回2，b变为3），最终输出233。

本质上，未定义行为意味着C标准不对这种情况的结果做任何保证，编译器可以产生任何输出，甚至程序崩溃，所以不同编译器出现不同结果是完全正常的。

如何避免这类问题 #

编写C代码时，要避免在同一个表达式（包括函数参数列表）中对同一个变量进行多次修改，或者在修改变量的同时读取它，除非有明确的序列点（比如分号、&&、||、逗号运算符等）来分隔操作。比如可以把第二部分的代码拆分成多个独立的printf调用：

int b =1;
printf("%d",b++);
printf("%d",b);
printf("%d",++b);

这样行为就会完全确定，所有编译器都会输出一致的结果。

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