std :: vectorまたは任意のオブジェクトの移動コンストラクタを呼び出すタイミングをC++コンパイラが決定する方法

Question

stdテンプレートライブラリの本を読んでいて、STLコンテナの章に記載されている以下の詳細と混同しています。 どうやら、それはSTDをspecfies :: VECTOR運用と効果

Operation      Effect 

vector<Elem> c(c2) | Copy constructor; creates a new vector as a copy of c2 (all elements are copied) 
vector<Elem> c = c2 | Copy constructor; creates a new vector as a copy of c2 (all elements are copied) 
vector<Elem> c(rv) | Move constructor; creates a new vector, taking the contents of the rvalue rv (since C++11) 
vector<Elem> c = rv | Move constructor; creates a new vector, taking the contents of the rvalue rv (since C++11) 

どうやら、excatly彼らは呼ばれている移動とコピーコンストラクタの両方の構文に違いは、ありませんか？コピーコンストラクタの

おかげ

Answer 1

構文： クラス名（のconstクラス名&）移動コンストラクタの

構文： クラス名（クラス名& &）

呼び出しが一緒に同じに見えますが、その宣言があります異なる。

参考：

std::vector<int> f(); 

関数によって返された値が右辺値です：

http://en.cppreference.com/w/cpp/language/copy_constructor http://en.cppreference.com/w/cpp/language/move_constructor

Answer 2

みましょうあなたは値によってベクトルを返す関数fを持っていると言います。

そして、あなたはあなたのベクトルを初期化するために、この関数を呼び出すしたいと言うことができます：fによって返されたベクトルは、もはや使用されることはありません

std::vector<int> v = f(); 

今コンパイラは知っているが、それは一時的なですオブジェクトであるため、一時オブジェクトは一度に破棄されるだけであるため、この一時オブジェクトをコピーするのは意味がありません。したがって、コンパイラは代わりに移動コンストラクタを呼び出すことにします。

Answer 3

どうやら、確かに、これは本当です、移動、コピーコンストラクタ

両方の構文に違いはありません。これはstd::vectorに固有のものではありませんが、一般的にすべてのタイプに適用されます。コピーと移動によるコピー初期化はまったく同じ構文です。コピー割り当てにも同じことが言えます。

違いは、引数式の型に由来します。引数が非const r値の場合、オーバーロード解決によって移動コンストラクタ/割り当てが優先されます。それ以外の場合は、move-constructorは適用されないため、コピーコンストラクタが使用されます。

私がc2

RVおよびc2はオブジェクトではないと思われるようにRVはちょうど構築されたオブジェクトであると仮定します。彼らは明らかに表現のプレースホルダーです。この本はそれについてはっきりしているかもしれません（おそらく、抜粋は文脈から外れているかもしれません）。

Answer 4

おそらく、理解を深めるために構文をセマンティクスから切り離す必要があります。このコードを考えてみましょう。

struct A { 
    A(int i) {} 
    A(const std::string& s) {} 
}; 

ここで、次の行が見つかると、どのコンストラクタが呼び出されますか？

A a(x); 

あなたはxは、int型またはSTD ::文字列を持っているかどうかわからないので、あなたはそれを伝えることはできません。あなたの例ではあまり変わっていませんが、移動セマンティクスでは、引数がrvalueかどうかをコンパイラが検査します。そのようなAクラスが（移動）コンストラクタのオーバーロードを提供し、xが値の参照である場合、それが望ましいでしょう。

Answer 5

それは理にかなっていると呼ばれているムーブコンストラクタは、元のオブジェクトが望ましくないれ、（おそらく）変更されているように、オブジェクトを移動させて意味をなさないその後それを使用して、すなわち、それを呼び出す：

std::vector<int> a = { 1 }; 
std::vector<int> b = a; //Let's say this called move constructor 
int value = a[0]; //value is possibly not 1, the value may have changed due to the move 

ので、その場合には、コピーコンストラクタが呼び出されます。それは右辺値、または一時的な値に割り当てられているため

std::vector<int> a = { 1, 2 }; 
std::vector<int> b = a; //Copy constructor 

しかし、ここでそれはは、移動のコンストラクタを呼び出すん：

void foo(std::vector<int>) {} 
foo({ 1, 2 }); //move constructor 

ベクトル{ 1, 2 }は一時的なベクターで、変更されている場合は気にしますか？ fooが終了したらすぐにベクターが破壊されるので、あなたは決して知りません。一時的なベクトルをコピーするだけでは時間が無駄になります。