C++中引用不能再更改绑定的对象的理解

转自：https://blog.csdn.net/gao1440156051/article/details/51073433

C++Primer教材上说引用不能再改变绑定搞得对象，也就是引用再第二次赋值。

可是下面的程序能正常运行，不会出错。这里怎么出现了引用赋值语句呢（语句[1]）？是不是教材错了？原因究竟是什么呢？ 

请看如下程序：

1. #include<iostream.h>

2. void main()

3. {

4. int i=1,j=5;

5. int& k=i;

6. k=j; //语句[1]

7. cout<<"i="<<i<<"; j="<<j<<"; k="<<k<<endl;

8. }

首先想想程序运行结果应该是什么呢？

VC6.0上运行后的结果是： 
i=5; j=5; k=5

分析： 
程序没有错误，是正确的，但是并不能说明：引用能重新赋值。很明显，引用是不能重新赋值的，只是理解上错了！ 
引用的赋值：是指引用初始化时，它的引用对象只能是变量，并且，一旦它指定为某一个对象的引用后，就不能更改了。但是，可以用这个引用来改变它的对象的值，从而达到引用的目的——作为变量对象的别名。 
如上例，引用k初始化为i，即k从此以后一直是i的引用，若想让k不再是i的引用而成为别的变量的引用那是不可能的。所以，接下来的一句“k=j;”就不能理解成：取消k是i的引用而将k作为j的引用。正确的理解应该是：利用引用k来改变它所指对象i的值，即相当于语句“k=5;”。若在上示例语句“k=j;”后加上一句“j=10”，结果将是：“i=5; j=10; k=5”，从这个结果就能很好理解了。 
所谓的引用的重新赋值，应该是: 
int x,y,z; 
int &x=y; 
&x=z; 
这种是对引用x，改变了它的指定对象，一开始是y的引用，之后，又重新说明是z的引用，这种引用的重新赋值是不允许的。

另外： 
常引用所引用的对象的值是不能更改的，即上述示例中若将语句“int& k=i;”更改为“const int& k=I;”，则在编译时就会出现错误了。