结构体作为传递和返回值的小例子

system888net

当C用struct 传递并返回值也是struct 时,编译器是如何处理的哪,下面是gcc的处理方式.

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. struct sa {
   
5.    int a;
   
6.    int b;
   
7.    char c;
   
8. };
   
9. 
   
10. struct sa fun1(struct sa psa)
    
11. {
    
12.    psa.a=1;
    
13.    psa.b=99;
    
14.    psa.c='a';
    
15.    return(psa);
    
16. }
    
17. struct sa ss;
    
18. 
    
19. int main()
    
20. {
    
21.    struct sa k;
    
22.    struct sa ll;
    
23.    k.a=11;
    
24.    k.b=12;
    
25.    k.c='0';
    
26.    ll=fun1(k);
    
27.    printf("%d,%d,%c",k.a,k.b,k.c);
    
28.    printf("hello,world!");
    
29.    printf("%d,%d,%c",ll.a,ll.b,ll.c);
    
30.    return(0);
    
31. }
    
32. 
    

复制代码

gcc的处理方式,注意fun1中
        "movl        8(%ebp), %edx"
   和
"        movl        %edx, %eax"
   等几句.

1. 
   
2. 
   
3.         .file        "test5.c"
   
4.         .text
   
5. .globl fun1
   
6.         .type        fun1,@function
   
7. fun1:
   
8.         pushl        %ebp
   
9.         movl        %esp, %ebp
   
10.         movl        8(%ebp), %edx     //ll的地址保存到edx
    
11.         movl        $1, 12(%ebp)      //psa.a=1
    
12.         movl        $99, 16(%ebp)     //psa.b=99
    
13.         movb        $97, 20(%ebp)     //psa.c='a'
    
14.         movl        12(%ebp), %eax    //psa.a 放到eax寄存器,实际上在fun1内已经对main中ll进行赋值了.
    
15.         movl        %eax, (%edx)      //ll.a=psa.a
    
16.         movl        16(%ebp), %eax   
    
17.         movl        %eax, 4(%edx)     //ll.b=psa.b
    
18.         movl        20(%ebp), %eax
    
19.         movl        %eax, 8(%edx)     //ll.c=psa.c
    
20.         movl        %edx, %eax         //eax 存放ll的地址
    
21.         leave
    
22.         ret        $4
    
23. .Lfe1:
    
24.         .size        fun1,.Lfe1-fun1
    
25.         .section        .rodata
    
26. .LC0:
    
27.         .string        "%d,%d,%c"
    
28. .LC1:
    
29.         .string        "hello,world!"
    
30.         .text
    
31. .globl main
    
32.         .type        main,@function
    
33. main:
    
34.         pushl        %ebp
    
35.         movl        %esp, %ebp
    
36.         subl        $40, %esp    //本地变量空间
    
37.         andl        $-16, %esp   //对齐
    
38.         movl        $0, %eax
    
39.         subl        %eax, %esp
    
40.         movl        $11, -24(%ebp)  //k.a=11
    
41.         movl        $12, -20(%ebp)  //k.b=12
    
42.         movb        $48, -16(%ebp)  //k.c='0'
    
43.         leal        -40(%ebp), %eax //ll的地址
    
44.         pushl        -16(%ebp)  //k.c
    
45.         pushl        -20(%ebp)  //k.b
    
46.         pushl        -24(%ebp)  //k.a
    
47.         pushl        %eax  //压入ll的地址,以便fun1能对其进行赋值
    
48.         call        fun1
    
49.         addl        $12, %esp
    
50.         movsbl        -16(%ebp),%eax
    
51.         pushl        %eax
    
52.         pushl        -20(%ebp)
    
53.         pushl        -24(%ebp)
    
54.         pushl        $.LC0
    
55.         call        printf
    
56.         addl        $16, %esp
    
57.         subl        $12, %esp
    
58.         pushl        $.LC1
    
59.         call        printf
    
60.         addl        $16, %esp
    
61.         movsbl        -32(%ebp),%eax
    
62.         pushl        %eax
    
63.         pushl        -36(%ebp)
    
64.         pushl        -40(%ebp)
    
65.         pushl        $.LC0
    
66.         call        printf
    
67.         addl        $16, %esp
    
68.         movl        $0, %eax
    
69.         leave
    
70.         ret
    
71. .Lfe2:
    
72.         .size        main,.Lfe2-main
    
73.         .comm        ss,12,4
    
74.         .ident        "GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)"
    

复制代码

[ 本帖最后由 system888net 于 2008-6-11 11:23 编辑 ]

mnf

你烦不烦的，C版说了不够，还要到这里贴

chzCPU

原帖由 mnf 于 2008-6-9 23:46 发表
你烦不烦的，C版说了不够，还要到这里贴

谦虚使人进步

chzCPU

原帖由 mnf 于 2008-6-9 23:46 发表
你烦不烦的，C版说了不够，还要到这里贴

............................................................

[ 本帖最后由 chzCPU 于 2008-6-10 00:18 编辑 ]

system888net

观点都是一样的,都是为了说明同一个问题.觉得有汇编更能说明stack和eax配合传递struct 的过程,而且感觉这个问题跟编译器有关,有必要在这个论坛也发一下.

[ 本帖最后由 system888net 于 2008-6-10 00:16 编辑 ]

mnf

原帖由 system888net 于 2008-6-10 00:08 发表
观点都是一样的,都是为了说明同一个问题.觉得有汇编更能说明stack和eax配合传递struct 的过程,而且感觉这个问题跟编译器有关,有必要在这个论坛也发一下.

  很佩服你！ 不但出动了马甲造势，还在C版沸沸扬扬忽悠人。
哈哈~ 你好样的。 继续~~ 兄弟看着你

mnf

原帖由 chzCPU 于 2008-6-10 00:04 发表



............................................................

  别编辑你的回复呀！

着急了，是吧。继续~ 兄弟我看着你的戏   

cjaizss

写的太不详细，你既然是在发帖子，就应该仔细说明gcc的处理方式，比如保留在什么地方，谁来清栈........

system888net

原帖由 cjaizss 于 2008-6-10 08:46 发表
写的太不详细，你既然是在发帖子，就应该仔细说明gcc的处理方式，比如保留在什么地方，谁来清栈........

提醒的对.
已加了一些说明,不知道道能否说的清楚些.

[ 本帖最后由 system888net 于 2008-6-11 15:28 编辑 ]

system888net

也就是说明: 在gcc里, 对于结构体的返回：return(psa); 这个动作实际上是在fun1内的对ll各成员赋值的一个,而fun1内对ll的识别是靠main调用fun1时传入的ll的地址来确定的.