C++中const限定符小结

落日映苍穹つ 2022-05-23 08:10 188阅读 0赞

### const限定符 ###

*  const限定符用于定义一个常量
 *  const对象在定义时必须被初始化
 *  默认情况下，const对象仅在文件内有效。如果在不同的文件下出现了同名的const变量，则视作在文件中单独定义的独立变量。如果想在不同的文件中使用同一个从上图变量，则需要在声明和定义前都添加extern关键字。  
    `//file1.cpp中定义一个const变量 extern const int A = 3; //file1.h中声明 extern const int A;`
 *  另外在C语言和C++中const含义是有区别的，在C++中const修饰的变量就是一个常量，即不能通过任何方式来改变它的值；而在C语言中，const修饰后的变量本质上仍然是一个变量，只是不能通过变量名来改变它的值，但是可以通过指针这样的方式来修改。

### const和引用 ###

*  可以吧引用绑定在const对象上，称为常量引用，不过要注意引用需用const修饰。  
    `const int ci = 10; const int &r1 = ci; //正确 r1 = 3; //错误，r1是对常量的引用，自然常量的值是不能被修改的 int r2 = ci; //错误，非常量引用是不能指向常量的`
 *  引用的类型必须和其所引用的对象类型一致，不过有两个例外  
    
    
     *  一个const引用可能指向非const的对象，常量引用仅对引用可参与的操作做了限定，而对引用的变量是否const没有限制。  
        `int i = 12; const int &ri = i; //正确 ri = 23; //错误，r2是一个常量引用，不能通过它来修改i的值`
     *  初始化**常量引用**时允许用任意表达式作为初始值，只要该表达式的结果能转换为引用的类型即可。  
        `int i = 2; const int &r1 = i * 2; //正确 const int &r2 = r1 + 3; //正确 const double &r3 = r1; //正确 const double &r4 = r3/3; //正确 int &r5 = i + 2 //错误`  
        这个初始化的过程是这样的：表达式首先被计算后，结果值被赋给了一个临时变量，然后将常量引用和该临时变量绑定。这也就解释了为什么不能将一个非const引用用表达式初始化，因为可以通过普通引用来修改变量的值  
        ，但是修改一个临时变量的值又有什么意义呢？所以这样的操作就被定为非法了。

### const和指针 ###

*  **指向常量的指针**  
    指向常量的指针表示不能通过该指针来改变所指向对象的值，不过和常量引用类似的,指向常量的指针也有如下两个特点：
    
    1.  指向常量的指针既可以指向const对象，也可以指向非const对象，const仅仅只是限制了指针的操作。
    2.  普通指针不能指向const对象。
    
    另外注意指向常量的指针**不是必须初始化**的，并且它所**指向的对象是可以改变**的。  
    `const int a = 23; int b = 12; const int *p; p = &a; p = &b; int *p2 = &a; //错误，普通指针不能指向const对象`
 *  **const指针**
    
     *  指针本身也可以被定义为常量，在声明中将\*放在const表示该指针是一个const指针。
     *  自然地，const指针作为一个常量也必须被初始化，并且之后它的值（所指向的地址）就不能被改变了。
     *  指针本身是常量并不意味这指针所指向的对象的值不能被改变，这完全取决于所指对象的类型。  
        `const int a = 1; int b = 2; int *const p1 = &b; //正确 p1 = &a; //错误，p的指向不能被改变了 *p1 = 3; //正确，p所指的是普通变量，它的值可以被修改 const int *const p2 = &a; //正确，这是一个指向常量的const指针 //它的指向不能被改变，并且而不能通过它来改变所指对象的值`