vector <struct>のC ++ 11 emplace_back？

次のプログラムを検討してください。

#include <string>
#include <vector>

using namespace std;

struct T
{
    int a;
    double b;
    string c;
};

vector<T> V;

int main()
{
    V.emplace_back(42, 3.14, "foo");
}

それは機能しません：

$ g++ -std=gnu++11 ./test.cpp
In file included from /usr/include/c++/4.7/x86_64-linux-gnu/bits/c++allocator.h:34:0,
                 from /usr/include/c++/4.7/bits/allocator.h:48,
                 from /usr/include/c++/4.7/string:43,
                 from ./test.cpp:1:
/usr/include/c++/4.7/ext/new_allocator.h: In instantiation of ‘void __gnu_cxx::new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = T; _Args = {int, double, const char (&)[4]}; _Tp = T]’:
/usr/include/c++/4.7/bits/alloc_traits.h:253:4:   required from ‘static typename std::enable_if<std::allocator_traits<_Alloc>::__construct_helper<_Tp, _Args>::value, void>::type std::allocator_traits<_Alloc>::_S_construct(_Alloc&, _Tp*, _Args&& ...) [with _Tp = T; _Args = {int, double, const char (&)[4]}; _Alloc = std::allocator<T>; typename std::enable_if<std::allocator_traits<_Alloc>::__construct_helper<_Tp, _Args>::value, void>::type = void]’
/usr/include/c++/4.7/bits/alloc_traits.h:390:4:   required from ‘static void std::allocator_traits<_Alloc>::construct(_Alloc&, _Tp*, _Args&& ...) [with _Tp = T; _Args = {int, double, const char (&)[4]}; _Alloc = std::allocator<T>]’
/usr/include/c++/4.7/bits/vector.tcc:97:6:   required from ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {int, double, const char (&)[4]}; _Tp = T; _Alloc = std::allocator<T>]’
./test.cpp:17:32:   required from here
/usr/include/c++/4.7/ext/new_allocator.h:110:4: error: no matching function for call to ‘T::T(int, double, const char [4])’
/usr/include/c++/4.7/ext/new_allocator.h:110:4: note: candidates are:
./test.cpp:6:8: note: T::T()
./test.cpp:6:8: note:   candidate expects 0 arguments, 3 provided
./test.cpp:6:8: note: T::T(const T&)
./test.cpp:6:8: note:   candidate expects 1 argument, 3 provided
./test.cpp:6:8: note: T::T(T&&)
./test.cpp:6:8: note:   candidate expects 1 argument, 3 provided

これを行う正しい方法とその理由は何ですか？

（シングルブレースとダブルブレースも試しました）

将来の誰にとっても、この動作はC ++ 20で変更されます。

言い換えれば、内部での実装はそれでも呼び出されますが、それはあなたが期待するT(arg0, arg1, ...)通常のT{arg0, arg1, ...}ものと見なされます。

クラスのctorを明示的に定義する必要があります。

#include <string>
#include <vector>

using namespace std;

struct T
{
    int a;
    double b;
    string c;

    T(int a, double b, string &&c) 
        : a(a)
        , b(b)
        , c(std::move(c)) 
    {}
};

vector<T> V;

int main()
{
    V.emplace_back(42, 3.14, "foo");
}

使用のポイントはemplace_back、一時オブジェクトを作成しないようにすることです。一時オブジェクトは、宛先にコピー（または移動）されます。一時オブジェクトを作成してそれをに渡すことも可能ですがemplace_back、それは（少なくともほとんどの）目的を無効にします。個々の引数を渡してからemplace_back、それらの引数を使用してctorを呼び出し、オブジェクトを所定の位置に作成します。

もちろん、これは答えではありませんが、タプルの興味深い機能を示しています。

#include <string>
#include <tuple>
#include <vector>

using namespace std;

using T = tuple <
    int,
    double,
    string
>;

vector<T> V;

int main()
{
    V.emplace_back(42, 3.14, "foo");
}

コンストラクターを追加したくない（または追加できない）場合は、T専用のアロケーターを使用します（または独自のアロケーターを作成します）。

namespace std {
    template<>
    struct allocator<T> {
        typedef T value_type;
        value_type* allocate(size_t n) { return static_cast<value_type*>(::operator new(sizeof(value_type) * n)); }
        void deallocate(value_type* p, size_t n) { return ::operator delete(static_cast<void*>(p)); }
        template<class U, class... Args>
        void construct(U* p, Args&&... args) { ::new(static_cast<void*>(p)) U{ std::forward<Args>(args)... }; }
    };
}

注：上記のメンバー関数構造は、clang 3.1ではコンパイルできません（申し訳ありませんが、理由はわかりません）。clang 3.1（またはその他の理由）を使用する場合は、次の1つを試してください。

void construct(T* p, int a, double b, const string& c) { ::new(static_cast<void*>(p)) T{ a, b, c }; }

これは23.2.1 / 13でカバーされているようです。

まず、定義：

Aと同一のallocator_typeとTと同一のvalue_typeを持ち、タイプAの左辺値m、タイプT *のポインターp、タイプTの式v、およびタイプTの右辺値rvを持つコンテナータイプXが与えられた場合、以下の用語が定義されています。

さて、何がそれを据え付け可能にするのか：構築可能：

TはargsからXにEmplaceConstructibleであり、0個以上の引数argsの場合、次の式が整形式であることを意味します。allocator_traits:: construct（m、p、args）;

そして最後に、構成呼び出しのデフォルトの実装に関する注意：

注：コンテナーはallocator_traits :: construct（m、p、args）を呼び出して、argsを使用してpに要素を作成します。std :: allocatorのデフォルトの構成は、:: new（（void *）p）T（args）を呼び出しますが、特殊なアロケーターは別の定義を選択する場合があります。

これは、デフォルトの（そして潜在的に唯一の）アロケータースキームの場合、コンテナーに配置しようとしているものに対して適切な数の引数を使用してコンストラクターを定義している必要があることを示しています。

タイプにはコンストラクターがT含まれているため、コンストラクターを定義する必要があります。std::string自明ではない。

さらに、（デフォルトの可能性がある）move ctor / assignを定義することをお勧めします（std::stringメンバーとして可動式があるため）-これは、Tはるかに効率的...

または、近隣の応答で推奨されT{...}ているようにオーバーロードを呼び出すために使用しますemplace_back()...すべては典型的なユースケースに依存します...

struct Tインスタンスを作成してから、ベクターに移動できます。

V.push_back(std::move(T {42, 3.14, "foo"}));

この{}構文を使用して、新しい要素を初期化できます。

V.emplace_back(T{42, 3.14, "foo"});

これは最適化されている場合とされていない場合がありますが、最適化する必要があります。

これを機能させるには、コンストラクターを定義する必要があります。コードでは、次のこともできないことに注意してください。

T a(42, 3.14, "foo");

しかし、これはあなたが仕事を据え付けるために必要なものです。

これだけ：

struct T { 
  ...
  T(int a_, double b_, string c_) a(a_), b(b_), c(c_) {}
}

それが望ましい方法で機能するようになります。