c++ - 反转元组参数

Question

我想编写一个模板类 InvTuple，它将 type 定义为逆序类参数的元组。所以它应该像

InvTuple<T1, T2, T3, ...>::type   --->   tuple<..., T3, T2, T1>

我是这样定义的

template<class...T>
struct InvTuple;

template<class T1, class...T>
struct InvTuple < T1, T... >
{
    template<class... U>
    using doInvert = typename InvTuple<T...>::doInvert < U..., T1 > ;  
                     // <--- unrecognizable template declaration/definition, 
                     // syntax error : '<'

    using type = doInvert<>;
};

template<>
struct InvTuple <>
{
    template<class... U>
    using doInvert = tuple<U...>;

    using type = doInvert < > ;
};

但是由于代码中显示的错误，这不会编译。请帮助我了解问题所在。

Answer 1

您需要模板关键字:

using doInvert = typename InvTuple<T...>::template doInvert < U..., T1 > ;

并且您还需要在同一行中切换 U... 和 T1 以使其正常工作:

#include <iostream>
#include <tuple>
#include <typeinfo>
using namespace std; // Don't try this at home

template<class...T>
struct InvTuple;

template<class T1, class...T>
struct InvTuple < T1, T... >
{
    template<class... U>
    using doInvert = typename InvTuple<T...>::template doInvert < T1, U... >;

    using type = doInvert<>;
};

template<>
struct InvTuple <>
{
    template<class... U>
    using doInvert = tuple<U...>;

    using type = doInvert < > ;
};

int main()
{
    InvTuple<int,char,bool> obj;
    InvTuple<int,char,bool>::type obj2;
    cout << typeid(obj).name() << endl; // InvTuple<int, char, bool>
    cout << typeid(obj2).name() << endl; // std::tuple<bool, char, int>
}

Example