c++:常量引用

一般来说引用的类型必须与其所引用对象的类型一致，但是有两个例外。

其一：在初始化常量引用时允许用任意表达式作为初始值，只要改表达式的结果能转换成引用的类型即可。尤其，允许为一个常量引用绑定非常量的对象，字面值。

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限定下的引用不能改变绑定对象，不存在上述问题，所以运行这种情况下的类型转换。

即常量引用仅对引用可参与的操作做出限定，对于引用的对象本身是不是常量并未限定。

对于指向常量的指针类似。