std::less
来自 cppreference.com
< cpp | utility | functional
| 在头文件 <functional> 中定义 |
||
template< class T > struct less; |
(直到 C++14) | |
| template< class T = void > struct less; |
(从 C++14 开始) | |
用于执行比较的函数对象。主模板调用 operator< 在类型 T 上。
内容 |
[编辑] 特化
| (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; |
(从 C++14 开始为 constexpr) | |
检查 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 的约束函数对象 (类) |
