Cerca "is_comparable" typetrait

Question

Sto cercando un typetrait "is_comparable" ma non ne trovo nessuno.

È molto facile crearne uno che controlli se è stato implementato un operator== per una classe, ma questo esclude gli operatori definiti globali.

È impossibile implementare un typetait is_comparable?

Answer 1

lo prendo si intende un tratto che, per due tipi L e R e oggetti lhs e rhs di quei tipi, rispettivamente, produrrà true se l'lhs == rhs compilerà e false altrimenti. Apprezziamo che in teoria lhs == rhs potrebbe compilare anche se rhs == lhs o lhs != rhs, no.

In tal caso si potrebbe implementare il tratto come:

#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{}; 

Ciò si applica un modello popolare SFINAE per la definizione dei tratti che si spiega nella risposta alla this question

Alcune illustrazioni:

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,""); 

Se si desidera che il carattere richieda che l'uguaglianza sia simmetrica e quella disuguaglianza esiste anche ed è simmetrico, puoi vedere come elaborarlo tu stesso.