尋找「is_comparable」typetrait

Question

我正在尋找一個「is_comparable」typetrait，但找不到任何。

構建一個用於檢查某個類的operator==是否已實現的構建非常容易，但是這不包括全局定義的運算符。

是不可能實現is_comparable typetait？

Answer 1

我想你的意思是一個特點，對於兩種類型的L和R和 對象lhs分別那些類型的rhs，將產生true如果 的lhs == rhs編譯和false否則。您理解 理論上lhs == rhs可能會編譯即使rhs == lhs或lhs != rhs, 沒有。

在這種情況下，你可能會實施類似性狀：

#include <type_traits> 

template<class ...> using void_t = void; 

template<typename L, typename R, class = void> 
struct is_comparable : std::false_type {}; 

template<typename L, typename R> 
using comparability = decltype(std::declval<L>() == std::declval<R>()); 

template<typename L, typename R> 
struct is_comparable<L,R,void_t<comparability<L,R>>> : std::true_type{}; 

這適用於確定性狀的流行SFINAE模式是在回答解釋 到this question

某些插圖：

struct noncomparable{}; 

struct comparable_right 
{ 
    bool operator==(comparable_right const & other) const { 
     return true; 
    } 
}; 

struct any_comparable_right 
{ 
    template<typename T> 
    bool operator==(T && other) const { 
     return false; 
    } 
}; 

bool operator==(noncomparable const & lhs, int i) { 
    return true; 
} 

#include <string> 

static_assert(is_comparable<comparable_right,comparable_right>::value,""); 
static_assert(!is_comparable<noncomparable,noncomparable>::value,""); 
static_assert(!is_comparable<noncomparable,any_comparable_right>::value,""); 
static_assert(is_comparable<any_comparable_right,noncomparable>::value,""); 
static_assert(is_comparable<noncomparable,int>::value,""); 
static_assert(!is_comparable<int,noncomparable>::value,""); 
static_assert(is_comparable<char *,std::string>::value,""); 
static_assert(!is_comparable<char const *,char>::value,""); 
static_assert(is_comparable<double,char>::value,""); 

如果你想讓特質要求等式是對稱的，那個不等式 也存在，是對稱的，你可以看到如何自己闡述它。