关于C语言单语句多表达式两种场景结果差异的技术问询

先看你给出的两个场景：

场景1 #

int main() {
    int x = -5, y = 8, z = 2;
    z = y - (y = x);
    printf("%d", z);

    return 0;
}

输出结果：0

场景2 #

int main() {
    int x = -5, y = 8, z = 2;
    x = x + y - (y = x);
    printf("%d", x);

    return 0;
}

输出结果：8

为什么会出现这种差异？ #

本质原因是这两个表达式都属于C语言中的未定义行为。

C语言标准规定：在没有序列点的同一个表达式中，如果对同一个变量既进行了修改操作（比如y = x里的赋值），又进行了非副作用的读取操作（比如表达式里其他位置的y），编译器可以自由选择执行顺序，标准不做任何强制规定。

• 场景1里，你的编译器可能先执行了括号内的y = x（把y改成-5），再读取左边的y值（此时y已经是-5），最终计算-5 - (-5) = 0。
• 场景2里，编译器可能先读取了x + y里的y值（此时y还是初始的8），之后才执行括号内的y = x，计算过程为-5 + 8 - (-5) = 8。

但要注意，这种结果完全是特定编译器执行顺序的产物——换个编译器、调整优化选项，输出结果可能完全不同。写代码时一定要避免这种写法，确保变量的修改和读取之间有明确的序列点（比如分号、逗号运算符、逻辑与/或等）。

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