我对return 语句的理解----3

如果返回的是一个struct对象,return 语句会如何做呢?下面是测试代码

1. #include <iostream>
2. using namespace std;
3. struct Big
4. {
5.     char buf[100];
6.     int  i;
7.     long d;
9. }B,B2;
11. Big bigfun(Big b)
12. {
13.     b.i=100;
14.     return b;
15. }
18. int main()
19. {   
20.    B2=bigfun(B);
22.     return 0;
23.     
24. }

在main开头和结尾设断点

1. 8:   int main()
2. 19:   {
3. 004012A0   push        ebp
4. 004012A1   mov         ebp,esp
5. 004012A3   sub         esp,118h
6. //一开始对这迷惑不解,分析了好久
7. //原来(118h-40h)剩下的内存块存放了两个Big的变量
8. //低地址放Bigfun()函数返回值的临时变量
9. //高地址放B2.operator=(Big &) 的参数
10. 004012A9   push        ebx
11. 004012AA   push        esi
12. 004012AB   push        edi
13. 004012AC   lea         edi,[ebp-118h]
14. 004012B2   mov         ecx,46h
15. 004012B7   mov         eax,0CCCCCCCCh
16. 004012BC   rep stos    dword ptr [edi]
17. 20:      B2=bigfun(B);
18. 004012BE   sub         esp,6Ch//b参数入栈
19. 004012C1   mov         ecx,1Bh
20. 004012C6   mov         esi,offset B (00438490)//B的首地址
21. 004012CB   mov         edi,esp
22. 004012CD   rep movs    dword ptr [edi],dword ptr [esi]//上面这些指令完成对b的初始化工作
23. 004012CF   lea         eax,[ebp-0D8h]//eax存放Big类型一个返回值临时变量的首地址
24. 004012D5   push        eax//注意一般栈调用没有这条指令
25. 004012D6   call        @ILT+0(bigfun) (00401005)
26. /*
27. 004012DB   add         esp,70h
28. 004012DE   mov         esi,eax
29. 004012E0   mov         ecx,1Bh
30. 004012E5   lea         edi,[ebp-6Ch]
31. 004012E8   rep movs    dword ptr [edi],dword ptr [esi]
32. 004012EA   mov         ecx,1Bh
33. 004012EF   lea         esi,[ebp-6Ch]
34. 004012F2   mov         edi,offset B2 (00438500)
35. 004012F7   rep movs    dword ptr [edi],dword ptr [esi]
36. 21:
37. 22:       return 0;
38. 004012F9   xor         eax,eax
39. 23:
40. 24:   }
41. 004012FB   pop         edi
42. 004012FC   pop         esi
43. 004012FD   pop         ebx
44. 004012FE   add         esp,118h
45. 00401304   cmp         ebp,esp
46. 00401306   call        __chkesp (004081e0)
47. 0040130B   mov         esp,ebp
48. 0040130D   pop         ebp
49. 0040130E   ret
50. */
51. @ILT+0(?bigfun@@YA?AUBig@@U1 @@Z):
52. 00401005   jmp         bigfun (00401250)
54. 11:   Big bigfun(Big b)
55. 12:   {
56. 00401250   push        ebp
57. 00401251   mov         ebp,esp
58. 00401253   sub         esp,40h
59. 00401256   push        ebx
60. 00401257   push        esi
61. 00401258   push        edi
62. 00401259   lea         edi,[ebp-40h]
63. 0040125C   mov         ecx,10h
64. 00401261   mov         eax,0CCCCCCCCh
65. 00401266   rep stos    dword ptr [edi]
66. 13:       b.i=100;
67. 00401268   mov         dword ptr [ebp+70h],64h
68. /*
70. 0012FE50  00 00 00 00 64 00 00 00 00 00 00 00 
71. */
73. 14:       return b;
74. 0040126F   mov         ecx,1Bh
75. 00401274   lea         esi,[ebp+0Ch]//esi=b的首地址
76. 00401277   mov         edi,dword ptr [ebp+8]//edi=返回值临时变量的首地址
77. 0040127A   rep movs    dword ptr [edi],dword ptr [esi]
78. 0040127C   mov         eax,dword ptr [ebp+8]
79. 15:   }
80. 0040127F   pop         edi
81. 00401280   pop         esi
82. 00401281   pop         ebx
83. 00401282   mov         esp,ebp
84. 00401284   pop         ebp
85. 00401285   ret
87. 返回到main函数
88. 004012DB   add         esp,70h//销毁局部参数
89. 004012DE   mov         esi,eax//bigfunction()返会值临时变量的首地址
90. 004012E0   mov         ecx,1Bh
91. 004012E5   lea         edi,[ebp-6Ch]//B2.operator=(Big &)参数的首地址
92. 004012E8   rep movs    dword ptr [edi],dword ptr [esi]
93. 004012EA   mov         ecx,1Bh
94. 004012EF   lea         esi,[ebp-6Ch]
95. 004012F2   mov         edi,offset B2 (00438500)//B2的首地址
96. 004012F7   rep movs    dword ptr [edi],dword ptr [esi]
97. 21:
98. 22:       return 0;
99. 004012F9   xor         eax,eax
100. 23:
101. 24:   }
102. 004012FB   pop         edi
103. 004012FC   pop         esi
104. 004012FD   pop         ebx
105. 004012FE   add         esp,118h
106. 00401304   cmp         ebp,esp
107. 00401306   call        __chkesp (004081e0)
108. 0040130B   mov         esp,ebp
109. 0040130D   pop         ebp
110. 0040130E   ret

 

总结:

1.一般function frame的结构是

                                                                  

                                                            函数内局部变量

                                                            ebp

                                                             eip

                                                           函数参数

 

如果返回值是一个struct对象function frame

                                                            

                                                              函数内局部变量

                                                              ebp

                                                              eip

                                                              返回值临时变量的首地址//特别注意这个

                                                              函数参数

(由于寄存器太小,不可能放一块struct内存,所以保存了临时变量的首地址).

 

2.struct对象的临时变量是在栈上的,而不是在堆上.

 

 

 

 

 

 

转载于:https://my.oschina.net/Draymond/blog/1017888