Конструктор шаблонов Variadic с несколькими пакетами параметров

Question

Я прочитал this, this, this и многие другие ... но ни одна из этих сообщений не отвечает или не применима к моей конкретной проблеме.

У меня есть X-структура с VARIADIC конструктором шаблона:

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

И у меня есть структура Y, которая содержит два объекта типа X. Я хотел бы определить конструктор шаблонов для Y, что позволяет правильно инициализировать оба члена типа X со списком различных параметров, то есть что-то, что выглядит как следующий код (который, очевидно, не работает):

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

Bog-standard index_sequence трюк.

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; 
}; 

В C++ 17, просто используйте 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; 
};