std::compare_three_way
来自 cppreference.com
定义在头文件 <compare> 中 |
||
定义在头文件 <functional> 中 |
||
struct compare_three_way; |
(自 C++20 起) | |
用于执行比较的函数对象。推断函数调用运算符的参数类型和返回值类型。
内容 |
[编辑] 嵌套类型
嵌套类型 | 定义 |
is_transparent
|
未指定 |
[编辑] 成员函数
operator() |
获取两个参数的三向比较结果 (公共成员函数) |
std::compare_three_way::operator()
template< class T, class U > constexpr auto operator()( T&& t, U&& u ) const; |
||
给定表达式 std::forward<T>(t) <=> std::forward<U>(u) 作为 expr
- 在 指针上实现定义的严格全序 中比较两个转换后的指针(类型为
P
)
- 如果 t 在 u 之前,则返回 std::strong_ordering::less。
- 如果 u 在 t 之前,则返回 std::strong_ordering::greater。
- 否则,返回 std::strong_ordering::equal。
- 如果从
T
到P
的转换序列或从U
到P
的转换序列不是 保持相等 的,则行为未定义。
- 在 指针上实现定义的严格全序 中比较两个转换后的指针(类型为
- 否则
- 返回 expr 的结果。
- 如果 std::three_way_comparable_with<T, U> 未建模,则行为未定义。
此重载仅当std::three_way_comparable_with<T, U>满足时参与重载解析。
[编辑] 示例
运行此代码
#include <compare> #include <iostream> struct Rational { int num; int den; // > 0 // Although the comparison X <=> Y will work, a direct call // to std::compare_three_way{}(X, Y) requires the operator== // be defined, to satisfy the std::three_way_comparable_with. constexpr bool operator==(Rational const&) const = default; }; constexpr std::weak_ordering operator<=>(Rational lhs, Rational rhs) { return lhs.num * rhs.den <=> rhs.num * lhs.den; } void print(std::weak_ordering value) { value < 0 ? std::cout << "less\n" : value > 0 ? std::cout << "greater\n" : std::cout << "equal\n"; } int main() { Rational a{6, 5}; Rational b{8, 7}; print(a <=> b); print(std::compare_three_way{}(a, b)); }
输出
greater greater
[编辑] 缺陷报告
以下行为变更的缺陷报告已追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 3530 | C++20 | 比较指针时语法检查已放宽 | 仅放宽语义要求 |
[编辑] 另请参阅
(C++20) |
实现x == y的约束函数对象 (类) |
(C++20) |
实现x != y的约束函数对象 (类) |
(C++20) |
实现x < y的约束函数对象 (类) |
(C++20) |
实现x > y的约束函数对象 (类) |
(C++20) |
实现x <= y的约束函数对象 (类) |
(C++20) |
实现x >= y的约束函数对象 (类) |