关于栈的问题

iwinux

1. 
   
2. #include <stdio.h>
   
3. 
   
4. int * ptr;
   
5. 
   
6. void change(void) {
   
7. 
   
8.         int i = 100;
   
9. 
   
10.         ptr = &i;
    
11. 
    
12. }
    
13. 
    
14. void show(void) {
    
15. 
    
16.         int j = 250;
    
17. 
    
18.         printf("%d\n", *ptr);
    
19. 
    
20. }
    
21. 
    
22. int main(void) {
    
23. 
    
24.         change();
    
25.         show();
    
26. 
    
27. }
    

复制代码

这段代码的输出结果为250，为什么？
我的猜想是，ptr指向了堆栈的顶部（或底部），也就是所有函数的第一个变量的内存位置。

[ 本帖最后由 iwinux 于 2006-9-2 12:02 编辑 ]

nully

不是的，只是恰巧j的位置是之前i的位置。
void show(int i) {

        int j = 250;

        printf("%d\n", *ptr);

}
就不一样了

iwinux

1. 
   
2. void show(int i) {
   
3. 
   
4.         int j = 250;
   
5. 
   
6.         printf("%d\n", *ptr);
   
7. 
   
8. }
   

复制代码

是 i 先入栈还是 j 先入栈？

lj_860603

原帖由 iwinux 于 2006-9-2 12:01 发表

1. 
   
2. void show(int i) {
   
3. 
   
4.         int j = 250;
   
5. 
   
6.         printf("%d\n", *ptr);
   
7. 
   
8. }
   

复制代码

是 i 先入栈还是 j 先入栈？

应该是 i 先入栈。j 在栈上创建。

kernelxu

原帖由 iwinux 于 2006-9-2 12:01 发表

1. 
   
2. void show(int i) {
   
3. 
   
4.         int j = 250;
   
5. 
   
6.         printf("%d\n", *ptr);
   
7. 
   
8. }
   

复制代码

是 i 先入栈还是 j 先入栈？

两个变量本来就在不同的栈帧（stack frame）上，i在caller（main）的栈帧上，j在callee（show）的栈帧上。
看看汇编代码就知道了。

iwinux

提这个问题主要是因为我在《程序员2003合订本》里看到一段无限循环的程序，前几天刚刚看懂，今天拿来试验了一下。
程序大概是这样的:

1. 
   
2. #include <stdio.h>
   
3. 
   
4. int ptr;
   
5. 
   
6. void addr(void) {
   
7. 
   
8.         int i = 0;
   
9. 
   
10.         ptr = &i;
    
11. }
    
12. 
    
13. void loop(void){
    
14. 
    
15.         int i;
    
16. 
    
17.         for (i = 0; i < 10; i++)
    
18.                 (*ptr)--;                //这里其实修改了i的值，所以导致无限循环
    
19. 
    
20. }
    
21. 
    
22. int main(void) {
    
23. 
    
24.         addr();
    
25.         loop();
    
26. 
    
27.         return 0;    //永远不会执行
    
28. 
    
29. }
    

复制代码