[C++知识库]C++ 常量引用用法

常量引用”其实是“对 const 的引用”的简称。因此不可以通过该引用来修改它所指向的对象的值。

1）指向常量对象时，一定要使用“常量引用”，而不能是一般的引用。

const int ci = 1024;
const int &r1 = ci;         // 正确：引用及其对应的对象都是常量
int &r2 = ci;               // 错误：试图让一个非常量引用指向一个常量对象

（2）“常量引用”可以指向一个非常量对象，但不允许用过该引用修改非常量对象的值。

“常量引用”仅对引用可参与的操作做出了限定，对于引用的对象本身是不是一个常量未作限定。因为对象也可能是个非常量，所以允许通过其他途径改变它的值：

int i = 42;
int &r1 = i;                // 普通引用指向非常量对象 i
const int &r2 = i;          // 常量引用也绑定非常量对象 i
r1 = 0;                     // 正确，r1并非常量引用
r2 = 0;                     // 错误：r2是一个常量引用

（3）引用的类型必须和所引用的类型严格匹配，且不能与字面值或者某个表达式的计算结果绑定在一起，但是 “常量引用” 是例外（只要被引用的类型能够转换为常量引用的类型）。

int i = 42;
const int &r1 = i;          // 正确：指向非常量对象
const int &r2 = 42;         // 正确：r2 是一个常量引用
const int &r3 = r1 * 2;     // 正确：r3 是一个常量引用
int &r4 = r1 * 2;           // 错误：r4 是一个普通的非常量引用

下面的操作也是允许的：?

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

此处 const int &r1 = dval 编译器实际上相当于执行了下列语句：引用和原 dval 已经不是同一个地址了:?

const int temp = dval; ? ? ?// 生成一个临时的整型常量
const int &r1 = temp; ? ? ? // 让 r1 绑定这个临时量

?所以

	int i = 40;
	int &r1 = i;
	const int &r3 = i * 2;
	std::cout << "r3 = " << r3 << std::endl;
	r1 = 30;
	std::cout << "r3 = " << r3 << "    i = " << i << std::endl;//测试r3是否改变.

r3 = 80
r3 = 80 ? ?i = 30?

在这些情况下，“常量引用”实际上是绑定了一个临时量（temporary）对象。也就是说，允许“常量引用”指向一个临时量对象。
（4）在函数参数中，使用常量引用非常重要。因为函数有可能接受临时对象，而且同时需要禁止对所引用对象的一切修改。