反汇编之C++的const

1. #include<iostream>
2. #include<stdlib.h>
3. using namespace std;
4. const int &add( const int &a,const int &b)
5. {
6. return a+b;
7. }
8. int main()
9. {
10. const int &result = add(5,8);
11. add(11, 8);//重复使用栈.排除虽然栈回收.但值没变的可能性
12. add(5, 8);
13. add(5,8);
14. add(5,8);
15.     add(5,8);
16. cout << result << endl;
17. system("pause");
18. return 0;
19. }

   

 

以上结果输出13.原因在于当add的时候参数5,8.将生成2个临时对象(但这个临时对象的生存周期可伴随main).用来保存5,8

main.c 部分反汇编代码

1. 00FC18CE mov dword ptr [ebp-0D4h],8 ;创建一个地址用来保存8
2. 00FC18D8 mov dword ptr [ebp-0E0h],5 ;创建一个地址用来保存5
3. 00FC18E2 lea eax,[ebp-0D4h] ;将保存8的地址赋给eax.
4. 00FC18E8 push eax ;地址压栈
5. 00FC18E9 lea ecx,[ebp-0E0h] ;将保存5的地址赋给ecx
6. 00FC18EF push ecx ;将地址压入栈中
7. 00FC18F0 call add (0FC138Eh)
8. 00FC18F5 add esp,8 ;回收栈
9. 00FC18F8 mov dword ptr [result],eax 

 

1. const int &add(const int &a, const int &b)
2. {
3. 002217C0 push ebp
4. 002217C1 mov ebp,esp
5. 002217C3 sub esp,0CCh ;开辟局部栈空间,大小为0cch
6. 002217C9 push ebx
7. 002217CA push esi
8. 002217CB push edi
9. 002217CC lea edi,[ebp-0CCh] ;
10. 002217D2 mov ecx,33h
11. 002217D7 mov eax,0CCCCCCCCh
12. 002217DC rep stos dword ptr es:[edi]

注意.以上局部栈空间大小在 esp到esp-0cch之间.当函数调用完此空间将回收(并不是真正意义的回收.只是改变栈指针罢了.原来的数值还在.不过如果此栈被反复调用(这就是为何我重复调用的原因).栈的数据当然改变)

1. 00FC17DE mov eax,dword ptr [a] ;将临时对象5的地址赋给eax (const int &a) [a]保存的是临时对象5的
2. 00FC17E1 mov ecx,dword ptr [eax] ;将eax保存的值给ecx
3. 00FC17E3 mov edx,dword ptr [b] ;将临时对象b的地址赋给edx
4. 00FC17E6 add ecx,dword ptr [edx] ;将edx保存的值加到ecx中
5. 00FC17E8 mov dword ptr [ebp-0C8h],ecx ;将结果保存到ebp-0c8h中(临时对象)
6. 00FC17EE lea eax,[ebp-0C8h] ;将结果地址赋给eax
7. }
8. 执行完Add函数后将临时对象的地址保存到result引用中
9. 00FC18F8 mov dword ptr [result],eax 

注意了 return a+b;开辟的临时对象在ebp-0c8h处.处于局部栈之内!!!(ebp~ebp-0xcch).当add调用完后..将此回收地址赋给了result引用.于是出现了结果乱了的情况了

 

2.初始化一个常量引用所引发的临时对象

  当初始化一个常量引用（const reference）时，如果给定的初始化对象类型与目标引用类型不同（但是两者  能够相互转换），需要产生临时对象；

对于局部const int  temp=10这类变量.即使取地址使得其改变也不会有任何变化.

double db=10.000;

int &q=db;

以上会报错.

因为实际他会转化为 int temp=(int) db; int &a=temp;.本意是想通过a可以改变db.但实现却不可以改变(改变的是Temp).因此.编译器将会报错

 

当然如果是 const int &a=db;这样编译器将不会报错.因为const修饰这个temp(db)不会改变的

1. double db = 10;
2. 00EB1868 movsd xmm0,mmword ptr ds:[0EB6B38h]
3. 00EB1870 movsd mmword ptr [db],xmm0
4. const int &q = db;
5. 00EB1875 cvttsd2si eax,mmword ptr [db] ;db的值10赋给eax
6. 00EB187A mov dword ptr [ebp-28h],eax ;将eax赋给ebp-28h(就是临时对象)
7. 00EB187D lea ecx,[ebp-28h]
8. 00EB1880 mov dword ptr [q],ecx
9. 转自https://www.cnblogs.com/zengyiwen