copy対int std :: move for ints

Question

• この例のデフォルトコピーとstd :: moveの違いは何ですか？
• moveの後には、新しいオブジェクトと古いオブジェクトの間に依存関係がありますか？

int main() { 

    int a = 100; 
    std::cout<<&a<<std::endl; 

    auto a_copy = a;     // deduced as int 
    std::cout<<&a_copy<<std::endl; 

    auto a_move = std::move(a);  // deduced as int 
    std::cout<<&a_move<<std::endl; 

}; 

出力：

0x7fffffffe094 
0x7fffffffe098 
0x7fffffffe09c 

Answer 1

このの例では、違いはありません。私たちは3 intの値100で終わるでしょう。確かに異なるタイプとの違いかもしれません。たとえば、のは、vector<int>のようなものを考えてみましょう：

std::vector<int> a = {1, 2, 3, 4, 5}; // a has size 5 
auto a_copy = a;      // copy a. now we have two vectors of size 5 
auto a_move = std::move(a);   // *move* a into a_move 

最後の変数、a_moveは、aの内部ポインタの所有権を取得します。だから私たちは結局a_moveがサイズ5のベクトルですが、aは空になりました。 はcopyよりはるかに効率的です（1000文字列のベクトルであれば、a_copyは1000文字列のバッファを割り当て、1000文字列をコピーすることになりますが、a_moveは2つのポインタを割り当てます）。

他のいくつかのタイプでは、1が無効である可能性があります：多くの種類のために

std::unique_ptr<int> a{new int 42}; 
auto a_copy = a;   // error 
auto a_move = std::move(a); // OK, now a_move owns 42, but a points to nothing 

、何の違いは、しかしありません：

std::array<int, 100> a; 
auto a_copy = a;   // copy 100 ints 
auto a_move = std::move(a); // also copy 100 ints, no special move ctor 

より一般的には：

T a; 
auto a_copy = a;   // calls T(const T&), the copy constructor 
auto a_move = std::move(a); // calls T(T&&), the move constructor 

Answer 2

この例ではデフォルトのコピーとstd ::動きの違いは何ですか？

違いはありません。コピーするものは移動の要件を満たし、組み込み型の場合は移動をコピーとして実装します。

オブジェクトは新しいものと古い

間のいずれかの依存関係がありませんあり、移動した後、依存関係はありません。両方の変数は独立しています。

Answer 3

だけstd::moveを使用して左辺値をxvalueに変更するので、移動コンストラクタでの使用に適しています。 ssignment演算子。これらは組み込み型では存在しないため、この例ではmoveを使用しても違いはありません。

Answer 4

move-is-a-copyパラダイムは、この例のように、PODタイプ（またはPODタイプで構成された他のタイプで構成される）のすべてのデータ構造に適用されます。

Fooと Bar両方の場合

struct Foo 
{ 
    int values[100]; 
    bool flagA; 
    bool flagB; 
}; 

struct Bar 
{ 
    Foo foo1; 
    Foo foo2; 
}; 

int main() 
{ 
    Foo f; 
    Foo fCopy = std::move(f); 
    Bar b; 
    Bar bCopy = std::move(b); 
    return 0; 
} 

両方が最終的にPODタイプの凝集体であるため、別のデータを移動するための意味のある方法は存在しない - それらのデータのいずれも間接的（点または参照他のメモリを所有していません）。したがって、このような場合、移動はコピーとして実装され、std::move()行の割り当て後にオリジナル（f、b）は変更されません。

移動セマンティクスは、動的に割り当てられたメモリまたは固有のリソースでのみ意味のある形で実装できます。