const限定符

const限定符

1. const对象必须初始化

   • 1.如果利用一个对象去初始化另一个对象，则它们是不是const都无关紧要

     • int i=42;
       const int ci = i;      // 正确：i的值被拷贝给了ci；
       int j = ci;			  // 正确：ci的值被拷贝给了j；
       // 尽管ci是整形常量，但无论如何ci中的值还是一个整型数。ci的常量特征仅仅在执行改变ci的操作时才会发挥作用。拷贝一个对象的值并不会改变它，一旦拷贝完成，新的对象和原来的对象就没有什么关系了。
       // 在编译时完成对const对象的初始化
       
       // 当要求在多个文件中共同只用一个常量对象时，须在常量的声明和定义时都添加extern关键字，这样只需定义一次就可以了
       	// file_1.cc 定义并初始化了一个常量，该常量能被其他文件访问
       	extern const int bufSize = fcn();
       	// file_1.h 头文件
       	extern const int bufSize;	// 与file_1.cc中定义的bufSize是同一个
       

2. const的引用

   • 1.对常量的引用不允许修改它所绑定的对象

     • const int ci = 1024;
       const int& r1 = ci; // 正确：引用及其对应的对象都是常量
       r1 = 42;            // 错误：r1是对常量的引用，不能修改
       int &r2 = c1;       // 错误：试图让一个非常亮引用指向一个常量对象
       

   • 2.初始化常量引用时允许用任意表达式作为初始值，允许为一个常量引用绑定非常量的对象、字面值，甚至是一个表达式

     • int i = 42;
       const int &r1 = i;		// 正确：允许将const int&绑定到一个普通int对象上
       // 事实上，编译器执行的是：const int tmp = i; const int &r1 = tmp; 绑定的是临时对象
       const int &r2 = 42;		// 正确
       const int &r3 = r1 * 2; // 正确：r3是一个常量引用
       int &r4 = r1 * 2;       // 错误：r4只是普通引用
       

3. 指针和const

   • 1.指向常量的指针不允许改变其所指对象的值，想要存放常量对象的地址，只能使用指向常量的指针：

     • const double pi = 3.14;
       double *ptr = π		  // 错误：ptr只是一个普通指针
       const double *cptr = π // 正确：cptr是个 指针常量 ，指针指向的值是一个常量；
       *cptr = 42;				// 错误：不能给指针常量(指针指向的常量)更改值
       
       double dval = 3.14;
       cptr = &dval;			// 正确：允许一个指针常量地指针指向一个非常量对象(允许指针常量的指针更改地址)。
       

   • 2.指针常量和常量指针

     • 指针常量：指针里的地址指向的值是个常量，不能更改指针指向的数的值，但能更改指针里存放的地址
     • 常量指针：指针里的地址是个常量，不能更改指针里存放的地址，但能更改指针里地址在内存中的值(指针指向的数)