在实验中观察指针——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++，结果也当然是这样了。