|
|
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Old binders and adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Defined in header <functional> | ||
template<> class greater<void>; | (since C++14) | |
std::greater<void> is a specialization ofstd::greater with parameter and return type deduced.
Contents |
Nested type | Definition |
is_transparent | unspecified |
operator() | tests iflhs compares greater thanrhs (public member function) |
template<class T,class U> constexprauto operator()( T&& lhs, U&& rhs)const | ||
Returns the result ofstd::forward<T>(lhs)>std::forward<U>(rhs).
lhs, rhs | - | values to compare |
std::forward<T>(lhs)>std::forward<U>(rhs).
If a built-in operator comparing pointers is called, the result is consistent with theimplementation-defined strict total order over pointers.
May throw implementation-defined exceptions.
#include <algorithm>#include <cstdint>#include <functional> constexprbool strictly_positive(int lhs){returnstd::greater<>()(lhs,0);} int main(){constexprstd::int64_t low=0B11;constexprstd::uint16_t high=0X11;std::greater<> greater{}; static_assert(greater(high, low)); constexprstaticauto arr={0,1,2,3,4,5}; static_assert(!std::all_of(arr.begin(), arr.end(), strictly_positive)); static_assert(std::all_of(arr.begin()+1, arr.end(), strictly_positive));}
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 |