c++ - 如何从元组中获取第 N 种类型？

Question

我想制作一个模板，我可以在其中输入一个索引，它会给我那个索引的类型。我知道我可以做到这一点，decltype(std::get<N>(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
}

Answer 2

该特征已经存在，它被称为std::tuple_element.

这是一个演示其用法的实时示例。