std::less
来自 cppreference.cn
< cpp | utility | functional
| 定义于头文件 <functional> |
||
template< class T > struct less; |
(直到 C++14) | |
| template< class T = void > struct less; |
(自 C++14 起) | |
用于执行比较的函数对象。主模板调用类型 T 上的 operator<。
内容 |
[编辑] 特化
| (C++14) |
实现 x < y 并推导参数和返回类型的函数对象 (类模板特化) |
[编辑] 成员类型
| 类型 | 定义 |
result_type (在 C++17 中弃用)(在 C++20 中移除) |
bool |
first_argument_type (在 C++17 中弃用)(在 C++20 中移除) |
T
|
second_argument_type (在 C++17 中弃用)(在 C++20 中移除) |
T
|
|
这些成员类型通过公开继承 std::binary_function<T, T, bool> 获得。 |
(直到 C++11) |
[编辑] 成员函数
| operator() |
检查第一个参数是否小于第二个参数 (公有成员函数) |
std::less::operator()
bool operator()( const T& lhs, const T& rhs ) const; |
(constexpr 自 C++14 起) | |
检查 lhs 是否小于 rhs。
参数
| lhs, rhs | - | 要比较的值 |
返回值
lhs < rhs.
如果 T 是指针类型，则结果与 实现定义的指针严格全序一致。
[编辑] 异常
可能抛出实现定义的异常。
可能的实现
constexpr bool operator()(const T& lhs, const T& rhs) const { return lhs < rhs; // assumes that the implementation handles pointer total order } |
[编辑] 示例
运行此代码
#include <functional> template<typename A, typename B, typename C = std::less<>> constexpr bool fun(A a, B b, C cmp = C{}) { return cmp(a, b); } static_assert(fun(1, 2) == true); static_assert(fun(1.0, 1) == false); static_assert(fun(1, 2.0) == true); static_assert(std::less<int>{}(5, 5.6) == false); // 5 < 5 (warn: implicit conversion) static_assert(std::less<double>{}(5, 5.6) == true); // 5.0 < 5.6 static_assert(std::less<int>{}(5.6, 5.7) == false); // 5 < 5 (warn: implicit conversion) static_assert(std::less{}(5, 5.6) == true); // less<void>: 5.0 < 5.6 int main() {}
[编辑] 缺陷报告
以下行为更改的缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| LWG 2562 | C++98 | 指针全序可能不一致 | 保证一致 |
[编辑] 参见
| 实现 x == y 的函数对象 (类模板) | |
| 实现 x > y 的函数对象 (类模板) | |
| (C++20) |
实现 x < y 的约束函数对象 (类) |
