移動構造函數簽名

Question

從this參考，它允許const右值作爲移動構造函數

Type::Type(const Type&& other); 

可移動物體怎麼能const？即使這在技術上是允許的，是否有這種聲明會有用的情況？

Answer 1

可移動物體如何成爲const？

它不能，但那不是語言所說的。該語言表示具有該簽名的構造函數是一個「移動構造函數」，但這並不意味着該參數被移出，而只是意味着構造函數符合「移動構造函數」的要求。移動構造函數不需要移動任何東西，如果參數是const它不能。

有沒有這種情況下這種聲明是有用的？

是的，但不是很經常。如果要防止在const臨時變量作爲參數傳遞時通過重載解析來選擇另一個構造函數，這會很有用。

struct Type 
{ 
    template<typename T> 
    Type(T&&); // accepts anything 

    Type(const Type&) = default;  
    Type(Type&&) = default; 
}; 

typedef const Type CType; 

CType func(); 

Type t(func()); // calls Type(T&&) 

在此代碼func()臨時返回將不完全匹配的複製或移動建設者的參數，所以會調用接受任何類型的模板構造。爲了防止這種情況，你可以提供不同的過載取一個const右值，並委託授權的拷貝構造函數：

Type(const Type&& t) : Type(t) { } 

或者，如果你想防止代碼編譯，將其定義爲刪除：

Type(const Type&& t) = delete; 

有關使用const rvalue引用的標準示例，請參閱https://stackoverflow.com/a/4940642/981959。

Answer 2

有關此功能意圖的一些背景知識。

Rvalue references - From Bjarne Stroustrup's Blog

A Proposal to Add Move Semantics Support to the C++ Language

一個有趣的問題。我在某處讀過Stroustrup對這個問題的解釋，但似乎找不到它。希望以上幫助取而代之。