std::less

在标头 `<functional>` 定义
template< class T > struct less;		(C++14 前)
template< class T = void > struct less;		(C++14 起)

进行比较的函数对象。主模板会调用类型 T 上的 operator<。

特化

less<void>

(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; // 假设实现会处理指针全序
}

示例

运行此代码

#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（警告：隐式转换）
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（警告：隐式转换）
static_assert(std::less{}(5, 5.6) == true);         // less<void>：5.0 < 5.6
 
int main() {}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2562	C++98	指针全序可能不一致	保证一致

参阅

equal_to	实现 x == y 的函数对象 (类模板)
greater	实现 x > y 的函数对象 (类模板)
ranges::less (C++20)	实现 x < y 的受约束函数对象 (类)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库