用汇编的眼光看C++（之const属性）

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接： https://blog.csdn.net/feixiaoxing/article/details/6786622

【 声明：版权所有，欢迎转载，请勿用于商业用途。  联系信箱：feixiaoxing @163.com】

    const是C/C++语言中的关键字，但是如果用的好，可以极大地提高代码的健壮性。一般来说const使用的地方还是蛮多的，但是主要还是下面几个地方：（1）普通变量的保护；（2）地址空间的保护；（3）类初始变量的声明和保护；（4）类变量在函数中的保护。const的保护主要来自于编译器层面，和程序的运行没有关系。

    （1）普通变量的保护

 
 

   
   

    
    

   
   
   
   

    
    

     
     const 
     
     int data = 
     
     10;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     const 
     
     char str = 
     
     'a';
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     const 
     
     double pi = 
     
     3.14;
    
    
   
   
 
 

    上面的代码就是一组全局变量的定义，如果在函数中变量发生了修改，那么代码就会编译失败。

    （2）地址空间的保护

 
 

   
   

    
    

   
   
   
   

    
    

     
     void process()
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     {
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     int 
     
     value = 
     
     10;
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     const 
     
     int* address = &
     
     value;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     }
    
    
   
   
 
 

    和上面代码不一样的地方就是，这里如果address地址指向的数值发生了改变，那么那么代码就会编译失败？大家可以在函数结束前添加*address = 100；试试看？

    （3）类const成员变量的定义

 
 

   
   

    
    

   
   
   
   

    
    

     
     class desk
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     {
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     const 
     
     int price;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     public:
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     	desk():price(
     
     10){}
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     	~desk() {}
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     };
    
    
   
   
 
 

    const成员变量 就是在类变量定义的时候前面添加const关键字。和普通的成员变量不一样，const变量在构造函数中一定要初始化操作的。如果没有const关键字，那么在构造函数内部就无所谓是不是需要初始化了。

     （4）类const函数

 
 

   
   

    
    

   
   
   
   

    
    

     
     class desk
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     {
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     int price;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     public:
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     	desk() {}
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     	~desk() {}
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     void print() {
     
     return;}
    
    
   
   

   
   

    
    

   
   
   
   

    
    
	
     
     void print() const {
     
     return;}
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     };
    
    
   
   
 
 

    那么desk里面的print和print() const函数是不是一样的呢?大家可以看一下这个代码：

 
 

   
   

    
    

   
   
   
   

    
    

     
     53:       desk 
     
     m;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     0040122D   lea         ecx,[ebp-
     
     10h]
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401230   call        @ILT+
     
     75(desk::desk) (
     
     00401050)
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401235   mov         dword ptr [ebp-
     
     4],
     
     0
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     54:       m.
     
     print();
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     0040123C   lea         ecx,[ebp-
     
     10h]
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     0040123F   call        @ILT+
     
     70(desk::
     
     print) (
     
     0040104b)
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     55:       const desk n;
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401244   lea         ecx,[ebp-
     
     14h]
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401247   call        @ILT+
     
     75(desk::desk) (
     
     00401050)
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     0040124C   mov         byte ptr [ebp-
     
     4],
     
     1
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     56:       n.
     
     print();
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401250   lea         ecx,[ebp-
     
     14h]
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     00401253   call        @ILT+
     
     65(desk::
     
     print) (
     
     00401046)
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     57:   }
    
    
   
   
 
 

    上面是一段函数调用的代码。我们在53行和55行定义了desk类型的变量m和n。接着在54行和56行，我们分别利用两个变量调用print函数进行处理，我们发现两个调用的函数地址并不一样，其中一个是0x0040104b，另外一个是0x00401046，我们可以继续跟进去看一下：

 
 

   
   

    
    

   
   
   
   

    
    

     
     00401046   jmp         desk::
     
     print (
     
     00401310)
    
    
   
   

   
   

    
    

   
   
   
   

    
    

     
     0040104B   jmp         desk::
     
     print (
     
     004012e0)
    
    
   
   
 
 

    这里虽然是两个跳转函数，但是事实已经证明这里的两个函数确实是不一样的，这也证明了我们的判断是正确的。


【预告： 下一篇博客是关于模板类的内容】