boost/hana로 특정 중첩 유형/태그 확인하기

Question

boost :: hana로 재미있게 보내세요. 나는 또 다른 유형의 태그와 같은 역할을하는 특정 중첩 된 유형을 확인하고자하는, 그래서 하나 :: when_valid 예에서 빌려와 SFINAE 지원의 전문화와 함께 클래스 is_S 정의 :

#include <iostream> 

#include <boost/hana/core/when.hpp> 
namespace hana = boost::hana; 

#define V(x) std::cout << x << std::endl 

struct S_tag { }; 

struct S { 
    using tag = S_tag; 
}; 

struct T { 
    using tag = int; 
}; 

template< typename T, typename = hana::when<true> > 
struct is_S { 
    static constexpr bool value = false; 
}; 

template< typename T > 
struct is_S< T, hana::when_valid< typename T::tag > > { 
    static constexpr bool value = std::is_same< 
     typename T::tag, S_tag >::value; 
}; 

int main() { 
    std::cout << "is_S ( S { }) = "; V ((is_S<S>::value)); 
    std::cout << "is_S ( T { }) = "; V ((is_S<T>::value)); 
    std::cout << "is_S (float { }) = "; V ((is_S<float>::value)); 

    return 0; 
} 

이 인쇄 :

$ clang++ -std=c++1z sfinae.cpp && ./a.out | c++filt 
is_S ( S { }) = 1 
is_S ( T { }) = 0 
is_S (float { }) = 0 

는 하나 철학 값 형 연산에 준하여 동일한 검사를 쓰는 간단한/짧은/간결 방법이 있는가?

Answer 1

는 여기에 내가 쓸 수있는 작업은 다음과 같습니다 불완전한 클래스로 나타나면 때문에

#include <boost/hana.hpp> 
#include <iostream> 
namespace hana = boost::hana; 


struct S_tag { }; 
struct S { using tag = S_tag; }; 
struct T { using tag = int; }; 

auto tag_of = [](auto t) -> hana::type<typename decltype(t)::type::tag> { 
    return {}; 
}; 

auto is_S = [](auto t) { 
    return hana::sfinae(tag_of)(t) == hana::just(hana::type<S_tag>{}); 
}; 

int main() { 
    std::cout << "is_S ( S { }) = " << is_S(hana::type<S>{})() << std::endl; 
    std::cout << "is_S ( T { }) = " << is_S(hana::type<T>{})() << std::endl; 
    std::cout << "is_S (float { }) = " << is_S(hana::type<float>{})() << std::endl; 
} 

Answer 2

내가 유혹 할 woukd :

template<class...T> 
constexpr std::integral_constant<bool,false> is_S(T const&...){ return {}; } 
template<class T> 
constexpr 
std::integral_constant<bool,std::is_same<typename T::tag,S_tag>{}> 
is_S(T const&){ return {}; }