Посмотри на `std::tuple_cat`.

@fix Выглядит совсем не тем, что надо.

Вместо `std::tuple` твой V, и `Make_VR` можно чем-нибудь обернуть, чтобы не писать пустой первый параметр. #include <tuple> template <class ... T> struct Make_VR; template <class ... Args1> struct Make_VR<Make_VR<Args1...>> { typedef std::tuple<Args1...> VR; }; template <class ... Args1, class T, class ... Args2> struct Make_VR<Make_VR<Args1...>, T, Args2...> { typedef typename Make_VR< Make_VR<Args1..., typename T::R>, Args2...>::VR VR; }; struct T1 { typedef int R; }; struct T2 { typedef char R; }; struct T3 { typedef double R; }; typedef Make_VR<Make_VR<>, T1, T2, T3>::VR TT; #include <iostream> int main() { TT test(1, 'a', 1.4); std::cout << std::get<0>(test) << "\n" << std::get<1>(test) << "\n" << std::get<2>(test) << "\n"; }