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

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

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

在main开头和结尾设断点

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

 

总结:

1.一般function frame的结构是

                                                                  

                                                            函数内局部变量

                                                            ebp

                                                             eip

                                                           函数参数

 

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

                                                            

                                                              函数内局部变量

                                                              ebp

                                                              eip

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

                                                              函数参数

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

 

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