一般来说,引用的类型必须与其所引用的对象类型保持一致;但是,在初始化常量引用(对const的引用)的时候,允许用任意表达式做为初始值,只要这个表达式的结果能转换成引用的类型即可。尤其,允许一个常量引用(对const的引用)绑定到非常量的表达式、字面值和对象中。
int var = 0;
const int &ref1 = var; //正确,常量引用绑定到非常量对象
const int &ref2 = var*2;//正确,常量引用绑定到表达式
const int &ref3 = 0; //正确,常量引用绑定字面值
int &ref4 = 0; //错误,ref4是一个非常量引用
理解一下:
double dvar = 3.14;
const int &ref = dvar; //正确,dvar能转换成int
在执行上一个初始化时,编译器先做了改变,将上段代码改成:
double dvar = 3.14;
const int var = dvar; //产生一个临时变量
const int &ref = var; //绑定到临时变量