某種類型是否應該是僅移動的，僅僅是因爲複製可能很昂貴？

Question

我有一個可複製的類型，但複製可能會很昂貴。我已經實現了移動構造函數和移動賦值。但是我有性能問題，人們忘記了在傳值時調用move（）。

刪除複製構造函數是否很好的C++ 11風格，並且在實際需要副本的情況下提供顯式的copy（）方法？這在其他語言（Ruby，JavaScript）中是慣用的，但我不知道C++標準庫中的任何內容都禁止純粹爲了性能而複製。例如，std :: vector <>是可複製的，而std :: unique_ptr <>和std :: thread由於其他原因是不可複製的。

Answer 1

一個類型是否應該移動，僅僅是因爲複製可能很昂貴？

否。如果語義你的類型的是這樣的，複製它在概念上有意義，然後使複製提供正確的做法是實現一個拷貝構造函數，並給用戶採用標準語法調用它一個機會：

T a; 
T a = b; 

如果人們會忘記從對象移動，他們不想再使用......嗯，這是他們的壞：

T c = std::move(a); // I'm doing it right (if I no longer need object a); 
T d = b; // If I don't need b anymore, I'm doing it wrong. 

如果（出於任何原因）爲你的一些功能它始終是希望調用者提供一個可以移動的對象，然後讓該函數接受一個右值參考：

void foo(my_class&& obj); 

my_class a; 
foo(a); // ERROR! 
foo(std::move(a)); // OK 

Answer 2

不。如果類型是可複製的，那麼類型是可複製的。這意味着它的拷貝構造函數可用，並且工作。這並不意味着有一些成員函數的名字看起來像是字符串c,o,p和y，它的確「排序幾乎類似的東西」。

Answer 3

如果副本足夠昂貴，我會將該類視爲在簽名中不可複製。在語義上，事物只有在你想要它們的時候纔是可複製的，而昂貴的拷貝是決定「不可複製」的合理理由。

某些東西被複制的能力並不意味着它需要在可複製的類型中實現。該類型的實現者可以決定它是否應該在語義上可複製。

我不會稱這種操作產生昂貴的副本「副本」，而是「克隆」或「重複」。

一種方式，你可以這樣做：

#include <utility> 

template<typename T> 
struct DoCopy { 
    T const& t; 
    DoCopy(T const& t_):t(t_) {} 
}; 
template<typename T> 
DoCopy<T> do_copy(T const& t) { 
    return t; 
} 
struct Foo { 
    struct ExpensiveToCopy { 
    int _[100000000]; 
    }; 
    ExpensiveToCopy* data; 
    Foo():data(new ExpensiveToCopy()) {} 
    ~Foo(){ delete data; } 
    Foo(Foo&& o):data(o.data) { o.data = nullptr; } 
    Foo& operator=(Foo&& o) { data=o.data; o.data=nullptr; return *this; } 
    Foo& operator=(DoCopy<Foo> o) { 
    delete data; 
    if (o.t.data) { 
     data=new ExpensiveToCopy(*o.t.data); 
    } else { 
     data=new ExpensiveToCopy(); 
    } 
    return *this; 
    } 
    Foo(DoCopy<Foo> cp):data(cp.t.data?new ExpensiveToCopy(*cp.t.data):new ExpensiveToCopy()) {}; 
}; 
int main() { 
    Foo one; 
    // Foo two = one; // illegal 
    Foo three = std::move(one); // legal 
    Foo four; 
    Foo five = do_copy(three); 
    four = std::move(three); 
    five = do_copy(four); 
} 

這有點類似於你可以寫std::move像前右值引用的存在語義的方式，用類似的缺點，以這樣的技術，即該語言本身不知道你在做什麼樣的詭計。

它具有的優點是，上述do_copy的語法是類似於std::move語法，以及它允許​​使用傳統的表達式，而無需創建的Foo瑣碎實例然後構造的另一個變量等的副本

如果我們想把它當作可複製的情況是常見的（如果要避免），我會在知道duplicate方法的類上寫一個複製包裝。