但是我们却可以引用一个const的对象(变量),我们称之为对常量的引用,与普通的引用不同的时,对常量的引用不能被用作修改它所绑定的对象。
1 const int ci = 1024; 2 const int &r1 = ci; 3 r1 = 42; // Error:r1是对常量的引用 4 int & r2 = ci; //Error:不能将一个非常量引用指向一个常量的对象
我们知道,引用的类型必须与其所引用对象的类型一致,如下面的代码:
double dval = 3.14; int& ri = dval; // Error:无法用double类型的值初始化int&类型的引用(非常量限定)
上述代码为何不行?
此处ri引用了一个int型的整数。对于ri的操作数应该是整数运算,但是dval却是一个双精度的浮点数而非整数。因此为了确保让ri绑定一个整数,编译器把上述代码变成了如下形式:
double dval = 3.14; int temp = dval; int& ri = temp;
其中temp是一个临时变量,而ri绑定了一个临时量,所以当ri改变时,并没有改变davl的值,所以这种引用是无效的。
也许你注意到了,当我们把double变量绑定在一个int&类型上时,编译器提示后有个括号:非常量限定。这说明如果是一个常量的引用,则有可能是通过的,显然下面的代码就没有任何问题:
double dval = 3.14; const int& ri = dval;
因为在这里,ri是一个常量引用,我们并不想通过ri改变dval的值,只要能读到dval对应的int型的值就行。
五、const与指针
我们知道,指针与引用不同,指针本身是一个对象,所以存在常量指针,这种指针在定义并初始化后,便不能再指向其他变量。用来修饰这种常量指针的const,我们称之为"顶层const"。
与顶层指针对应的是底层指针,这种指针指向一个const修改的对象,这一点上就有点像是常量的引用。
对于指向常量的指针或引用,都有以下规则:
1)可以将一个非const对象的地址赋给一个指向const对象的指针
2)可以将一个非const对象的地址赋给一个指向非const对象的指针
3)可以将一个const对象的地址赋给一个指向const对象的指针
4)不可以将一个const对象的地址赋给一个指向非const对象的指针。
除特别注明外,本站所有文章均为 赢咖4注册 原创,转载请注明出处来自C++的那些事:const用法面面观