Inverti argomenti di tupla

Question

Desidero scrivere una classe modello InvTuple che definisce type come una tupla di argomenti di classe in ordine inverso. Così dovrebbe funzionare come

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

ho definito in questo modo

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

Ma questo non viene compilato correttamente a causa dell'errore, come mostrato nel codice. Per favore aiutami a capire cosa c'è che non va.

Answer 1

è necessario la parola modello:

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

ed è anche necessario cambiare U... e T1 nella stessa linea di avere quel lavoro correttamente:

#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

Answer 2

avete bisogno di questo:

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

ti mancava la parola chiave template nel mezzo.