C++中对于const的理解

破晓

C++Primer中并没有对const过多的解析,只说明为是一个使变量不可修改的限定符.但是仅仅知道这点对于我来说是远远不够的,const是怎么做到的限制修改?谁在帮const做这个限制?编辑器是怎么实现不可修改的?在认识const之前 我知道C++中唯一不可修改的就是常量,例如:

1. int i = 1000;

复制代码

这个1000就是常量,除了修改生成的文件之外 任何方式都无法修改这个1000 .(修改生成的文件是怎么修改?例如生成了exe可执行文件,直接定位到代码区 找到这个变量定义的地方 把 1000的字节码E8 03 00 00改了..).

下面我们尝试下修改const声明的常量:

1. void main()
   
2. {
   
3.     const int q = 1000;
   
4.      printf("q1 = %d\r\n",q);
   
5.      int *pQ = (int*)&q;
   
6.      *pQ = 50;
   
7.      printf("q2 = %d\r\n",q);
   
8.      printf("pQ = %d\r\n",*pQ);
   
9.      printf("q address:%d\r\n",&q);
   
10.      printf("pQ address:%d\r\n",pQ);
    
11.     getchar();
    
12. }

复制代码

这段代码编译运行后输出:

1. q1 = 1000
   
2. q2 = 1000
   
3. pQ = 50
   
4. q address:1702152
   
5. pQ address:1702152

复制代码

显然 const 常量 q 前后输出的都是1000.而q的指针修改后输出的是50.q的地址和pQ所指向的地址一样,输出的内容却不一样.这就让人奇怪了.按道理说 同一块内存(1702152) 改变了值之后所输出的内容应该也都是一样的(50)才对. 我们反编译看看编译器都做了什么:

1.     const int q = 1000;
   
2. 002C35EE  mov         dword ptr [q],3E8h  
   
3.      printf("q1 = %d\r\n",q);
   
4. 002C35F5  mov         esi,esp  
   
5. 002C35F7  push        3E8h  
   
6. 002C35FC  push        2CCC90h  
   
7. 002C3601  call        dword ptr ds:[2D045Ch]  
   
8. 002C3607  add         esp,8  
   
9. 002C360A  cmp         esi,esp  
   
10. 002C360C  call        __RTC_CheckEsp (02C1325h)  
    
11.      int *pQ = (int*)&q;
    
12. 002C3611  lea         eax,[q]  
    
13. 002C3614  mov         dword ptr [pQ],eax  
    
14.      *pQ = 50;
    
15. 002C3617  mov         eax,dword ptr [pQ]  
    
16. 002C361A  mov         dword ptr [eax],32h  
    
17.      printf("q2 = %d\r\n",q);
    
18. 002C3620  mov         esi,esp  
    
19. 002C3622  push        3E8h  
    
20. 002C3627  push        2CCCDCh  
    
21. 002C362C  call        dword ptr ds:[2D045Ch]  
    
22. 002C3632  add         esp,8  
    
23. 002C3635  cmp         esi,esp  
    
24. 002C3637  call        __RTC_CheckEsp (02C1325h)  
    
25.      printf("pQ = %d\r\n",*pQ);
    
26. 002C363C  mov         esi,esp  
    
27. 002C363E  mov         eax,dword ptr [pQ]  
    
28. 002C3641  mov         ecx,dword ptr [eax]  
    
29. 002C3643  push        ecx  
    
30. 002C3644  push        2CDAB8h  
    
31. 002C3649  call        dword ptr ds:[2D045Ch]  
    
32. 002C364F  add         esp,8  
    
33. 002C3652  cmp         esi,esp  
    
34. 002C3654  call        __RTC_CheckEsp (02C1325h)  
    
35.      printf("q address:%d\r\n",&q);
    
36. 002C3659  mov         esi,esp  
    
37. 002C365B  lea         eax,[q]  
    
38. 002C365E  push        eax  
    
39. 002C365F  push        2CCC70h  
    
40. 002C3664  call        dword ptr ds:[2D045Ch]  
    
41. 002C366A  add         esp,8  
    
42. 002C366D  cmp         esi,esp  
    
43. 002C366F  call        __RTC_CheckEsp (02C1325h)  
    
44.      printf("pQ address:%d\r\n",pQ);
    
45. 002C3674  mov         esi,esp  
    
46. 002C3676  mov         eax,dword ptr [pQ]  
    
47. 002C3679  push        eax  
    
48. 002C367A  push        2CDAC4h  
    
49. 002C367F  call        dword ptr ds:[2D045Ch]  
    
50. 002C3685  add         esp,8  
    
51. 002C3688  cmp         esi,esp  
    
52. 002C368A  call        __RTC_CheckEsp (02C1325h)  

复制代码

注:3E8h = 1000,32h = 50

由上面汇编代码可以看出.编译器把代码中的所有q都用3E8H代替了.也就是说 const定义的常量 在编译器生成阶段被替换成真实值了.所以无论你怎么修改const变量名所指的内存,其实都是没有用处的.因为在程序生成之后 所有的q 都被替换了.即使你在你的IDE编辑器中调试的时候看到q所指的是修改后的值50.

本文来自：http://shadowkong.com/archives/1845