如何在可变参数类型包中获取类型的索引？

Question

例如

template<typename T, typename... Ts>
struct Index
{
    enum {value = ???}
};

并且假设T是Ts中的一个,并且Ts具有不同的类型,例如

Index<int, int, double>::value is 0
Index<double, int, double>::value is 1

Answer 1

#include <type_traits>
#include <cstddef>

template <typename T, typename... Ts>
struct Index;

template <typename T, typename... Ts>
struct Index<T, T, Ts...> : std::integral_constant<std::size_t, 0> {};

template <typename T, typename U, typename... Ts>
struct Index<T, U, Ts...> : std::integral_constant<std::size_t, 1 + Index<T, Ts...>::value> {};

您可能想要添加C++ 14时尚变量模板:

template <typename T, typename... Ts>
constexpr std::size_t Index_v = Index<T, Ts...>::value;

DEMO