一、概述

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 生效。

最后修改:2018 年 12 月 16 日
喜欢就给我点赞吧