C++返回引用作为左值问题--

Question

#include<iostream>
using namespace std;
int &get(int &a);
int main()
{
int c;
int b=10;
get(b)=8;//引用返回了它的自身值（即返回b自身的值）！作为左值：可以这样子相当于（b=8);但是我想知
//道在作为左值时，返回它自身并且重新赋值时，是不是系统自动产生了一个临时别名（不分配内存空间），并用这个别名给b重新赋值？
//如果不是这样子，那么get(b)=8怎么理解？
cout<<b<<endl;
return 0;
}
int &get(int &a){
return a;}

Answer 1

你看反汇编就知道了
编译器在处理引用返回的时候，它先把变量的地址赋给寄存器，对引用赋值的时候再由寄存器间接寻址
get(b)=8
基本上对应的汇编代码就是
lea eax,b//相当于int* p=&b;
mov dword ptr [eax],8 //相当于*p=8;

总而言之，引用也是指针，编译器对引用的处理和指针如出一辙，只是没有额外定义指针变量存放地址而已

追问

如果仅仅解释说它返回了它自身的值，那么在赋值时，总不能在等号两边写两个值吧？其他引用只是我掌握了，就是今天遇到这个有点不理解，我怀疑在作为左值运算时，系统是不是临时产生了一个我们不知道的返回值自身的别名，然后通过这个别名来赋值，调用完后别名的生命周期也结束。如果不知这样子，我不知道怎么理解它

追答

你别老是别名别名的，C++是一种高级语言，你写的任何东西都只是给编译器看的而已，说别名只是在某些情况下让你好理解而已

你只要记住，引用返回的东西就是那个东西的本体，而不是在临时空间产生的复制品，这就够了

Answer 2

由于get返回的是int的引用，即返回对象本身。系统不会产生临时变量，所有的操作实际上是在实参的内存上进行的。

追问

如果仅仅解释说它返回了它自身的值，那么在赋值时，总不能在等号两边写两个值吧？其他引用只是我掌握了，就是今天遇到这个有点不理解，我怀疑在作为左值运算时，系统是不是临时产生了一个我们不知道的返回值自身的别名，然后通过这个别名来赋值，调用完后别名的生命周期也结束。如果不知这样子，我不知道怎么理解它

追答

引用传递传送的实际是一个指针常量，系统不须临时产生其它变量，它跟使用指针完全是一样的。只不过是不可变的指针。