值返回值時是否隱式移動值參數？

Question

考慮以下功能：

Foo foo(Foo x) 
{ 
    return x; 
} 

將return x調用拷貝構造函數或轉移構造函數？ （讓我們離開NRVO一邊在這裏。）

探討，我寫了一個簡單Foo類，它是唯一可移動的，但不可拷貝：

struct Foo 
{ 
    Foo() = default; 
    Foo(const Foo&) = delete; 
    Foo(Foo&&) = default; 
}; 

如果值返回值參數，當移動的構造被調用，所有應該沒事。但目前的G ++編譯器抱怨return x與以下錯誤消息：

error: deleted function 'Foo::Foo(const Foo&)' 

如果我更換return x與return std::move(x)，一切都很好。由此我得出結論，如果需要，必須明確地完成從值參數的移動。 g ++的行爲是否符合？

Answer 1

如果Foo有一個移動ctor，它應該被選中。

在與類返回類型的函數返回語句
• ，當表達式爲：

  函數參數明確地從在return語句複製省略（FDIS§12.9p31，第一子彈）排除非易失性自動對象（不是函數或catch子句參數其他）

然而的名稱，下一段落明確地帶來移動構建函數回到考慮：

當的複製操作的省音滿足準則或將一個事實，即源對象是一個函數參數，和要複製的對象被滿足節省被指定通過一個左值，重載分辨率爲副本選擇構造函數首先執行，就好像該對象由右值指定一樣。 ...

（重點在兩個引號我的。）

Answer 2

這是對的有效代碼 - G ++的行爲是不符合的。 MSVC10確實支持這種行爲。