Come ottenere l'N-esimo tipo da una tupla?

Question

Voglio fare un modello in cui posso inserire un indice e mi darà il tipo in quell'indice. So che posso farlo con decltype(std::get<N>(tup)) ma vorrei implementarlo da solo. Ad esempio, mi piacerebbe fare questo,

typename get<N, std::tuple<int, bool, std::string>>::type; 

... e mi darà il tipo in posizione N - 1 (perché gli array indicizzati a partire da 0). Come posso fare questo? Grazie.

Answer 1

È possibile utilizzare un modello di classe e specializzazioni parziali per fare ciò che si desidera. (Si noti che std::tuple_element fa quasi lo stesso come l'altra risposta dice):

#include <tuple> 
#include <type_traits> 

template <int N, typename... Ts> 
struct get; 

template <int N, typename T, typename... Ts> 
struct get<N, std::tuple<T, Ts...>> 
{ 
    using type = typename get<N - 1, std::tuple<Ts...>>::type; 
}; 

template <typename T, typename... Ts> 
struct get<0, std::tuple<T, Ts...>> 
{ 
    using type = T; 
}; 

int main() 
{ 
    using var = std::tuple<int, bool, std::string>; 
    using type = get<2, var>::type; 

    static_assert(std::is_same<type, std::string>::value, ""); // works 
} 

Answer 2

Questo tratto esiste già e si chiama std::tuple_element.

Ecco un live example che dimostra il suo utilizzo.