C++ Prime:const的引用
可以把引用绑定到const对象上,就像绑定到其他对象上一样,我们称之为对常量的引用。与普通引用不同的是,对常量的引用不能被用作修改它所绑定的对象:
const int ci = 1024; const int &r1 = ci; // 正确,引用及其对应的对象都是常量 r1 = 42; // 错误,r1是对常量的引用 int &r2 = ci; // 错误,试图让一个非常量引用指向一个常量对象
常量引用就是对const的引用,引用的对象是常量还是非常量可以决定其所能参与的操作,却无论如何都不会影响到引用和对象的绑定关系本身。
初始化常量引用是允许用任意表达式作为初始值,只要该表达式的结果能转换成引用的类型即可。尤其,允许为一个常量引用绑定非常量的对象、字面值,甚至是一个表达式。
int i = 42; const int &r1 = i; // 允许将const int&绑定到一个普通int对象上 const int &r2 = 42; // 正确,r2是一个常量引用 const int &r3 = r1 * 2; // 正确,r3是一个常量引用 int &r4 = r1 * 2; // 错误,r4是一个普通的非常量引用
对const的引用可能引用一个并非const的对象:
常量引用仅对引用可参与的操作做出了限定,对于引用的对象本身是不是一个常量未作限定。因为对象可能是个非常量,允许通过其他途径改变它的值:
int i = 42; int &r1 = i; // 引用r1绑定对象i const int &r2 = i; // r2也绑定对象i,但是不允许通过r2修改i的值 r1 = 0; // r1并非常量,i的值修改为0 r2 = 0; // 错误,r2是一个常量引用