std::three_way_comparable, std::three_way_comparable_with

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实用工具库

语言支持 类型支持 (基本类型，RTTI) 库特性测试宏 (C++20) 程序实用工具 可变参数函数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 协程支持 (C++20) 契约支持 (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操作 (C++20) bitset hash (C++11) 关系运算符 (在 C++20 中弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

定义于头文件 <compare>
template< class T, class Cat = std::partial_ordering > concept three_way_comparable =     __WeaklyEqualityComparableWith<T, T> &&     __PartiallyOrderedWith<T, T> &&     requires(const std::remove_reference_t<T>& a,              const std::remove_reference_t<T>& b) {         { a <=> b } -> __ComparesAs<Cat>;     };	(1)	(自 C++20 起)
template< class T, class U, class Cat = std::partial_ordering > concept three_way_comparable_with =     std::three_way_comparable<T, Cat> &&     std::three_way_comparable<U, Cat> &&     __ComparisonCommonTypeWith<T, U> &&     std::three_way_comparable<         std::common_reference_t<             const std::remove_reference_t<T>&,             const std::remove_reference_t<U>&>, Cat> &&     __WeaklyEqualityComparableWith<T, U> &&     __PartiallyOrderedWith<T, U> &&     requires(const std::remove_reference_t<T>& t,              const std::remove_reference_t<U>& u) {         { t <=> u } -> __ComparesAs<Cat>;         { u <=> t } -> __ComparesAs<Cat>;     };	(2)	(自 C++20 起)
template< class T, class Cat > concept __ComparesAs =     std::same_as<std::common_comparison_category_t<T, Cat>, Cat>;	(3)	(仅为说明目的*)

1) 概念 std::three_way_comparable 规定了在 T 上的三路比较运算符 <=> 产生的结果与 Cat 暗示的比较类别一致。

2) 概念 std::three_way_comparable_with 规定了在（可能混合的）T 和 U 操作数上的三路比较运算符 <=> 产生的结果与 Cat 暗示的比较类别一致。比较混合操作数产生的结果等价于比较转换为它们共同类型的操作数。

__WeaklyEqualityComparableWith，__PartiallyOrderedWith 和 __ComparisonCommonTypeWith 是仅为说明目的的概念。参见 equality_comparable 和 totally_ordered 的描述。

语义要求

这些概念只有在它们被满足并且它们所包含的所有概念都被建模时才会被建模。

1) T 和 Cat 建模 std::three_way_comparable<T, Cat> 仅当，给定类型为 const std::remove_reference_t<T> 的左值 a 和 b 时，以下为真

• (a <=> b == 0) == bool(a == b),
• (a <=> b != 0) == bool(a != b),
• ((a <=> b) <=> 0) 和 (0 <=> (b <=> a)) 相等，
• bool(a > b) == bool(b < a),
• bool(a >= b) == !bool(a < b),
• bool(a <= b) == !bool(b < a),
• (a <=> b < 0) == bool(a < b),
• (a <=> b > 0) == bool(a > b),
• (a <=> b <= 0) == bool(a <= b)，以及
• (a <=> b >= 0) == bool(a >= b)，以及
• 如果 Cat 可转换为 std::strong_ordering，则 T 建模 totally_ordered。

2) T、U 和 Cat 建模 std::three_way_comparable_with<T, U, Cat> 仅当给定

• t 和 t2，左值表示类型分别为 const std::remove_reference_t<T> 和 std::remove_reference_t<T> 的不同相等对象，以及
• u 和 u2，左值表示类型分别为 const std::remove_reference_t<U> 和 std::remove_reference_t<U> 的不同相等对象。

设 C 为 std::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&> 并且给定表达式 E 和类型 C，设 CONVERT_TO<C>(E) 为

static_cast<C>(std::as_const(E)).	(直到 C++23)
static_cast<const C&>(std::as_const(E)) 如果这是一个有效的表达式， static_cast<const C&>(std::move(E)) 否则。	(自 C++23 起)

以下为真

• t <=> u 和 u <=> t 具有相同的域，
• ((t <=> u) <=> 0) 和 (0 <=> (u <=> t)) 相等，
• (t <=> u == 0) == bool(t == u),
• (t <=> u != 0) == bool(t != u),
• Cat(t <=> u) == Cat(CONVERT_TO<C>(t2) <=> CONVERT_TO<C>(u2)),
• (t <=> u < 0) == bool(t < u),
• (t <=> u > 0) == bool(t > u),
• (t <=> u <= 0) == bool(t <= u),
• (t <=> u >= 0) == bool(t >= u)，以及
• 如果 Cat 可转换为 std::strong_ordering，则 T 和 U 建模 std::totally_ordered_with<T, U>。

等价保持

标准库概念的 requires 表达式 中声明的表达式需要是等价保持的（除非另有说明）。

隐式表达式变体

requires 表达式，对于某些常量左值操作数使用非修改表达式，也需要隐式表达式变体。

参见

equality_comparableequality_comparable_with (C++20)	规定运算符 == 是等价关系 (概念)
totally_orderedtotally_ordered_with (C++20)	规定类型上的比较运算符产生全序关系 (概念)