평등 비교 형에 대한 C++ 11 정적 어설 션?

Question

어떻게 static_assert 템플릿 유형은 C++ 11의 EqualityComparable 개념입니까?

#include <type_traits> 

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

template<typename T> 
struct is_equality_comparable<T, 
    typename std::enable_if< 
     true, 
     decltype(std::declval<T&>() == std::declval<T&>(), (void)0) 
     >::type 
    > : std::true_type 
{ 
}; 

이 방법을 테스트 할 것 : 여기

struct X { }; 
struct Y { }; 

bool operator == (X const&, X const&) { return true; } 

int main() 
{ 
    static_assert(is_equality_comparable<int>::value, "!"); // Does not fire 
    static_assert(is_equality_comparable<X>::value, "!"); // Does not fire 
    static_assert(is_equality_comparable<Y>::value, "!"); // Fires! 
} 

가 live example입니다

Answer 1

당신은 다음과 같은 유형의 특성을 사용할 수 있습니다.