중첩 템플릿의 유형을 확인하는 방법은 무엇입니까?

Question

다른 유형의 중첩 된 클래스 템플릿의 존재를 감지하는 유형 특성을 만들고 싶습니다.

#include <cassert> 

template<class T> 
struct has_foo 
{ 
    // XXX what goes here? 
}; 

struct with_foo 
{ 
    template<class T> struct foo {}; 
}; 

struct without_foo {}; 

int main() 
{ 
    assert(has_foo<with_foo>::value); 
    assert(!has_foo<without_foo>::value); 

    return 0; 
} 

has_foo을 구현하는 가장 좋은 방법은 무엇 :

예를 들어

, 나는 어떤 종류의 T 내 foo라는 하나 개의 매개 변수의 중첩 템플릿의 존재를 감지 유형의 특성 has_foo을 작성한다고 가정 ?

Answer 1

template <template<class> class> using void_templ = void; 

template <typename, typename=void> struct has_foo : std::false_type {}; 

template <typename T> 
struct has_foo<T, void_templ<T::template foo>> : std::true_type {}; 

Demo. GCC는 모든 유형을 허용합니다. 그것은 버그입니다. void_templ 클래스 템플릿

template <template<class> class> 
struct void_templ {using type = void;}; 

Demo 만드는 것이 해결하려면.