Ищете «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,""); 

Если вы хотите, чтобы эта черта требовала, чтобы равенство было симметричным и что неравенство также существует и является симметричным, вы можете увидеть, как его разрабатывать самостоятельно.