一道关于局部变量的练习题

fireaxe

Unix 高级环境编程中有一道练习题7.10，说是让判断下面的程序是否正确，
int f1(int val)
{
        int num = 0;
        int *ptr = #

        if (val == 0) {
                int val;
                val = 5;
                ptr = &val;
        }
        return (*ptr + 1);
}

然后给出的答案是：
7.10 The  code  is  incorrect,  since  it  references  the  automatic  integer val through  a
pointer after the automatic variable is no longer in existence. Automatic variables
declared after the left brace that starts a compound statement disappear after the
matching right brace.
“代码不正确，因为if中的局部变量val只在if的作用域里有效（大括号中间的那段），这里的指针引用超出了范围”


但我觉得这里有问题：
局部变量是存在栈中的，这些变量在一个函数的范围内都是固定地址，所以这个引用没有错。

zhaohongjian000

作用域是作用域，不要拿生存期考虑作用域。比如，

1. 
   
2. void func1()
   
3. {
   
4. static int x;
   
5. }
   
6. 
   
7. void func2()
   
8. {
   
9. x = 1;
   
10. }
    

复制代码

func1中的x是静态变量，在整个程序执行期间都存在，但还是无法在func2中访问。

Herowinter

回复 1# fireaxe

楼主加个main验证下就知道了 f1()返回值永远为1.

   

lin5161678

void foo()
{
    int i;
    {
        int j;
    }
    int z;//对于这段代码 j 和 z(或 i)的地址可能是同一个地址  内存可能的确没释放 但是 可能被其他对象占据 所以说 使用超出作用域的val是错误的 这样讲 能明白吗?

}

humjb_1983

Herowinter 发表于 2014-02-11 12:01
回复 1# fireaxe

楼主加个main验证下就知道了 f1()返回值永远为1.

f1()返回值永远为1，这个说法不对哦~~，呵呵

fireaxe

回复 2# zhaohongjian000

这样连编译都过不了吧。
原书的例子中通过保存地址的方式突破了局部变量的作用域，重点还是是否这块内存会被其他变量使用。
如果是使用加了static的局部变量，应该是可以在其他函数中使用的。

1. int *tmp=NULL;
   
2. 
   
3. void func1()
   
4. {
   
5.         static int x=123;
   
6.         tmp = &x;
   
7. }
   
8. 
   
9. void func2()
   
10. {
    
11.         printf("%d\n", *tmp);
    
12. }
    
13. 
    
14. int main(int argc, char *argv[])
    
15. {
    
16. 
    
17.         func1();
    
18.         func2();
    
19. }

复制代码

output：
123

fireaxe

回复 3# Herowinter


原书作者的意思应该是说这种做法不对，有可能会产生错误，但这个例子本身其实无法让这中错误出现。
入参是0时会返回6的。

zhaohongjian000

fireaxe 发表于 2014-02-11 15:26
回复 2# zhaohongjian000

这样连编译都过不了吧。

我没看清题目。原题中，出了作用域之后if内的val怎样就没有保证了。val存在于栈上，并且在整个函数中都有效只是对于编译器生成代码的方式的推测，实际上如果不对val取地址，val可能只存在于寄存器中。同样的，当val存在于栈上时，它的内存也可能在出了if之后被用于其它用途。

Herowinter

回复 7# fireaxe
不好意思，看得不是太认真，
感觉问题在于ptr指向的内存
在f1调用过程中会用于其他用途吗？


   

fireaxe

回复 4# lin5161678

又做了个实验，确实是这样，看来还是我对栈的分配理解有误。
根据我原来的理解，堆栈是在进入函数时就分配好的，从反汇编后的代码看，前两条指令就是为这个函数分配所需的堆栈。所以我认为，在这个函数的作用域里，所有的变量都有固定的地址，不会互相冲突。
从刚才做的实验看，堆栈确实是入口时分配的，但变量的地址却不是固定的。看来即使是函数内部的大括号，也会影响堆栈的分配。

但如果想引发这种错误，需要如下情况

1. void foo()
   
2. {
   
3.     int i;
   
4. 
   
5.     {
   
6.         int j;
   
7.     }
   
8. 
   
9.     {
   
10.         int z;
    
11.     }
    
12. }

复制代码