寻找"is_comparable“类型

Question

我在找一种"is_comparable“型，但找不到。

构建一个检查类的operator==是否实现的方法非常容易，但这不包括全局定义的操作符。

不可能实现is_comparable类型吗？

Answer 1

我认为您的意思是，对于L和R两种类型，以及这些类型的对象lhs和rhs，如果lhs == rhs要编译，那么false就会产生true。在理论上，您理解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,"");

如果你想要求平等是对称的，不平等也是存在的，并且是对称的，你可以看到如何自己来阐述它。