[求教]栈的溢出覆盖,结果和我的期待不一样。

sampher

我知道x86平台上栈是从高地址到低地址增长，数组元素是从低地址到高地址增长。所以，数组元素越界的话，会把高地址的元素覆盖掉。
下面是个测试程序，我使用GCC和VC(release版，不开优化)编译运行。

其中a[1]是个int数组，只有一个元素，如果对于a[1]赋值，导致溢出: 我期待的是栈上面的j变量被覆盖，因为距离近，printf打印11.
但是运行的结果是,看起来变量i被覆盖了，打印的结果是12.

以上两个编译器编译运行的结果都是12.这是为什么呢? 难道我的理解有什么偏差吗?
源代码:

1. 
   
2. int main(){
   
3.     int i=1;
   
4.     int j=2;
   
5.     int a[1];
   
6.     a[1]=10;
   
7.     printf("%d\n",i+j);
   
8.     return 0;
   
9. }
   

复制代码

tc1989tc

看哈反汇编结果

井蛙夏虫

局部变量的存放顺序应当没有被规定，不同的编译器实现可能不同，
同一编译器不同版本，不同的优化级别都可能不同

MMMIX

回复 1# sampher


    变量在代码中出现的顺序和它们在栈中（如果它们确实在栈中出现的话）的顺序之间是没有对应关系的。例如用 gcc 4.8.2 在 Linux 下测试你的代码，结果就是 11。

sampher

MMMIX 发表于 2014-01-02 00:40
回复 1# sampher

谢谢。。。。。。。。。