一、概述

对const 的引用通常被称为常量引用 ，它和非常量引用的区别为：

• 非常量引用可以修改绑定对象的值，常量引用不能修改绑定对象的值。
• 非常量引用时绑定对象的类型必须严格匹配，常量引用只要绑定的对象可以转换成引用的类型即可，即它的绑定值可以是表达式等等。
• 非常量引用不能引用常量和常量引用对象，常量引用可以引用普通的常量和常量引用对象。
• 非常量引用不能引用字面量，常量引用可以引用字面量。

const int &a = 1;
int &b = 2; //错误，不能引用字面量。

int a = 1;
const int &x = a * 2;
int &y = a * 2; //错误，不能是算式，必须是左值。

const int a = 1;
const int &ca = a;
ca = 2; // 错误，不能修改绑定的对象的值。
int &cb = a; //错误，不能引用常量。

double dVal = 1.01;
const int &cv = dVal;
int &cv2 = dVal; //错误，引用类型必须严格匹配

二、常量引用绑定其他类型对象的原理

在非常量引用中，引用对象类型和它绑定对象的类型必须严格一致。

但是对于常量引用而言，以下代码是被允许的：

double dVal = 1.01;
const int &nVal = dVal;

这种情况下，编译器内部会生成一个临时的常量来拷贝dVal 的值，然后再被nVal 绑定。上述代码会变为：

double dVal = 1.01;
const int tmpVal = dVal;
const int &nVal = tmpVal;

这也就是为什么非常量引用的类型必须一致的原因：因为非常量引用需要改变绑定对象的值，而这里实际上改变的是临时变量的值，不会对dVal 生效。