概念定义

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

详细描述

检查两个类型是否可以单向顺序比较

模板参数

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

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