なぜemplace_backが関係するのですか？

Question

#include <iostream> 
#include <vector> 

struct T{ 
    T(){ 
     std::cout << "Constructor\n"; 
    } 
    ~T(){ 
     std::cout << "Destructor\n"; 
    } 
}; 

int main() { 
    std::vector<T> vec; 
    vec.push_back(T()); 
    vec.push_back(T()); 

    return 0; 
} 

出力は次のようになります。

(1)Constructor 
(2)Destructor 
(3)Constructor 
(4)Destructor 
(5)Destructor 
(6)Destructor 
(7)Destructor 

そんなにdesructorsコールがあるのはなぜ？私が見ること：

（1）consruct一時オブジェクトTEMP1

（2）消滅TEMP1

（3）consruct一時オブジェクトTEMP2

（4）消滅TEMP2

それをコピーコンストラクタを呼ばれるか、（5）と（6）明確であり、TEMP1ので、一時2のコンストラクタを動かしました。しかし、（7）についてはどうですか？

Answer 1

のは、あなたの構造ビットを拡張してみましょう：push_back方法に

struct T { 
    T() { 
     std::cout << "Constructor\n"; 
    } 

    T(const T&) { 
     std::cout << "Copy Constructor\n"; 
    } 

    T(T&&) { 
     std::cout << "Move Constructor\n"; 
    } 

    ~T() { 
     std::cout << "Destructor\n"; 
    } 
}; 

、別のコール：

vec.push_back(T()); // 1 
std::cout << "--- --- ---\n"; 

vec.push_back(T()); // 2 
std::cout << "--- --- ---\n"; 

今、出力がより完全になります。

Constructor 
Move Constructor 
Destructor 
--- --- --- 
Constructor 
Move Constructor 
Copy Constructor 
Destructor 
Destructor 
--- --- --- 
Destructor 
Destructor 

最初のグループ：

210は、第1のpush_back呼び出しに対応する：

vec.push_back(T()); // 1 

出力を容易に解読されるかもしれない：

Constructor // Create a temporary 
Move Constructor // Move a temporary into the internal vector storage 
Destructor // Destroy a temporary 

第二群：

Constructor 
Move Constructor 
Copy Constructor 
Destructor 
Destructor 

は、第push_back呼び出しに対応：

vec.push_back(T()); // 2 

ともう少し複雑：

Constructor // create a temporary 
Move Constructor // move it into the newly allocated vector storage 
Copy Constructor // copy previously created element into the new storage 
Destructor // destroy old storage 
Destructor // destroy temporary 

ここでは、ベクトルクラスは内部的にそのメモリを割り当て、すべての要素のenoghスペースを提供するために、それを管理していることを忘れてはなりません。だから、あなたはより多くの要素を追加する場合、新しい割り当てが起こると、古い要素をコピーまたは新しいストレージに移動されます。

既知のサイズの場合は、あなたは、単に要素の特定の数のための十分なメモリを確保しreserve方法を、使用することがあります。それは（少なくともまで、あなたが予約サイズを超えない）ベクターに新しい要素を追加することでこれらの再配分中の不要なメモリ再割り当ておよびコピーまたは移動要素を避けることができます。

第三の群：

Destructor 
Destructor 

は、プログラムの終了時にベクトルvecデストラクタコールに対応します。

Answer 2

emplace_back（ "std :: unique_ptr"のような） "移動のみ"のタイプの問題です。

これは間違っており、簡略化されています。すべてのコンテナが均等に作成されるわけではありません。我々はreserveを使用する場合は、あなたのベクトル例えば、実装は、私たちのコピー/余分なデストラクタをeliding、移動アサインではなく、構造の操作を行うことができます

std::vector<T> v; 
v.reserve(2); 
v.emplace_back(1); 
v.emplace_back(1); 

出力：

Constructor 
Constructor 
--- 
Destructor 
Destructor 

セットの場合：

を

std::set<T> s; 
s.emplace(1); 
s.emplace(1); 

同じ出力が得られます。どうして？集合は固有な権利なので、理論的には1つのオブジェクトしか構築できませんか？実際には、典型的な実装は、比較を実行するために一時的なノードを構築し、コンテナに入ることはないとしても余分な構成/破壊を考慮する。