求助: 在if中定义的变量

思一克

存在。
不是临时用到动态分配的。

在LINUX GCC如此。其它应该同。

思一克

你看书的结论不算。应该看程序（汇编）。

生存其在整个函数中。（LINUX/GCC）

原帖由 tyc611 于 2007-5-18 16:56 发表
如果不进入条件分支，就不存在，它的生存期在块内

思一克

局部变量都有自己的生存期. . . . . .

原帖由 missjiang 于 2007-5-18 17:10 发表
林妹妹永远的离开了我们 . . . . . .

思一克

哪里有标准规定这个?
我没有找过. 如果你知道, 可以共享贴

思一克

通过看汇编已经给LZ了LINUX GCC的正确答案. 在其它平台上也应该一样,如果有不一样,请给出例证.

什么事情不要平想象. 要自己实验.

原帖由 beepbug 于 2007-5-20 08:37 发表

看汇编不说明问题。看C，和看汇编，都是在看代码的静态。只不过一个是在高级语言层面，一个是在低级语言层面罢了。

而楼主问的是，这代码在运行时，有没有 i 这个实体生成？

我想，应该if为true时，才在栈 ...

思一克

to beepbug,

if (xxx) {
   int i;

}

i 无论XXX是真是假,无论进入不进入if{},都已经是分配的了. 是在进入if所在的FUNCTION开始分配的. 和进入if无关.

LZ问的动态的意思是是否随着if(xxx)的进入而按需要分的(如果不进入就不分), 从这意义上不是动态的. 当然相对与if所在函数是动态的.但LZ问的不是哪个意思.

编译WHY这么做?为了效率,同时不违反什么

什么叫"不能看程序"?
许多问题倒是"不能看书"得到答案.

思一克

to 楼上,

我看了LZ的问题几秒后就弄清问题了,也说出正确答案了.
是你没有弄清, 才说了那么多海阔天空来.

原帖由 beepbug 于 2007-5-21 20:49 发表


我没叫你别看程序。只是说，先要弄清问题。
我劝你还是要看书。看看进程与存储分配方面的书。

思一克

TO beepbug,

你根本没有弄明白,根据书本的理论在加符合逻辑的想象就得出了不正确的结论.
许多编译根本没有根据"代码块"动态地" "压栈" "弹出". GCC+就没有.

还有,这东西你争论什么? 这不是不存在事实的理论性的东西还可以争论和有争论的余地.
这个是一个十分简单的事实. 不具有争论的前提. 在G++上看一下C产生的汇编代码就有结论了.

可能有例外. 比如在什么其他编译上.

原帖由 beepbug 于 2007-5-21 20:55 发表
局部变量生成在栈里。当进入它所在的代码块时，生成（实质上是做压栈操作），离开该代码块时，消失（弹出操作。实际上该变量还在，只是逻辑上我们认为它不存在了，不可访问了。）。再次进入该代码块时，再次生成。 ...

思一克

自己看吧.

1. 
   
2. 
   
3. #include <stdio.h>
   
4. main(int argc, char **argv)
   
5. {
   
6. int i;
   
7.   i = 123;
   
8.   if(argc) {
   
9.         int a[128];
   
10.         a[1] = 456;
    
11.   }
    
12. }
    
13. 
    
14. 
    
15. 
    
16.         .file   "tt.c"
    
17.         .text
    
18. .globl main
    
19.         .type   main,@function
    
20. main:
    
21.         pushl   %ebp
    
22.         movl    %esp, %ebp
    
23.         subl    $536, %esp
    
24.         andl    $-16, %esp
    
25.         movl    $0, %eax
    
26.         subl    %eax, %esp
    
27.         movl    $123, -12(%ebp)
    
28.         cmpl    $0, 8(%ebp)
    
29.         je      .L2
    
30. 
    
31.         //这里就是if块内. 512个字节空间早在外面就留好了的. 块内无动态申请归还
    
32.         movl    $456, -532(%ebp)
    
33. 
    
34. .L2:
    
35.         leave
    
36.         ret
    
37. .Lfe1:
    
38.         .size   main,.Lfe1-main
    
39.         .ident  "GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)"
    
40. 
    

复制代码

思一克

是GCC计算调整（优化？）STACK的什么方法。没有深入研究。
如果程序是这样（多分100个整数），那么调整成为更复杂的：

1. 
   
2. main(int argc, char **argv)
   
3. {
   
4. int i;
   
5. int k[100];
   
6.   i = 123;
   
7.   if(argc) {
   
8.         int a[128];
   
9.         a[1] = 456;
   
10.   }
    
11. }
    
12. 
    
13. --------
    
14.         movl    $0, %eax
    
15.         addl    $15, %eax
    
16.         addl    $15, %eax
    
17.         shrl    $4, %eax
    
18.         sall    $4, %eax
    
19.         subl    %eax, %esp
    
20. 
    
21. 
    
22. 
    

复制代码