はこのように、私はシンプルなタイプリストのimplimentationを持っているタイプリスト

Question

タイプのインデックスを取得：私はtypelistにTypesの内側種類T2のインデックスを把握したい

template<typename... Ts> 
struct TypeList 
{ 
    static constexpr std::size_t size{ sizeof... (Ts) }; 
}; 

struct T1 
    { 
    }; 

struct T2 
     { 
     }; 

struct T3 
     { 
     }; 

using Types = mpl::TypeList<T1, T2, T3>; 

。 これは私が現在使用しているものですが、検索しているタイプがタイプリストの冒頭にある場合にのみ機能します。それ以外の場合は、エラー "value：宣言されていない識別子"でコンパイルされます。

template<typename, typename> 
struct IndexOf {}; 

// IndexOf base case: found the type we're looking for. 
template <typename T, typename... Ts> 
struct IndexOf<T, TypeList<T, Ts...>> 
    : std::integral_constant<std::size_t, 0> 
{ 
}; 



// IndexOf recursive case: 1 + IndexOf the rest of the types. 
template <typename T, typename TOther, typename... Ts> 
struct IndexOf<T, TypeList<TOther, Ts...>> 
    : std::integral_constant<std::size_t, 
    1 + IndexOf<T, Ts...>::value> 
{ 
}; 

Answer 1

IndeOf<T, Ts...>::value 

が定義されていないので、あなたは、エラーが発生します。

IndexOf<T, TypeList<Ts...>>::value 

である必要があります。