在实验中观察指针——C++ 函数参数的压栈顺序
前言
好久没写东西了,突发奇想,写写函数参数的压栈顺序
先看看这个问题
https://q.cnblogs.com/q/137133/
然后看我简化的代码,猜输出结果是多少?
#include<bits/stdc++.h>
using namespace std;
int main(){
int i=0;
printf("%d %d",i++,i--);
return 0;
}
根据++和--的特性,i++的时候数值不变,输出0,i--时i才加上1,输出1。
事实是这样吗?我在多台编译器上执行,输出的结果都是:
-1 0
栈
根据我之前写过的指针篇的内容,函数的局部变量保存在栈中,都是独立的,参数同样保存在栈中,才导致了swap函数改变函数参数必须使用指针。
那么,函数参数,在栈中是如何排列的呢?顺序?倒序?
我们写一个简短的代码,来实验一下。
#include<bits/stdc++.h>
using namespace std;
void test(int a,int b){
printf("a..%p, b..%p",&a,&b);
}
int main(){
int a,b;
test(a,b);
}
由于是地址,不同编译器的结果不同。但肯定的是,a比b大4。
如果多加几个变量进去,我们发现,地址的大小从大到小递减。
栈模型
图源:《征服C指针》
从这张图中可以看出,C语言中,参数是从后往前堆积在栈中的。这种处理方式的好处在于,无论有多少个参数,总能找到第一个参数的地址,这样就可以顺次找到后面的参数。否则,从后往前,就无法找到第一个参数,也无法实现可变长参数的功能。
例如在printf中,我们找到第一个参数的位置,例如"%d %s",就可以顺次解析后面的地址的参数,因为参数是连续在内存排列的。
问题解释
既然参数是从后往前放入栈中的,那么,我们就可以解释这个问题了。
#include<bits/stdc++.h>
using namespace std;
int main(){
int i=0;
printf("%d %d",i++,i--);
return 0;
}
开头的代码。如果编译成汇编语言进行执行,应该是这个样子(如果有错误请指正,手写的)
sub [i],1 ;i--
push [i]
add [i],1 ;i++
push [i]
push offset string "%d %d" ;"%d %d"
call dword ptr_printf ;调用printf
在汇编语言中,push是将参数压入栈的一个指令,由于这篇文章不是讲汇编的,大家看看就好。
因此,在推入栈的时候,先执行了i--,再执行i++,结果也当然是这样了。