对 const 的引用通常被称为常量引用，它和非常量引用的区别为：
非常量引用可以修改绑定对象的值，常量引用不能修改绑定对象的值。非常量引用时绑定对象的类型必须严格匹配，常量引用只要绑定的对象可以转换成引用的类型即可，即它的绑定值可以是表达式等等。非常量引用不能引用常量和常量引用对象，常量引用可以引用普通的常量和常量引用对象。非常量引用不能引用字面量，常量引用可以引用字面量。
|
1 2 |
const int &a = 1; int &b = 2; //错误，不能引用字面量。 |
|
1 2 3 |
int a = 1; const int &x = a * 2; int &y = a * 2; //错误，不能是算式，必须是左值。 |
|
1 2 3 4 |
const int a = 1; const int &ca = a; ca = 2; // 错误，不能修改绑定的对象的值。 int &cb = a; //错误，不能引用常量。 |
|
1 2 3 |
double dVal = 1.01; const int &cv = dVal; int &cv2 = dVal; //错误，引用类型必须严格匹配 |
二、常量引用绑定其他类型对象的原理
在非常量引用中，引用对象类型和它绑定对象的类型必须严格一致。
但是对于常量引用而言，以下代码是被允许的：
|
1 2 |
double dVal = 1.01; const int &nVal = dVal; |
这种情况下，编译器内部会生成一个临时的常量来拷贝 dVal 的值，然后再被 nVal 绑定。上述代码会变为：
|
1 2 3 |
double dVal = 1.01; const int tmpVal = dVal; const int &nVal = tmpVal; |
这也就是为什么非常量引用的类型必须一致的原因：因为非常量引用需要改变绑定对象的值，而这里实际上改变的是临时变量的值，不会对 dVal 生效。
评论