局部变量的生存期

gcc_linux_cpp

1. int * foo()
   
2. {
   
3.     int a = 5;
   
4.     return &a;
   
5. }
   
6. 
   
7. int main()
   
8. {
   
9.     int* p = foo();
   
10.     cout << *p;
    
11.     *p = 8;
    
12.     cout << *p;
    
13. }
    

复制代码

代码如上，

嗯:a 是一个函数内部的local variable, 但我仍试图将其返回到函数体外，这样a的使用便超出了它的“生存期”；

现在问题是，为什么我可以得到'正确'的结果 (5,8 )呢？（(gcc version 4.1.2 20070626 (Red Hat 4.1.2-14))）


大家可以使用各自编译工具试试，希望能给出你们自己的观点哦！

PS: 在一些人看来，这简直就不是一个问题，但我还是希望大家能讨论一下。

我也增加点见识嘛！

umyspl

xianliang

结果要看运气。

tempname2

纯粹是LZ所帖代码的话，大部分编译器应该都会给出正确结果，但这没有什么意义。

drangon

1. 
   
2. #include <iostream>
   
3. 
   
4. using namespace std;
   
5. 
   
6. int * foo()
   
7. {
   
8.     int a = 5;
   
9.     return &a;
   
10. }
    
11. 
    
12. int g_test;
    
13. 
    
14. void bar()
    
15. {
    
16.         int b = 7;
    
17.         g_test = b;
    
18.         return;
    
19. }
    
20. 
    
21. int main()
    
22. {
    
23.     int* p = foo();
    
24.         bar();
    
25.     cout << *p;
    
26.     *p = 8;
    
27.     cout << *p;
    
28. }
    
29. 
    
30. 
    

复制代码

duwei211

很简单，因为你那块内存还没有被分配给其他。也就是还保持着原来的值，所以你运行结果一直是正确的。
运行结果看运气吧，如果操作系统分配给其他部分，你运行就错误了。

magicrobot1984

顶LS的，其实就是内存区域的问题。
局部变量本身是分配的栈上空间，生命周期结束后，该块栈空间的内存所有权已经交回OS了，如果在该空间未分配给其它模块使用之前，应该都是不会变的，值正确很正常。

KBTiller

回复 1# gcc_linux_cpp


    没有意义
    相当于对一个没有初始化的局部auto变量，输出其值一样