|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Defined in header <functional> | ||
template<> class greater_equal<void>; | (since C++14) | |
std::greater_equal<void> is a specialization ofstd::greater_equal with parameter and return type deduced.
Contents |
| Nested type | Definition |
is_transparent | unspecified |
operator() | tests iflhs compares greater or equal 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 <functional>#include <initializer_list> constexprbool strictly_not_negative(int lhs){returnstd::greater_equal<>()(lhs,0);} int main(){constexprint low=0, high=8;std::greater_equal<> greater_equal{}; static_assert(greater_equal(high, low)); static_assert(greater_equal(low, low)); staticconstexprauto arr={-1,0,1,2,3,4}; static_assert(!std::all_of(arr.begin(), arr.end(), strictly_not_negative)); static_assert(std::all_of(arr.begin()+1, arr.end(), strictly_not_negative));}
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 |