概念定义

template<typename T1, typename T2>
concept one_way_equality_comparable = requires(const remove_reference_t<T1>& x, const remove_reference_t<T2>& y) {
    { x == y } -> convertible_to<bool>;
    { x != y } -> convertible_to<bool>;
}

详细描述

检查两个类型是否可以单向相等比较

模板参数

T1	第一个类型
T2	第二个类型

要求T1可以与T2进行==和!=比较，结果可转换为bool。

在文件 concepts.hpp 第 184 行定义.