从汇编code看C++的引用

 

今日在论坛上看到如下关于引用的code。我一直以为我对于引用很了解，直到膝盖中了一箭。

int  val() 

{ 

     int i = 1; 

     return i; 

}

 

int&  ref() 

{ 

     int i = 1; 

     return i; 

} 

 

int main()   

{

     int  vv = val(); 

     const int& rv = val(); 

     int  vr = ref(); 

     int& rr = ref();  

}

函数的汇编代码如下

  

Val函数返回变量i，直接把i放入eax。

Ref函数返回变量i的引用，把i的地址放入eax。

区别和问题：

      int   vv = val(); // int <= int;  值传递

 
      const int & rv = val(); // const int& <= int; 返回临时变量，作用域为语句作用域。这样的临时变量，只能隐式转化为常引用(const int&)，不能为引用类型(int&)赋值。

      查看对应的汇编code，先把eax（返回值）存入栈上指定的地址上[ebp-20h]，然后把[ebp-20]的地址存入eax，变量rv的值就是[ebp-20h]的地址。

      int   vr = ref(); // int <= int&;   ref()返回退栈后的变量，有可能造成数据丢失。

      查看对应的汇编code，把eax中地址指向的内容赋值给eax，然后eax赋值给vr。

      int & rr = ref(); // int& <= int&;  rr引用退栈后的变量，很容易造成访问冲突。

 

很多事情还是得看汇编code。。。。