对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
生效。
评论