2)接下来,我们将讨论第二个问题,那就是函数返回值与参数在栈上存放顺序。
我们设计如下程序:
#include "iostream"
using namespace std;
int test(int a, int b){
int c;
printf("%p\n",&b); //最后一个参数
printf("%p\n",&a); //第一个参数
printf("%p\n",&c); //函数的返回值地址
return c;
}
int main()
{
int a = 1;
int b = 2;
int (*f)(int, int);
f = test;
int t = f(a, b);
cout << &a <<endl
<< &b <<endl;
printf("%p\n",test);
}
在GCC上结果如下所示:
在VS下执行结果如下所示:
由上可以,确实最后一个参数是先入栈的。至于c的地址就是函数的返回地址,我是参考文章[1],网友jixingzhong如此说。我们在汇编语言中学过,函数的返回地址是将要执行的下一条指令的地址;这里的意思是,把调用函数的指令的下一条指令入栈,以便调用完函数后返回,而我觉得参考文章中jixingzhong理解错这句了,所以我认为是错的。
在本程序中,test函数的返回地址应当是
int t = f(a, b);
cout << &a <<endl
的汇编指令后,在执行完函数后下一条将要执行的指令的地址。
网友Arthur_认为,通过如下程序可以求得这个地址:
#include "iostream"
using namespace std;
int* test(int a, int b){
int c;
printf("%p\n",&b); //最后一个参数
printf("%p\n",&a); //第一个参数
printf("%p\n",&c); //函数的返回值地址
return ((int*)&b-1);
}
int main()
{
int a = 1;
int b = 2;
int* (*f)(int, int);
f = test;
int *t = f(a, b);
cout << &a <<endl
<< &b <<endl;
printf("%p\n",t);
}
而很明显的,这个结果是a的地址。所以,我认为,网友Arthur的想法也是不正确的(欢迎争鸣)。而正确的结论就当是本文中,我用红色标明的地方。
当然,我希望了解这方面知识的高手们一起来讨论一下这个问题。
参考:
[1] http://topic.csdn.net/t/20060901/14/4991970.html