局部变量的入栈顺序

写这篇文章的初衷是遇到一个十分有意思的面试题，具体内容如下：

int function(const int src[16]){
    int val1=0;
    int dst[16]={0};
    int val2=0;
    const int *psrc=src;
    //问题1：如下代码行输出什么？
    fprintf(stdout,"size of src=%lu\n",sizeof(src));
    //问题2：如下代码有什么副作用？
    for(int i=0;i<=16;i++){
     dst[i]=*psrc+i;
     psrc++;
    }
    return 0;
}

问题1的答案在64位系统下答案是8，这个好理解；问题2的答案是val1被覆盖，可能很多人会疑问为什么不是val2被覆盖呢？这就牵扯到局部变量的入栈顺序。经过一个简单的测试，得出结论，测试代码如下：

#include<iostream>
using namespace std;
int function(const int src[2],int n){
    int val1=0;
    int dst[2]={0};
    int val2=0;
    int val3 = 0;
    
    cout << "The src0 addr is:" << &src[0] << endl;
    cout << "The src1 addr is:" << &src[1] << endl;
    cout << "The val1 addr is:" << &val1 << endl;
    cout << "The dst0 addr is:" << &dst[0] << endl;
    cout << "The dst1 addr is:" << &dst[1] << endl;

    cout << "The val2 addr is:" << &val2 << endl;
    cout << "The val3 addr is:" << &val3 << endl;
    return 0;
}
int main(){
    
    int a[2] = {1,2};
    function(a,20);
}

运行结果如下：

可以看出先声明的先入栈，栈地址是不断减小的，在这里dst[0]的地址是小于dst[1]的地址的，因为数组的地址是逐渐增加的，所以上述的问题2的答案就好理解了，当数组越界时，dst[16]的对应位置就是val1，所以val1会被覆盖。