std::three_way_comparable, std::three_way_comparable_with

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) 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(conststd::remove_reference_t<T>& a,              conststd::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<             conststd::remove_reference_t<T>&,             conststd::remove_reference_t<U>&>, Cat>&&     __WeaklyEqualityComparableWith<T, U>&&     __PartiallyOrderedWith<T, U>&&     requires(conststd::remove_reference_t<T>& t,              conststd::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) 概念 three_way_comparable_with<T, U, Cat> 指定三路比较运算符 <=> 在（可能混合的） T 与 U 操作数上生成与 Cat 所蕴含的比较类别一致的结果。比较混合的操作数生成的结果等价于比较转换到其公共类型的操作数。

__WeaklyEqualityComparableWith、__PartiallyOrderedWith 和 __ComparisonCommonTypeWith 是仅用于阐释的概念。参见 equality_comparable 和 totally_ordered 的说明。

语义要求

这些概念仅若其所蕴含的概念均被实现才得到实现。

1)T 与 Cat 实现 std::three_way_comparable<T, Cat>，仅若给定 conststd::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 分别为指代不同的相等对象的 conststd::remove_reference_t<T> 和 std::remove_reference_t<T> 类型的左值，
• u 和 u2 分别为指代不同的相等对象的 conststd::remove_reference_t<U> 和 std::remove_reference_t<U> 类型的左值。

令 C 为 std::common_reference_t<conststd::remove_reference_t<T>&, conststd::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(C(t)<=> C(u))，
• (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)	指定比较运算符在该类型上产生全序 (概念)