なぜunique_ptrをコピーできますか？

Question

可能性の重複：
Returning unique_ptr from functions

20.7.1.2 [unique.ptr.single]定義は次のようにコンストラクタをコピーします。だから、

// disable copy from lvalue 
unique_ptr(const unique_ptr&) = delete; 
unique_ptr& operator=(const unique_ptr&) = delete; 

、なぜ次のコードコンパイルいい？

#include <memory> 
#include <iostream> 

std::unique_ptr<int> bar() 
{ 
    std::unique_ptr<int> p(new int(4)); 
    return p; 
} 

int main() 
{ 
    auto p = bar(); 

    std::cout<<*p<<std::endl; 
} 

私はこのようにそれをコンパイル：

g++ -O3 -Wall -Wextra -pedantic -std=c++0x kel.cpp 

コンパイラ：G ++バージョン4.6.1 20110908（Red Hatの4.6.1-9）

Answer 1

ローカル変数を返すと、式は右辺値として扱われるため、自動的にがに移動します。したがって、次のようになります

return std::move(p); 

それはunique_ptr(unique_ptr&&)コンストラクタを呼び出します。

主な機能では、bar()は、値である一時的な値を生成し、mainのpにも正しく移動されます。

Answer 2

私は左辺値からコピーがあることを考えます無効にしますが、 "bar（）"は右辺値なのでOKです。 rvaluesからコピーできることは間違いありません。

Answer 3

それはをコピーしないあり、それはがを動かしています。

returnステートメントがこれに相当します

return std::move(p); 

Pedantically言えば、それは意味的に等価でです。実際には、コンパイラはコードを最適化し、移動コンストラクタへの呼び出しを取り除くことができます。しかし、それはあなたが次のように書いた場合にのみ可能です：

return p; //It gives the compiler an opportunity to optimize this. 

これはお勧めです。 ないある

が

return std::move(p); //No (or less) opportunity to optimize this. 

推奨：あなたがこれを書く場合は、コンパイラは最適化する機会を持っていません。 :-)