std::strong_equality

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

工具库

类型支持（基本类型、 RTTI 、类型特性）
动态内存管理
错误处理
程序工具
变参数函数
库特性测试宏
日期和时间
函数对象
格式化库 (C++20)
initializer_list (C++11)
source_location (C++20)
bitset
hash (C++11)
integer_sequence (C++14)
关系运算符 (C++20 中弃用)
rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=
比较 (C++20)
three_way_comparablethree_way_comparable_with
strong_ordering weak_ordering partial_ordering strong_equality weak_equality common_comparison_category compare_three_way_result	strong_order weak_order partial_order compare_strong_order_fallback compare_weak_order_fallback compare_partial_order_fallback compare_three_way	is_eqis_neqis_ltis_lteqis_gtis_gteq
共用词汇类型
pair tuple (C++11) apply (C++17) make_from_tuple (C++17)	optional (C++17) any (C++17) variant (C++17)
swap 、 forward 与 move
swap
exchange (C++14)
forward (C++11)
move (C++11)
move_if_noexcept (C++11)
初等字符串转换
to_chars (C++17)
from_chars (C++17)
chars_format (C++17)
类型运算
declval (C++11)
as_const (C++17)
launder (C++17)

 

定义于头文件 <compare>
class strong_equality;		(C++20 起)

类类型 std::strong_equality 是这种三路比较的结果类型：

• 仅接纳相等和不等比较（非小于/大于）

• 隐含可替换性：若 a 等价于 b ，则 f(a) 亦等价于 f(b) 。这里 f 所指代的函数仅可经由参数的公开 const 成员读取显著的比较状态。换言之，等价的值不可区别。

常量

类型 std::strong_equality 拥有四个合法值，作为其类型的 const 静态数据成员实现：

成员常量	定义
equivalent(inline constexpr) [静态]	std::strong_equality 类型的合法值，指示相等，等于 equal (公开静态成员常量)
equal(inline constexpr) [静态]	std::strong_equality 类型的合法值，指示相等，等于 equivalent (公开静态成员常量)
nonequivalent(inline constexpr) [静态]	std::strong_equality 类型的合法值，指示不相等，等于 nonequal (公开静态成员常量)
nonequal(inline constexpr) [静态]	std::strong_equality 类型的合法值，指示不相等，等于 nonequivalent (公开静态成员常量)

转换

std::strong_equality 可隐式转换为 std::weak_equality ，而 std::strong_ordering 可隐式转换为 strong_equality 。

operator weak_equality

到 std::weak_equality 的隐式转换 (公开成员函数)

std::strong_equality::operator weak_equality

constexpr operator weak_equality() const noexcept;

返回值

若 v 为 equivalent 或 equal 则为 std::weak_equality::equivalent ，若 v 为 nonequivalent 或 nonequal 则为 std::weak_equality::nonequivalent 。

比较

比较运算符在此类型和字面量 ​0​ 间定义。这支持用表达式 a <=> b == 0 和 a <=> b != 0 转换三路比较运算符的结果为布尔关系；见 std::is_eq 与 std::is_neq 。

若程序试图将 strong_equality 与任何异于整数字面量 ​0​ 的内容比较，则其行为未定义。

operator==operator<=>

与零或 strong_equality 比较 (函数)

operator==

friend constexpr bool operator==(strong_equality v, /*unspecified*/ u) noexcept;	(1)
friend constexpr bool operator==(strong_equality v, strong_equality w) noexcept = default;	(2)

参数

v, w	-	要检查的 std::strong_equality 值
u	-	接受字面零实参的任何类型不使用形参

返回值

1) 若 v 为 equivalent 或 equal 则为 true ，而若 v 为 nonequivalent 或 nonequal 则为 false 。

2) 若两个参数持有相同值则为 true ，否则为 false 。注意 equal 等于 equivalent 而 nonequal 等于 nonequivalent ，但 equal 不等于 nonequal 。

operator!=

friend constexpr bool operator!=(strong_equality v, /*unspecified*/ u) noexcept; friend constexpr bool operator!=(/*unspecified*/ u, strong_equality v) noexcept;

参数

v	-	要检查的 std::strong_equality 值
u	-	接受字面零实参的任何类型不使用形参

返回值

若 v 为 equivalent 或 equal 则为 false ，而若 v 为 nonequivalent 或 nonequal 则为 true 。

operator<=>

friend constexpr strong_equality operator<=>(strong_equality v, /*unspecified*/ u) noexcept; friend constexpr strong_equality operator<=>(/*unspecified*/ u, strong_equality v) noexcept;

参数

v	-	要检查的 std::strong_equality 值
u	-	接受字面零实参的任何类型不使用形参

返回值

v

参阅

strong_ordering (C++20)	三路比较的结果类型，支持所有 6 种运算符且可替换 (类)
weak_ordering (C++20)	三路比较的结果类型，支持所有 6 种运算符且不可替换 (类)
partial_ordering (C++20)	三路比较的结果类型，支持所有 6 种运算符，不可替换，并允许不可比较的值 (类)
weak_equality (C++20)	三路比较的结果类型，仅支持相等/不相等，且不可替换 (类)