拷貝控制 右值與const引用

背景：當一個函式的返回值是自定義型別時，呼叫側用什麼型別接收？？

1，如果自定義型別的拷貝建構函式的引數用const修飾了：可以用下面的方式接收。

Test t2 = fun(t1);

2，如果自定義型別的拷貝建構函式的引數沒有用const修飾了：必須用下面的方式接收

const Test& t2 = fun(t1);
Test t2 = fun(t1);//編譯不通過

編譯錯誤：

cannot bind non-const lvalue reference of type ‘Test&’ to an rvalue of type ‘Test’
 

解釋：

第一種條件下，用const了，由於在編譯階段，要呼叫Test的拷貝建構函式（其實，在執行的時候是沒有呼叫這個拷貝建構函式的，編譯器進行了優化，避免了一次沒有意義的拷貝。），引數是fun(t1)的返回值，類似Test(func(t1))，但是這個引數，也就是函式的返回值是右值(臨時物件)，由於右值必須是const屬性的，所以加上了const，就滿足了右值的需要，所以可以編譯通過，這時t2是可以被改變的；如果沒有加const，用第一種方式(Test t2 = fun(t1);)接收，就會編譯錯誤。

第二種條件下，沒有使用const，由於在編譯階段，要呼叫Test的拷貝建構函式，因為fun(t1)的返回值是右值，右值有const屬性，所以編譯器沒有找到匹配的拷貝建構函式，就自己合成了一個拷貝建構函式。由編譯器合成的這個拷貝建構函式就只能用上面寫的方式接收，至於為什麼，還沒搞不懂！！！

程式碼：

#include <iostream>
using namespace std;

class Test{
public:
  Test(int d = 0):data(d){
    cout << "C:" << d << " " << this << endl;
  }
  //如果引數沒有const修飾，下面②處程式碼編譯不過；
  Test( Test &t){
    cout << "Copy:" << t.data << " " << this << endl;
    data = t.data;
  }
  ~Test(){
    cout << "F:" << this->data << "->" << this << endl;
  }
  int getData()const{
    return data;
  }
  void setData(int d){
    data = d;
  }
private:
  int data;
};


Test fun(Test &x){
  int value = x.getData();
  Test tmp(value);
  return tmp;

}

int main(){
  Test t1(100); 
  //編譯器優化了，當把fun(t1)的返回值拷貝給t2時，應該呼叫拷貝建構函式，但是編譯器優化了，就沒有呼叫這次多餘的拷貝建構函式，直接把讓t2所佔用的記憶體就是右值(fun(t1))所開闢的記憶體.
  const Test& t2 = fun(t1);----->①
  //Test t3 = fun(t1); ----->②
  //t2.setData(11);
  //std::cout << t2.getData() << std::endl;

  //Test t2(fun(t1));

  return 0;
}
 

github原始碼