cdecl函数参数处理顺序疑问及代码异常输出解析

你混淆了两个完全不同的概念：cdecl调用约定的参数压栈顺序，和C/C++中参数表达式的求值顺序。

核心知识点 #

cdecl调用约定只规定了参数如何被传递到栈中——即从右到左依次把参数值压入栈，但它完全不涉及参数表达式本身的计算顺序。而C/C++标准明确规定：函数参数表达式的求值顺序是未定义行为，编译器可以自由选择任意顺序计算参数表达式，甚至可以交错计算（只要符合序列点规则）。

解释第一个代码示例 #

int n = 0;
printf("%d %d", n=8, n); // Output: 8 8

你预期输出8 0，是假设编译器会先计算最右侧的n（此时值为0），再计算左侧的n=8，但实际上编译器完全可以先计算n=8，再计算n（此时n已经是8）。因为求值顺序未定义，所以这个代码的结果没有保障，你测试的几个编译器刚好选择了先计算左侧表达式的顺序，才得到8 8。

解释第二个代码示例 #

int n = 0;
printf("%d %d", n=8, n=0); // Output: 8 8

这个代码的问题更严重：两个参数表达式都在修改同一个变量n，且它们之间没有序列点（函数调用的左括号是一个序列点，但参数表达式的计算都在这个序列点之前）。这种情况下，属于未定义行为——标准允许编译器产生任何结果，包括你看到的8 8（比如编译器先计算n=0，再计算n=8，最后把两次计算的结果都压栈，但此时n的值已经是8，所以两个参数都是8；或者编译器直接优化掉其中一个赋值，只保留最后一次）。

总结 #

永远不要编写依赖参数表达式求值顺序的代码，也不要在无序列点的情况下多次修改同一个变量——这些都是C/C++中的未定义行为，结果完全不可预测，不同编译器、不同优化级别都可能给出不同结果。

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