C语言的基本单位是“函数”。每个函数都有参数(空参数也是参数),参数的传递规则是值传递,也就是先计算实参表达式的值,然后将其复制到形参变量的内存空间。我们是否思考过这个问题:如果函数传递多个参数,那么实参表达式的计算顺序是怎样的?
比如下面这段代码:
#include <stdio.h>
using namespace std;
int neg(const char* str, int n) {
puts(str);
return -n;
}
int sum(int a, int b) {
return a + b;
}
int main()
{
printf("%d", sum(neg("left", 1), neg("right", 2)));
return 0;
}
输出结果是什么呢?凭感觉,一定是从左到右啊!当然是
left
right
-3
真的吗?我们来做个小实验。先用mingw64 8.1编译,运行结果为
right
left
-3
和我们想的完全相反!那是不是所有的编译器都这样呢?不一定哦。现在再用clang++ 8.0.1试试,输出结果:
left
right
-3
看来,具体如何实现,和编译器类型有关系!
为此,我还专门查了一下参数的执行顺序问题。在mingw、g++ for linux和VS中默认均为__cdecl
(有两个下划线),也就是参数从右到左入栈,从右到左执行,被调用函数在执行结束后,将栈空间中的参数内存自动回收(x86中就是ret命令,MIPS32中需要改变栈指针和帧指针,然后jr $31)。那些早已不用的老古董borland,torbo,VC6中也是从右到左。看来clang++是一个“特立独行者”啊。
如果想深入了解参数执行顺序问题,可以参考函数参数的秘密
这也告诉我们,写代码的时候,一定要注意,不能写和编译器平台相关的未定义行为,否则将降低可移植性。