“引用绑定到引用”理解探析

在学习《C++ Primer》容器相关章节的时候，看到这样一句话：“c.back() ：返回容器 c 的最后一个元素的引用。如果 c 为空，则该操作未定义”（429页），但是在这句话之前，有这样一段代码：

  list<int>::reference last2 = ilist.back(); 

这个问题可以深究一下：c.back()返回的是一个元素引用，而last2是一个list<int>类型的reference变量，翻阅前面的章节可知：reference 即“元素的左值类型，是 value_type& 的同义词”，显然，last2是引用类型，那问题来了，引用可以复制给引用吗？百度谷歌了一下，相关的讲解不多，于是上机测试了如下代码，可以辅助理解：

1     int i=12;

2     int &j=i;

3     int &k=j;

4 

5     cout<<i<<endl<<j<<endl<<k<<endl;

首先编译运行都正常，证明语法无误；

其次运行结果，i、j、k的结果都是12；

最后也是最关键的观察：在行号为1的位置设置断点，然后单步步过，观察三个变量的地址即&i &j &k，会发现，首先为i分配了内存，内存地址出现，同时j和k也有一个地址“0xcccccccc”（这个地址的了解参考http://hi.baidu.com/balloonwj/item/d4b64303e79c7836a3332a17），但一旦单步步过到第四行，j和k的地址都变为了i的地址，也就是说，现在i、j和k共享一段内存，引用绑定完毕，也就是说，可以将一个引用绑定到另一个引用，最终结果是i有了两个别名。