C++ const关键字（二）：const和引用

2018年1月6日21:46:29

评论 568字阅读1分53秒

一、概述

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

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

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

int a = 1;
const int &x = a * 2;
int &y = a * 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; //错误，不能引用常量。

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 &cv = dVal;

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

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

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

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

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

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

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

double dVal = 1.01;

const int tmpVal = dVal;

const int &nVal = tmpVal;

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