奇怪的问题。

[lockhall]

#include <stdio.h>
#define N 10
int main(int argc, char* argv[])
{
short i; //语句1
short a[N]; //语句2
for(i=0; i<=N; i++)
{
a[i] = 0;
printf("%d",i);
printf("\n");
}

return 0;
}

这段程序结果为：循环打印0-9
调换1，2语句顺序后，数组越界程序崩溃

这个是什么原因?

[lockhall]

哪位大侠来说说

这个是面试题.呵呵

[mymtom]

LZ说的没有错，
在i=10时
执行 a[i] = 0 这条语句时，数组越界了 ，由于X86体系的栈的方向的原因，实际操作时会写到i,i的值被设成零了,
所以程序会一直循环打印 0-9

short i; //语句1
short a[N]; //语句2
如果上两句调换，越界写时，会破坏栈的数据，程序崩溃！

[lockhall]

由于X86体系的栈的方向的原因，实际操作时会写到i,i的值被设成零了

---能不能具体点?呵呵.:)

[mymtom]

intel 80x86 的栈方向是向低地址生长的，这么说吧push eax 时 esp 会 -4
函数内而起局部数据是在栈中分配的，寄存器的值也保存在栈中！

在前面的例子中栈的情况如下
不调换为情况1，调换后为情况2

| 低地址 情况1 情况2
| | a[0] | | i |
| | a[1] | | a[0] |
| | ... | | a[1] |
| 高地址 | a[9] | | ... |
\|/ | i | | a[9] |
| reg1 | | reg1 |
| reg2 | | reg2 |

情况1中 a[10] = 0 的实际效果时 i= 0
情况2中 a[10] = 0 可就写到了保存了某个寄存器的内存区了！
当然这里忽略了一些东西，不过能说明问题了！

[mymtom]

如果是在其它CPU上,如果栈的生长方向相反，情况就恰恰相反了！
当然如果编译器在栈中分配变量的顺序不同，情况也不同，那就另当别论了，不过大多数的编译器会按变量定义的顺序在栈中分配空间，不过优化选项可能会使情况有所改变，这个我就没有什么经验了！

[pnz_fox]

领教了，呵呵

[lockhall]

| 低地址 情况1 情况2
| | a[0] | | i |
| | a[1] | | a[0] |
| | ... | | a[1] |
| 高地址 | a[9] | | ... |
\|/ | i | | a[9] |
| reg1 | | reg1 |
| reg2 | | reg2 |

intel 80x86 的栈方向是向低地址生长的话,为何不是这么存储?


| 低地址 情况1 情况2
| | a[9] | | i |
| | a[8] | | a[9] |
| | ... | | a[8] |
| 高地址 | a[0] | | ... |
\|/ | i | | a[0] |
| reg1 | | reg1 |
| reg2 | | reg2 |

呵呵,内存存储方面我理解不太清晰.所以再问下.

[mymtom]

对数组说，编译器通常是这么安排的，下标增长与地址增长一致，便于计算地址。
a[i] 的地址 = a[0]的地址 + 2 * i, 如果
定义short *p = a; 则 p++ 时 p 的值要加 2

当然，如果有这么一个编译器，像你说的那样存储，也是可以的。
a[i] 的地址 = a[0]的地址 - 2 * i
定义short *p = a, p++ 时 p 的值要减 2 （p++ 后 p 应该指向数组的下一元素）。
总之，一切都要反过来，虽然编译器都可以做到，不过很另人费解。

如果是这样，上述程序的运行情况就变了：
情况2是连续输出0-9, 情况1，越界了，但是由于在此例中a[10]在的位置在栈顶之上，通常还没有存储数据，应该不会引起程序崩溃！

[lockhall]

赞mymtom() .

说的通俗易懂.

3KS.

[FingerStyle]

for(i=0; i<=N; i++)
+++++++++++++++++++++++
for(i=0; i<N; i++)

[freshui]

hehe
不调换也会崩溃

[intuition444]

数组越界了

[lockhall]

我知道本身是存在数组越界问题

二位不妨去test下.调换与不调换是不一样的结果.

呵呵

[rainstormed]

数组越界

[rainstormed]

就是数组越界的问题，不会产生其他问题的

[lockhall]

rainstormed(一路上风雨无阻)

--------------------------------

你确定?调试下看看吧.

[chenyu2202863]

楼主,你i是short的,怎么打印的时候却是%d?
这也是个问题

[fohonet]

上述问题和编译器有关，

TC下出现死循环，Dev-c++就不会。


写程序，还是要遵循规范。

[bookong]

mark

[lb_hit]

Also see:
http://community.csdn.net/Expert/TopicView.asp?id=5474396