std::ranges::greater
来自cppreference.com
< cpp | utility | functional
在标头 <functional> 定义
|
||
struct greater; |
(C++20 起) | |
进行比较的函数对象。从实参推导函数调用运算符的形参类型(但非返回类型)。
实现定义的指针上的严格全序
若参数间的 <
运算符调用指针的内建比较运算符,则函数调用运算符产生实现定义的指针上的严格全序,即使内建的 <
运算符不如此。
实现定义的严格全序与比较运算符( <=>
、 <
、 >
、 <=
及 >=
)所施加的偏序一致,并在下列标准函数对象间一致:
- std::less、 std::greater、 std::less_equal 及 std::greater_equal ,当模板实参为指针类型或 void 时
- std::ranges::equal_to、 std::ranges::not_equal_to、 std::ranges::less、 std::ranges::greater、 std::ranges::less_equal、 std::ranges::greater_equal 及 std::compare_three_way
成员类型
成员类型 | 定义 |
is_transparent
|
/* 未指定 */ |
成员函数
operator() |
检查第一参数是否大于第二参数 (公开成员函数) |
std::ranges::greater::operator()
template< class T, class U > requires std::totally_ordered_with<T, U> // 有不同的语义要求 |
||
比较 t
与 u
。等价于 return ranges::less{}(std::forward<U>(u), std::forward<T>(t)); 。
注解
不同于 std::greater , std::ranges::greater
要求全部六个比较运算符 <
、 <=
、 >
、 >=
、 ==
及 !=
合法(经由 totally_ordered_with
约束),并且完全以 std::ranges::less 定义。然而实现有直接使用 operator> 的自由,因为那些概念要求比较运算符的结果一致。
示例
本节未完成 原因:暂无示例 |
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3530 | C++20 | 在比较指针时放松了语法检查 | 仅放松语义要求 |
参阅
实现 x > y 的函数对象 (类模板) |