2.4.1const的引用

2.4.1const的引用

把引用绑定到const对象上，就像绑定到其他对象上一样，我们称之为对常量的引用。与普通引用不同的是，对常量的引用不能被用作修改她所绑定的值。

const int ci=1024;
const int &r1=ci;//正确：引用及其对应的对象都是常量
r1=42;//错误：r1是对常量引用，const限制修改r1的值；另一方面r1=42等价于ci=42,但ci由const限定，不可更改值
int &r2=ci;//错误：试图让一个非常量引用指向一个常量对象。
//比较上一语句，没有const限定r2后，则允许r2=x(某一值），但r2绑定的对象是const不允许这样操作，所以两者产生矛盾，系统报错

初始化和对const的引用
在2.3.1节中提到，引用的类型必须和绑定的对象类型严格匹配。且引用只能绑定到对象上，而不能与字面值或某个表达式的计算结果绑定在一起。这里将介绍第一种例外情况
在初始化常量引用时允许用任意表达式作为初始值，只要该表达式的结果能转换成引用的类型即可。尤其，允许为一个常量引用绑定非常量的对象、字面值、甚至是一个表达式：

int i=42;
const int &r1=i;//允许将const int&绑定到一个普通int对象上
const int &r2=42;//正确：r2是一个常量引用
int &ri=42;//错误
const int&r3=r1*2;//正确：允许为一个常量引用绑定到非常量表达式中

要想能清楚例外情况，最简单的办法是能清楚当一个常量引用被绑定到另外一种类型上时到底发生了什么：
double dval=3.14; const int &ri=dval;
此处ri引用了一个int型的数。对ri的操作应该是是整数运算，但dval却是一个双精度浮点数而非整数。因此为了确保让ri绑定一个整数，编译器把上述代码变成了如下形式：

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

探讨当ri不是常量时（前面不加const）,就允许对ri赋值，这样就会改变ri所引用对象的值。但此时绑定的对象是临时量，而非dval。程序员既然让ri引用dval，肯定是想通过ri改变dval的数值啊，否则不多此一举？?因此，在C++中把这种行为归为非法！

const int &r2=42;//正确：r2是一个常量引用

现在是不就可以解释，为什么常量引用初始化可使用字面值常量了，因为编译器会自动创建一个临时变量。
还是有点蒙？这里需要多琢磨下

需要说明的是，常量引用仅对引用可参与的操作做出了限定，对于引用的对象本身是不是一个常量未作限定。

int i=42;
int &r1=i;
const int &r2=i;
r1=0;//r1并非常量，i的值修改为0
r2=0;//错误，r2是一个常量引用，限定了不能通过引用修改  不是常量的i的值