如何从元组中获得第n个类型？

Question

我想做一个模板，在那里我可以输入一个索引，它会给我在那个索引的类型。我知道我可以用decltype(std::get (tup)) 来实现，但我想自己实现它。例如，我想这样做，

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

...它会给出位置n-1的类型（因为数组是从0开始索引的）。我怎么能这么做？多谢了。

Answer 1

您可以使用类模板和部分专门化来执行您想要的操作。（请注意，std::tuple_element的操作几乎与其他答案相同）：

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