複数のパラメータパックを持つVariadicテンプレートコンストラクタ

Question

私はthis、this、thisなど多くのものを読んでいますが、これらの投稿はいずれも私の特定の問題には該当しません。

私は可変長テンプレートコンストラクタを持つ構造体Xあります

struct X 
{ 
    template<typename... T> 
    X(T... t) { /*...*/ } 
}; 

をそして私はタイプXの2つのオブジェクトを含む構造Yを持っています。私は（明らかに動作しません）次のコードのようなもの、すなわち、適切に異なるパラメータリストを持つタイプXの両方のメンバーを初期化することができ、Yのテンプレートコンストラクタを定義したいと思います：

struct Y 
{ 
    template<typename... U, typename... V> 
    Y(U&&... u, V&&... v)        // this does not work 
     : x1(std::forward(u)...), x2(std::forward(v)...) // this is was I need to do 
     {} 

    X x1, x2; 
}; 

をどのようにできました私は、ラッパー、タプル、または任意の適切なメタプログラミング機械を使用して、それを行うのですか？ C++ 14のソリューションが受け入れられます。

Answer 1

ボグスタンダードindex_sequenceトリック。

C++ 17では

struct Y 
{ 
private: 
    template<typename... U, typename... V, 
      std::size_t... UIs, std::size_t... VIs> 
    Y(std::tuple<U...>&& u, std::tuple<V...>&& v, 
     std::index_sequence<UIs...>, std::index_sequence<VIs...>) 
     : x1(std::get<UIs>(std::move(u))...), 
      x1(std::get<VIs>(std::move(v))...) 
     {} 
public: 
    template<typename... U, typename... V> 
    Y(std::tuple<U...> u, std::tuple<V...> v) 
     : Y(std::move(u), std::move(v), 
      std::index_sequence_for<U...>{}, 
      std::index_sequence_for<V...>{}) 
     {} 

    X x1, x2; 
}; 

、ちょうどmake_from_tuple使用：

struct Y 
{ 
public: 
    template<typename... U, typename... V> 
    Y(std::tuple<U...> u, std::tuple<V...> v) 
     : x1(std::make_from_tuple<X>(std::move(u))), 
      x2(std::make_from_tuple<X>(std::move(v))) 
     {} 

    X x1, x2; 
};