数组名是左值(lvalue)的疑问

youshuang

熊猫大哥不放看看这个：

1. 
   
2. int a()
   
3. {
   
4.         int a[ 3 ] = { 10, 20, 30 };
   
5.         int sum = a [ 0 ] + a[ 1 ];
   
6.         return sum;
   
7. }
   
8. 
   
9. int c = 10;
   
10. 
    
11. int main()
    
12. {
    
13.         a();   
    
14. }
    

复制代码

编译 gcc filename.c -S

1. 
   
2. .file   "a.c"
   
3.         .text
   
4. .globl a
   
5.         .type   a, @function
   
6. a:
   
7.         pushl   %ebp
   
8.         movl    %esp, %ebp
   
9.         subl     $16, %esp
   
10.         movl    $10, -16(%ebp)
    
11.         movl    $20, -12(%ebp)
    
12.         movl    $30, -8(%ebp)
    
13.         movl    -16(%ebp), %edx
    
14.         movl    -12(%ebp), %eax
    
15.         leal    (%edx,%eax), %eax
    
16.         movl    %eax, -4(%ebp)
    
17.         movl    -4(%ebp), %eax
    
18.         leave
    
19.         ret
    
20.         .size   a, .-a
    
21. .globl c
    
22.         .data
    
23.         .align 4
    
24.         .type   c, @object
    
25.         .size   c, 4
    
26. c:
    
27.         .long   10  
    
28.         .text
    
29. .globl main
    
30.         .type   main, @function
    
31. main:
    
32.         leal    4(%esp), %ecx
    
33.         andl    $-16, %esp
    
34.         pushl   -4(%ecx)
    
35.         pushl   %ebp
    
36.         movl    %esp, %ebp
    
37.         pushl   %ecx
    
38.         call    a
    
39.         popl    %ecx
    
40.         popl    %ebp
    
41.         leal    -4(%ecx), %esp
    
42.         ret
    
43.         .size   main, .-main
    
44.         .ident  "GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu4)"
    
45.         .section        .note.GNU-stack,"",@progbits
    

复制代码

中间把10， 20， 30放到哪里了？栈空间里面函数a的参数后面，无须符号表。

youshuang

按照我的理解，汇编里面的立即数，比如5阿，10阿，只能是右值；
汇编里的间接寻址，寄存器里的值是左值。

cjaizss

不知道为什么,对"左值"这个词一直感觉很陌生...

OwnWaterloo

呃， 你所说的符号表， 是哪个符号表？
供链接器使用的？ 还是供编译器使用的？

2l说的是供链接器使用的。
local_variable的符号也不需要暴露给链接器。
它们的地址是临时分配的， 指不定再哪。