|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Defined in header <functional> | ||
template<class T> struct less; | (until C++14) | |
template<class T=void> struct less; | (since C++14) | |
Function object for performing comparisons. The main template invokesoperator< on typeT.
Contents |
(C++14) | function object implementingx< y deducing parameter and return types (class template specialization)[edit] |
| Type | Definition |
result_type(deprecated in C++17)(removed in C++20) | bool |
first_argument_type(deprecated in C++17)(removed in C++20) | T |
second_argument_type(deprecated in C++17)(removed in C++20) | T |
These member types are obtained via publicly inheritingstd::binary_function<T, T,bool>. | (until C++11) |
operator() | checks whether the first argument isless than the second (public member function) |
bool operator()(const T& lhs,const T& rhs)const; | (constexpr since C++14) | |
Checks whetherlhs isless thanrhs.
| lhs, rhs | - | values to compare |
lhs< rhs.
IfT is a pointer type, the result is consistent with theimplementation-defined strict total order over pointers.
May throw implementation-defined exceptions.
constexprbool 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<>>constexprbool 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.6static_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(){}
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 2562 | C++98 | the pointer total order might be inconsistent | guaranteed to be consistent |
| function object implementingx== y (class template)[edit] | |
| function object implementingx> y (class template)[edit] | |
(C++20) | constrained function object implementingx< y (class)[edit] |
