在读《C++ Primer》时,发现之前对const的概念不是很清晰,只知道如何去使用,于是翻开const引用部分又阅读了一遍,发现有两点自己要注意的地方
1、const限定的对象不可以初始化非const引用
ex.
1 const int src = 512; 2 const int &ok_dest = src; //ok: 引用和初始化对象都是const 3 int &err_dest = src; //error : 引用为非const
原因很简单, src 是不可以被修改的对象,ok_dest 被 const 限定,就不能够利用它修改 src 的值,所以是合法的,而 err_dest 为非 const 限定,那么就是可以利用它修改 src,所以编译器认为这样的初始化方式是个错误。
2、非const引用不可以绑定到不同的类型
ex.
1 double src = 128; 2 int &err_dest = src; //error
这样第二行的代码就是错误的,为什么呢?《C++ Primer》中提到这里牵扯一个很微妙的原因,就是编译器的问题。
编译器在遇到不同类型的引用初始化的问题时,会建立一个中间变量,这个变量与即将被初始化的引用类型相同,所以原有的代码会被编译器翻译成它所认为的情况,那么我们看下编译器翻译而成的代码:
ex.
1 int temp = src; 2 int &err_dest = temp; //error
可以看到,原代码中 err_dest 是希望绑定到 src 上的,但是由于它俩的类型不同,编译器会就作出了如上的小事情来完成自己的任务。
那么后果是什么呢?
很明显的可以看到,err_dest 被绑定到了temp 上,那么对 err_dest 进行赋值操作,temp 值会变化,而 src 的值不会变化,因为src只是将自身的值复制给temp,并没有被 err_dest 绑定,那么自然 err_dest 就没能够成为它的引用, 所以这样的声明和定义是不对的,虽然编译器会通过,但是一旦采取这种方式,那么后果会不太好。
为了避免这种现象,可以将 err_dest 用const限定,那么 err_dest 就无法被修改,这样虽然 err_dest 是绑定到 temp 的,但是也不用担心 src 值不会被连坐的情况,因为 err_dest 现在是只读的了。
以前对于这种问题不了解,今天得幸扫过const章节,幸哉幸哉!
所以说,当意识到自己愚蠢的时候,也是大悲与大喜交织的时刻。
C++ 中有关const引用的一点小知识,布布扣,bubuko.com