C 中返回结构类型变量的讨论

herberteuler

最近我在尝试写 Emacs 的扩展，用 C 完成。读过 Emacs 的源代码后发现，其中存在大量返回结构（或联合）类型的变量的函数。对此我不是很懂，遂用 GCC 试验了一下。如下代码：

1. #include <stdio.h>   
   
2. 
   
3. struct abc  
   
4. {        
   
5.   int x, y, z;
   
6. };
   
7. 
   
8. struct abc func1 (void)
   
9. {        
   
10.   struct abc r;
    
11. 
    
12.   r.x = 8, r.y = 7, r.z = 6;
    
13.   return r;
    
14. }
    
15.      
    
16. void func2 (struct abc v)
    
17. {
    
18.   printf ("%d\n%d\n%d\n", v.x, v.y, v.z);
    
19. }
    
20. 
    
21. int main (int argc, char *argv[])
    
22. {
    
23.   func2 (func1 ());
    
24.   return 0;
    
25. }
    

复制代码

func1 将被编译为

1. func1:
   
2.         pushl %ebp
   
3.         movl %esp,%ebp
   
4.         subl $24,%esp
   
5. [color="Red"]        movl 8(%ebp),%eax[/color]
   
6.         movl $8,-12(%ebp)
   
7.         movl $7,-8(%ebp)
   
8.         movl $6,-4(%ebp)
   
9.         movl -12(%ebp),%edx
   
10. [color="Red"]        movl %edx,(%eax)[/color]
    
11.         movl -8(%ebp),%edx  
    
12. [color="red"]        movl %edx,4(%eax)[/color]
    
13.         movl -4(%ebp),%edx
    
14. [color="red"]        movl %edx,8(%eax)[/color]
    
15.         jmp .L6
    
16. .L6:
    
17.         movl %eax,%eax
    
18.         leave
    
19.         ret $4

复制代码

其对应的调用处被编译为

1. [color="red"]        leal -12(%ebp),%eax[/color]
   
2.         addl $-12,%esp
   
3. [color="red"]        pushl %eax[/color]
   
4.         call func1
   
5.         addl $12,%esp

复制代码

从红色的部分可以看到，func1 是直接将要返回的值写入到了调用者的堆栈中。

有两点我不明白的地方：

1. movl %eax,%eax 的作用是什么？

2. 其他编译器是否也这样做？

欢迎就此展开讨论。

rickxbx

2. func1:
3.         pushl   %ebp
4.         movl    %esp, %ebp
5.         subl    $24, %esp
6.         movl    8(%ebp), %edx
7.         movl    $8, -24(%ebp)
8.         movl    $7, -20(%ebp)
9.         movl    $6, -16(%ebp)
10.         movl    -24(%ebp), %eax
11.         movl    %eax, (%edx)
12.         movl    -20(%ebp), %eax
13.         movl    %eax, 4(%edx)
14.         movl    -16(%ebp), %eax
15.         movl    %eax, 8(%edx)
16.         movl    %edx, %eax
17.         leave
18.         ret     $4

复制代码

2. [rick@Fedora-Core ~]$ gcc -v
3. Reading specs from /usr/lib/gcc/i386-redhat-linux/3.4.2/specs
4. Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-java-awt=gtk --host=i386-redhat-linux
5. Thread model: posix
6. gcc version 3.4.2 20041017 (Red Hat 3.4.2-6.fc3)

复制代码

herberteuler

rickxbx 能不能解释一下 movl 8(%ebp), %edx 中加 8 而不是 4 的原因？是不是 call func1 也在栈上填了一个字节的空间？谢谢。

rickxbx

the stack is as follows:

args
ret_addr
old-ebp          <------  now ebp points here

so......