部分テンプレート特殊化SFINAE

Question

私は、次のクラステンプレートを持っている：

template<bool head, bool... tail> 
struct var_and { 
    static constexpr bool value = head && var_and<tail...>::value; 
}; 

template<bool b> struct var_and<b> { 
    static constexpr bool value = b; 
}; 

template<typename... Ts> 
struct type_list {}; 

template <typename T, typename Enable = void> 
class foo; 

template <typename... T> 
class foo<type_list<T...>, std::enable_if_t<var_and<std::is_integral_v<T>...>::value>> {}; 

私は専門一致させよう：で

Error C2079 'test' uses undefined class 'ECS::foo<ECS::type_list<int,int,int>,void>' 

：私はエラーを取得する

foo<type_list<int, int, int>> test{}; 

を私はこれらのエラーを得ると同時に：

more than one partial specialization matches the template argument list of class "ECS::foo<ECS::type_list<int, int, int>, void>" 
"ECS::foo<ECS::type_list<T...>, std::enable_if_t<ECS::var_and<std::is_integral_v<T>...>::value, void>>"   
"ECS::foo<ECS::type_list<T...>, std::enable_if_t<ECS::var_and<std::is_integral_v<T>...>::value, void>>" 
... (The exact same error message 6 more times) 

SFINAEを使用して、variadic型パックの型の型特性を具体的に実行するにはどうすればよいですか？

私は何の問題は、単一の型引数のために働くことを得るがありませんでした： http://www.cppsamples.com/common-tasks/class-template-sfinae.html

それがなくても可能であるならば、私は、私は単にstatic_assertを使用することができます知っているが、私は思っていました。次のように

Answer 1

解決策になります：

#include <type_traits> 

template <bool...> 
struct bool_pack { }; 

template <bool... Bs> 
using var_and = std::is_same<bool_pack<true, Bs...>, bool_pack<Bs..., true>>; 

template<typename... Ts> 
struct type_list {}; 

template <typename T, typename Enable = void> 
class foo; 

template <typename... T> 
class foo<type_list<T...>, std::enable_if_t<var_and<std::is_integral<T>::value...>::value>> {}; 

int main() 
{ 
    foo<type_list<int, int, int>> {}; 
} 

[live demo]