std::three_way_comparable, std::three_way_comparable_with

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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) 仅当给定类型为 const std::remove_reference_t<T> 的左值 a 和 b 时，T 和 Cat 才符合 std::three_way_comparable<T, Cat> 模型，并且以下条件成立：

• (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)	指定类型上的比较运算符产生全序关系 (概念)