c/c++ 拷貝控制 右值與const引用

拷貝控制 右值與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源代碼

c/c++ 學習互助QQ群：877684253

本人微信：xiaoshitou5854