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

Question

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

2. #include <stdio.h>
3. #include <stdlib.h>
4. struct sa {
5.    int a;
6.    int b;
7.    char c;
8. };
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;
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. }

复制代码

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

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 编辑 ]

Answer 1

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

Answer 2

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

谦虚使人进步

Answer 3

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

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

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

Answer 4

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

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

Answer 5

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

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

Answer 6

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

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

  别编辑你的回复呀！

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

Answer 7

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

Answer 8

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

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

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

Answer 9

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