[求教]棧的溢出覆蓋,結(jié)果和我的期待不一樣。

sampher

我知道x86平臺(tái)上棧是從高地址到低地址增長(zhǎng)，數(shù)組元素是從低地址到高地址增長(zhǎng)。所以，數(shù)組元素越界的話，會(huì)把高地址的元素覆蓋掉。
下面是個(gè)測(cè)試程序，我使用GCC和VC(release版，不開(kāi)優(yōu)化)編譯運(yùn)行。

其中a[1]是個(gè)int數(shù)組，只有一個(gè)元素，如果對(duì)于a[1]賦值，導(dǎo)致溢出: 我期待的是棧上面的j變量被覆蓋，因?yàn)榫嚯x近，printf打印11.
但是運(yùn)行的結(jié)果是,看起來(lái)變量i被覆蓋了，打印的結(jié)果是12.

以上兩個(gè)編譯器編譯運(yùn)行的結(jié)果都是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. }
   

復(fù)制代碼

tc1989tc

看哈反匯編結(jié)果

井蛙夏蟲(chóng)

局部變量的存放順序應(yīng)當(dāng)沒(méi)有被規(guī)定，不同的編譯器實(shí)現(xiàn)可能不同，
同一編譯器不同版本，不同的優(yōu)化級(jí)別都可能不同

MMMIX

回復(fù) 1# sampher


    變量在代碼中出現(xiàn)的順序和它們?cè)跅Ｖ校ㄈ绻�它們確實(shí)在棧中出現(xiàn)的話）的順序之間是沒(méi)有對(duì)應(yīng)關(guān)系的。例如用 gcc 4.8.2 在 Linux 下測(cè)試你的代碼，結(jié)果就是 11。

sampher

MMMIX 發(fā)表于 2014-01-02 00:40
回復(fù) 1# sampher

謝謝。。。。。。。。。