C语言运算符求值顺序规则及各场景编译器依赖问题咨询

首先明确C语言标准的核心规则：

• 只有&&、||、三目运算符?:、作为运算符使用的逗号 这四类运算符有明确的从左到右的求值顺序，且前三者还存在短路特性。
• 除此之外的所有运算符（包括算术运算符、比较运算符等）的操作数求值顺序，以及函数参数列表中作为分隔符的逗号对应的实参求值顺序，均为未指定行为，编译器可以根据优化策略自由选择求值顺序，标准不做强制规定。

针对你给出的四个示例逐一解答：

1. 普通变量加法表达式 a + b #

#include <stdio.h>

int main(void)
{
    int A = 5, B = 3;
    int c = a + b;   // 两个变量的求值顺序是否可以任意选择，取决于编译器实现？
    return 0;
}

是的，+运算符不属于有固定求值顺序的运算符，两个操作数的求值顺序完全由编译器决定。但因为本例中读取A、B的值没有任何副作用，无论先读哪个最终的计算结果都完全一致，你无法观测到顺序差异，因此不会对程序运行结果产生影响。

2. 函数返回值加法表达式 f(A) + g(B) #

#include <stdio.h>

int main(void)
{
    int A = 5, B = 3;
    int c = f(A) + g(B);
    return 0;
}

和第一个示例逻辑一致，+的两个操作数求值顺序未指定，f(A)和g(B)的调用顺序由编译器决定。如果g内部修改了A的值，且f的执行依赖A的取值，那么不同的调用顺序会得到完全不同的运行结果，这类代码属于存在隐患的不可移植代码。

3. 比较运算符表达式 f(A) > g(B) #

#include <stdio.h>

int main(void)
{
    int A = 5, B = 3;
    int c = f(A) > g(B);
    return 0;
}

比较运算符>同样没有固定的操作数求值顺序，f(A)和g(B)的调用顺序仍然由编译器决定，和第二个示例的风险完全一致。

4. 函数传参表达式 f(A, B) #

#include <stdio.h>

int main(void)
{
    int A = 5, B = 3;
    int c = f(A, B);
    return 0;
}

这里参数列表里的逗号是实参分隔符，不是逗号运算符，因此各个实参的求值顺序也是未指定的。本例中A、B是普通无副作用的变量，顺序不影响结果；但如果实参是带副作用的表达式（比如f(g(A), h(B))），那么g(A)和h(B)的执行顺序同样由编译器决定，不同顺序可能导致不同结果。

总结 #

你列举的所有示例涉及的操作数求值顺序确实都属于未指定行为，完全取决于编译器实现。实际开发中永远不要依赖这类未指定的求值顺序编写代码，避免出现跨平台、跨编译器运行结果不一致的问题。

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