std::weak_ordering
来自 cppreference.com
定义在头文件 <compare> 中 |
||
class weak_ordering; |
(自 C++20) | |
类类型 std::weak_ordering
是 三路比较 的结果类型,它
- 允许所有六种关系运算符 (
==
,!=
,<
,<=
,>
,>=
)。
- 不暗示可替换性:如果 a 等效于 b,f(a) 可能不等效于 f(b),其中 f 表示一个函数,该函数仅读取通过参数的公共常量成员可访问的比较相关状态。换句话说,等效值可能是可区分的。
- 不允许不可比较的值:a < b、a == b 或 a > b 中必有一个为 true。
内容 |
[编辑] 常量
类型 std::weak_ordering
有三个有效值,它们作为其类型的 const 静态数据成员实现
名称 | 定义 |
inline constexpr std::weak_ordering less [静态] |
一个有效值,表示小于(在之前排序)关系 (公共静态成员常量) |
inline constexpr std::weak_ordering equivalent [静态] |
一个有效值,表示等效关系(既不在之前排序也不在之后排序) (公共静态成员常量) |
inline constexpr std::weak_ordering greater [静态] |
一个有效值,表示大于(在之后排序)关系 (公共静态成员常量) |
[编辑] 转换
std::weak_ordering
可以隐式转换为 std::partial_ordering,而 std::strong_ordering 可以隐式转换为 weak_ordering。
operator partial_ordering |
隐式转换为 std::partial_ordering (公共成员函数) |
std::weak_ordering::operator partial_ordering
constexpr operator partial_ordering() const noexcept; |
||
返回值
如果 v
为 less
,则为 std::partial_ordering::less;如果 v
为 greater
,则为 std::partial_ordering::greater;如果 v
为 equivalent
,则为 std::partial_ordering::equivalent。
[编辑] 比较
比较运算符在该类型的值与文字 0 之间定义。这支持表达式 a <=> b == 0 或 a <=> b < 0,这些表达式可用于将三路比较运算符的结果转换为布尔关系;请参阅 std::is_eq、std::is_lt 等。
这些函数对普通的 非限定 或 限定查找 不可见,并且只有在 参数相关查找 中,当 std::weak_ordering
是参数的关联类时才能找到它们。
尝试将 weak_ordering
与除整数文字 0 以外的任何内容进行比较的程序的行为是未定义的。
operator==operator<operator>operator<=operator>=operator<=> |
与零或 weak_ordering 进行比较(函数) |
operator==
friend constexpr bool operator==( weak_ordering v, /*unspecified*/ u ) noexcept; |
(1) | |
友元 constexpr bool operator==( weak_ordering v, weak_ordering w ) noexcept = default; |
(2) | |
参数
v, w | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) true 如果
v
是 equivalent
,false 如果 v
是 less
或 greater
2) true 如果两个参数都具有相同的值,否则为 false
operator<
友元 constexpr bool operator<( weak_ordering v, /*未指定*/ u ) noexcept; |
(1) | |
友元 constexpr bool operator<( /*未指定*/ u, weak_ordering v ) noexcept; |
(2) | |
参数
v | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) true 如果
v
是 less
,并且 false 如果 v
是 greater
或 equivalent
2) true 如果
v
是 greater
,并且 false 如果 v
是 less
或 equivalent
operator<=
友元 constexpr bool operator<=( weak_ordering v, /*未指定*/ u ) noexcept; |
(1) | |
友元 constexpr bool operator<=( /*未指定*/ u, weak_ordering v ) noexcept; |
(2) | |
参数
v | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) true 如果
v
是 less
或 equivalent
,并且 false 如果 v
是 greater
2) true 如果
v
是 greater
或 equivalent
,并且 false 如果 v
是 less
operator>
友元 constexpr bool operator>( weak_ordering v, /*未指定*/ u ) noexcept; |
(1) | |
友元 constexpr bool operator>( /*未指定*/ u, weak_ordering v ) noexcept; |
(2) | |
参数
v | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) true 如果
v
是 greater
,并且 false 如果 v
是 less
或 equivalent
2) true 如果
v
是 less
,并且 false 如果 v
是 greater
或 equivalent
operator>=
友元 constexpr bool operator>=( weak_ordering v, /*未指定*/ u ) noexcept; |
(1) | |
友元 constexpr bool operator>=( /*未指定*/ u, weak_ordering v ) noexcept; |
(2) | |
参数
v | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) true 如果
v
是 greater
或 equivalent
,并且 false 如果 v
是 less
2) true 如果
v
是 less
或 equivalent
,并且 false 如果 v
是 greater
operator<=>
友元 constexpr weak_ordering operator<=>( weak_ordering v, /*未指定*/ u ) noexcept; |
(1) | |
友元 constexpr weak_ordering operator<=>( /*未指定*/ u, weak_ordering v ) noexcept; |
(2) | |
参数
v | - | 要检查的std::weak_ordering 值 |
u | - | 任何类型的不使用参数,该参数接受文字零参数 |
返回值
1) v.
2)
greater
如果 v
是 less
,less
如果 v
是 greater
,否则为 v
。[编辑] 示例
本节不完整 原因:没有示例 |
[编辑] 参见
(C++20) |
支持所有 6 个运算符且可替换的三路比较的结果类型 (类) |
(C++20) |
支持所有 6 个运算符、不可替换且允许不可比较值的三路比较的结果类型 (类) |