变量模板类，从其参数列表中获取特定类型的索引

Question

是否可以实现可变模板类的函数成员，该类从可变参数列表返回给定类型的索引。

我看到的问题是创建某种伪变量参数列表，只是为了触发编译时模板求值。

template<typename... TArgs>
class Foo
{
  template<typename T, typename TArg>
  int _get_idx(int i, const TArg &curr, TArgs...args)
  {
    if (std::is_same(T, TArg)) {
        return i;
    }
    else {
        return get_id(i+1, args...);
    }
  }

用法大概是这样的：

Foo<A, B, C> foo;
int i = foo.get_idx<B>(); // i == 1

Answer 1

您可以使用以下内容：

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

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

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

#if 1 // explicit error case, but you already have error without that. 
template <typename T>
struct get_index<T>
{
    // condition is always false, but should be dependant of T
    static_assert(sizeof(T) == 0, "element not found");
};
#endif

实例

注意：您没有指定重复匹配类型会发生什么（所以我选择第一个），也没有指定类型是否不匹配（所以我犯了编译时错误）

带副本的现场演示