首页 > 代码库 > C++ 中有关const引用的一点小知识

C++ 中有关const引用的一点小知识

  在读《C++ Primer》时,发现之前对const的概念不是很清晰,只知道如何去使用,于是翻开const引用部分又阅读了一遍,发现有两点自己要注意的地方

 

  1、const限定的对象不可以初始化非const引用

ex.   

1 const int src = http://www.mamicode.com/512;2 const int &ok_dest = src;          //ok: 引用和初始化对象都是const3 int &err_dest = src;            //error : 引用为非const

  原因很简单, src 是不可以被修改的对象,ok_dest const 限定,就不能够利用它修改 src 的值,所以是合法的,而 err_dest 为非 const 限定,那么就是可以利用它修改 src,所以编译器认为这样的初始化方式是个错误。

 

  2、非const引用不可以绑定到不同的类型

ex. 

1 double src = http://www.mamicode.com/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章节,幸哉幸哉!

  所以说,当意识到自己愚蠢的时候,也是大悲与大喜交织的时刻。