如何获取变型包中类型的索引？

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