バリアント関数のテンプレート引数をユニオンベクトルに格納する最も効率的な方法は？

Question

私は、コンストラクタ関連部材内にその引数を格納し、単純な労働組合があります。

：私は、これらの型の引数をとり、テンプレートの再帰を使用して組合のベクトルに格納する可変引数のコンストラクタを持って

union Data 
{ 
    Data(int i) : _i(i) { } 
    Data(double d) : _d(d) { } 
    Data(char c) : _c(c) { } 

    int _i; 
    double _d; 
    char _c; 
}; 

を

template<typename... Ts> 
DataStore(Ts... ts) 
{ 
    _data.reserve(sizeof...(ts)); 
    store(ts...); 
} 

template<typename T, typename... Ts> 
void store(T t, Ts... ts) 
{ 
    _data.push_back(t); 
    store(ts...); 
} 

void store() 
{ 
    // terminal condition 
} 

これにより、引数の数に一致する一連のvector::push_backコールが発生します。

これは、ユニオンベクターに最も効率的に/最も速い方法ですか？

私はこれをより速くするために採用することができる任意のトリック（x86-64/Linuxに固有であり得る）がありますか？

の作業例：

#include <iostream> 
#include <vector> 

union Data 
{ 
    Data(int i) : _i(i) { } 
    Data(double d) : _d(d) { } 
    Data(char c) : _c(c) { } 

    int _i; 
    double _d; 
    char _c; 
}; 

struct DataStore 
{ 
    template<typename... Ts> 
    DataStore(Ts... ts) 
    { 
     _data.reserve(sizeof...(ts)); 
     store(ts...); 
    } 

    template<typename T, typename... Ts> 
    void store(T t, Ts... ts) 
    { 
     _data.push_back(t); 
     store(ts...); 
    } 

    void store() 
    { 
     // terminal condition 
    } 

    std::vector<Data> _data; 
}; 

int main() 
{ 
    DataStore d(1, 2.3, 'c'); 

    std::cout << d._data.size() << '\n' 
       << d._data[0]._i << '\n' 
       << d._data[1]._d << '\n' 
       << d._data[2]._c << '\n'; 

    return 0; 
} 

Answer 1

ご意見は、あなたが初期化子リストを使用して簡単なアプローチに対してだを示しているので、あなたがこれを行うことができます：

template<typename... T> 
DataStore(T&&... ts) 
{ 
    _data.reserve(sizeof...(ts)); 
    char dummy[] = { (_data.emplace_back(ts), '0')... }; 
} 

をまだ配列を作成しますが、それはできcharの配列だことおそらく最適化されており、再帰はなく、関数テンプレートstoreのインスタンス化はあまり必要ありません。

配列の各要素のイニシャライザは、パラメータパック内のオブジェクトの1つをベクトルに（左から右の順序で）挿入します。 emplace_backを使用すると、DataStoreコンストラクタに任意の型を渡すことができるため、オブジェクトが挿入されるまでDataオブジェクトを作成することはありません。それがために作ら何のコピーが存在しないことを意味する：あなたはinitializer_listを使用することを決定しない場合

DataStore d{ 1, '2', 3.0 }; 

（。スタック上だけで使用されていないchar[3]配列）

、あなたがいないデータストア内で、すぐにそれを作成する必要がありますコンストラクタ：

DataStore(std::initializer_list<Data> list) : _data(list) { } 

一時的な配列がそのコンストラクタの外部で作成されるように今、あなたは、DataStoreコンストラクタにData任意の数のオブジェクトを渡すことができ、その後、に直接渡されますメンバー。これを使用して、DataStore d{ Data{1}, Data{'2'}, Data{3.0} }は3つのオブジェクトの配列を作成し、それぞれをベクトルにコピーします。

このコンストラクタを使用すると、DataStore{1, '2', 3.0}を実行できません。コンパイラは異なるタイプのbraced-init-listからinitializer_list<Data>を作成しないためです。

Answer 2

どうちょうど約：あなたが直接あなたにも労働組合の内部で保存の基本的な型を渡すことができるように

template<typename... Ts> 
DataStore(Ts... ts) 
{ 
    _data = {ts...}; 
} 

これは、emplace_backを利用します。

Answer 3

_dataを直接初期化できます。

template<typename... Ts> 
DataStore(Ts... ts) : _data{ts...} 
{}