Jak uzyskać N-ty typ z krotki?

Question

Chcę utworzyć szablon, w którym mogę wprowadzić indeks, a otrzymam typ tego indeksu. Wiem, że mogę to zrobić z decltype(std::get<N>(tup)), ale sam chciałbym to zaimplementować. Na przykład, chciałbym to zrobić,

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

... i to daje mi typ w pozycji N - 1 (bo tablice indeksowanych zaczynając od 0). Jak mogę to zrobić? Dzięki.

Answer 1

Możesz użyć szablonu klasy i częściowych specjalizacji, aby zrobić to, co chcesz. (Zauważ, że std::tuple_element robi prawie taka sama jak druga odpowiedź mówi):

#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

Ta cecha już istnieje i nazywa się std::tuple_element.

Oto live example, który demonstruje jego użycie.