命名右參考

Question

請原諒我對此主題的不清晰。我正在嘗試創建將大類插入向量的函數。在這個例子中，我使用ints作爲大類。

#include <vector> 
#include <iostream> 
using namespace std; 

vector<vector<int>> vectorOfVectors; 

void fn(const vector<int> &v) { 
    vectorOfVectors.push_back(v); 

} 
void fn(vector<int> &&v) { 
    vectorOfVectors.push_back(std::move(v)); 
} 

int main() { 
    vector<int> a({1}); 
    const vector<int> b({2}); 
    fn(std::move(a)); 
    fn(b); 
    cout<<b[0]; 
} 

顯然，我希望在可能的情況下不要複製。我的問題：

1. 此代碼是否正確？
2. 有沒有更好的方法來做到這一點？
3. 對於使用自定義類的相同方法，是否需要定義移動構造函數？

Answer 1

此代碼是否正確？

是。出於這個原因，C++ 11增加了std::vector::push_back(T&&)。

有沒有更好的方法來做到這一點？

你fn(const vector<int> &v)和fn(vector<int> &&v)都做同樣的事情，推說法v到的vectorOfVectors結束。代替您的兩個fn函數，您可以使用一個使用完美轉發的函數模板。

template<typename T> 
void fn(T &&v) { 
    vectorOfVectors.push_back(std::forward<T>(v)); 
} 

該如何工作是得益於C++ 11 reference collapsing rules和std::forward。在v是左值的情況下，模板類型T變爲vector<int>&，但在v是右值的情況下，vector<int>&&。參考摺疊規則意味着vector<int>& &&變爲vector<int>&，而vector<int>&& &&變成vector<int>&&。這正是你想要的，調用版本push_back在左值的情況下做了副本，但是在右值情況下做了移動的版本。

一個缺點是，這有時會導致有趣的診斷，當你弄錯了。 （這裏的「有趣的」意味着來自g ++或clang ++的數百行不可思議的診斷文本）。另一個缺點是模板可能導致「轉換器瘋狂」的情況。

對於使用自定義類的相同方法，是否需要定義移動構造函數？

不一定。如果類未聲明用戶定義的析構函數，複製構造函數，複製賦值運算符或移動賦值運算符，則會得到隱式聲明的移動構造函數。如果類具有不可移動的數據成員或從不能移動或刪除的類派生，則隱式聲明的移動構造函數將被定義爲刪除。

對我來說，這有點太難記。我不知道這是一種好的做法還是壞的做法，但我已經開始使用Foo(const Foo&)=default，對於五個函數的其他規則也有類似的聲明。在很多情況下，我還會將構造函數限定爲explicit以避免「轉換器瘋狂」問題。

Answer 2

1. 它確實避免了複製a。

2. 是的。使用push_back意味着您不得不構建至少兩個對象，而emplace_back和完美轉發可以減少工作量。

   template<typename... Ts> 
   auto fn(Ts &&...ts) 
       -> decltype(vectorOfVectors.emplace_back(std::forward<Ts>(ts)...), void()) 
   { 
       vectorOfVectors.emplace_back(std::forward<Ts>(ts)...); 
   } 
   

   http://melpon.org/wandbox/permlink/sT65g3sDxHI0ZZhZ

3.只要你使用push_back，你需要的類，以避免拷貝被移動構造的。如果可以獲取默認定義，則不一定需要自己定義移動構造函數。