一般来说引用的类型必须与其所引用对象的类型一致,但是有两个例外。
其一:在初始化常量引用时允许用任意表达式作为初始值,只要改表达式的结果能转换成引用的类型即可。尤其,允许为一个常量引用绑定非常量的对象,字面值。
int i = 42;
const int &r1 = i;
const int &r2 = 42;
const int &r3 = r1*2;
int &r4 = r1 * 2;#错误因为r4不是常量引用
常量引用绑定到另外一个类型时发生了什么:
double dval = 3.14;
const int &ri = dval;
#其实际赋值如下:
const int temp = dval;
const int &ri = temp;
类型不同时,会创建一个临时变量。引用就会绑定到临时变量上。
如果当引用不是常量的时候,通过引用我们希望能够改变控制绑定量,但是由于类型不一致,导致绑定到临时量,改变引用也不会改变希望的对象,所以这种情况应该是非法的。由于const限定下的引用不能改变绑定对象,不存在上述问题,所以运行这种情况下的类型转换。
即常量引用仅对引用可参与的操作做出限定,对于引用的对象本身是不是常量并未限定。
对于指向常量的指针类似。