const与引用

const的引用

可以把引用绑定到const对象上，称之为对常量的引用，简称 常量引用
下面是一段示例：

const int a = 15;
const int &r1 = a;  	//正确：引用及其对应的对象都是常量
r1 = 10; 				//错误，对常量的引用不能被用作修改它所绑定的对象
int &r2 = a;			//错误，试图让一个非常量引用指向一个常量对象

引用类型必须与所引用的对象一致，但有以下例外：
1.在初始化常量引用时允许使用任意表达式作为初始值，只要该表达式结果能转换成引用类型即可，尤其，允许为一个常量引用绑定非常量的对象、字面值，甚至是一个一般表达式：

int i = 42;
const int &r1 = i;			// 正确，绑定到非常量对象
const int &r2 = 42;			// 正确，绑定字面值
const int &r3 = r1 * 2;		// 正确，绑定一个一般表达式
int &r4 = r1 * 2;		// error，r4是一个非常量引用

为了知道这种例外的原因，我们得先搞清楚当一个常量引用被绑定到另一种类型上时会发生什么：

double dval = 3.14;
const int &ri = dval;

此处ri引用了一个int型整数，但dval是一个double型，为了确保ri绑定一个整数，编译器会创建一个临时量，

const int temp = dval;	// 由双精度浮点数生成一个临时的整形常量
const int &ri = temp;	// 让ri绑定这个临时量

当ri不是常量，是一个普通的引用时，就允许对ri赋值，即会改变ri所引用对象的值，但此时ri所绑定的对象是一个临时量并不是dval，既然想让ri（此时ri是一个普通的引用）引用dval，肯定是想通过ri改变dval的值，所以C++将这种行为归为非法