常量引用的初始化

一般来讲，引用的类型必须与其引用的对象的类型一致。但是对于常量引用是一种例外（还有一种例外是继承体系中基类对派生类的引用）。在初始化常量引用时允许用任意表达式作为初始值，只要该表达式的结果能转换成引用的类型即可。尤其，允许为一个常量引用绑定非常量的对象、字面值、甚至是一个一般表达式：

int i=23;
const int &r1=i;        //允许将const int& 绑定到一个普通的int对象
const int &r2=23;       //允许将const int&绑定到字面值常量
const int &r3=r1*2;     //允许将const int&绑定到表达式
int &r4=r1*2;           //错误，r4是一个非常量引用

当一个常量引用绑定到另一种类型上面时到底发生了什么：

double dval=3.14;
const int &ri=dval;    //这是被允许的。

编译器会把上面的代码变成下面的形式：

double dval=3.14;
const int temp=dval;    //生成一个临时的整型常量
const int &ri=temp;     //让ri绑定到这个临时量