부분 템플릿 전문 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 유형 팩에서 유형의 유형 특성을 구체적으로 적용하려면 어떻게해야합니까?

나는 그것이 하나의 형식 인수를 위해 일을 점점 더 문제가 없었다 : 나는 단순히 static_assert을 사용할 수 있습니다 알고 http://www.cppsamples.com/common-tasks/class-template-sfinae.html

,하지만하지 않고는 수도 있는지 궁금했다. 로 볼 수

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]