理解lvalue和rvalue

今天看C++模板的資料，裏面說到lvalue,rvalue的問題，這個問題之前也看到過，也查過相關資料，可是沒有考慮得很深，只知道rvalue不能取地址，不能賦值等等一些規則。今天則忽然有了更深層次的理解（也能夠說是頓悟，耗時不過幾秒鐘），記錄下來。

下面是我對這兩個單詞字面的意思的猜想：

• lvalue估計來源於left value。 在賦值語句中lvalue = rvalue；位置處於左邊。就是能夠修改的值。
• rvalue估計來源於right value。處於賦值語句右邊，是隻讀的不可修改的值。

接下來是我所悟到內容的詳細分析

• lvalue是能夠賦值的，說明它是一個變量，它在內存中必定存在，必定有地址。因此&lvalue是有效的，能取到在內存中的地址。

  訪問lvalue必定會致使CPU訪問存儲器（相對較慢的操做）。

  lvalue的例子：

  int a;
  a = 10; // a是lvalue。
  int* p = &a; // &a是rvalue。
  &a = 0; //錯誤，&a不是lvalue，由於a的地址一旦分配好了，就不能改變了。

• rvalue是不能夠賦值的，它不是一個變量，在內存中沒有存在，沒有地址。它要麼是存在於CPU的寄存器中，要麼是存在於指令中（當即數）。因此只要對rvalue取地址，那麼就必定是錯誤的（編譯器會抱怨的）。

  訪問rvalue不會致使CPU訪問存儲器（對當即數和寄存器的訪問很快）。

  rvalue的例子：

  int a;
  a = 10; // 10是rvalue，它沒有地址，&10就是錯誤的表達式。從彙編語言的角度來看，10是直接存在於MOV指令中的當即數。
  10 = a; // 錯誤，10是rvalue，不可賦值。
  //函數返回值屬於rvalue，由於返回值一般用CPU寄存器傳遞，沒有地址。
  int foo()
  {
      return 0;
  }
  int b = foo(); //沒問題，函數返回值是rvalue。
  int* p = &foo(); //錯誤，rvalue沒有地址。
  void bar(int& i)
  {
  }
  bar(foo()); //錯誤，bar函數參數須要的是lvalue。

• 函數的返回值是rvalue，對於返回int, char 等這樣最基本的類型，是經過CPU寄存器返回的，所以返回值沒有地址是能夠理解的。可是若是函數返回的是一個用戶自定義類型的對象，確定不可能經過寄存器來返回這個對象值的（寄存器大小數量都有限，對象的大小能夠很是大），那到底是怎樣返回對象的呢？

   

  class UDT
  {
    int data[100];
  public:
    UDT()
    {
      printf("construct/n");
    }
    BBB& operator = (BBB& )
    {
      printf("operator =/n");
      return *this;
    }
  };
  UDT foo()
  {
    return UDT();
  }
  void main()
  {
    UDT obj = foo();
  }
  //輸出：
  construct

   

  帶着疑問，我查了查vc編譯出來的代碼，原來obj這個局部變量的地址被壓入了堆棧，foo函數內部以堆棧上的obj地址做爲this指針調用了UDT的構造函數。噢，難怪執行UDT obj = foo();這個語句只有調用了一次構造函數，而沒有調用operator =，這都是由於函數返回值必須是rvalue這個規則所帶來的好處，若是返回值是一個lvalue，那麼這個語句必定會調用operator = 運算符。

 

文章來自：http://blog.csdn.net/rogerhe/article/details/6410993