std::greater_equal<void>
Defined in header <functional>
|
||
template<> class greater_equal<void>; |
(since C++14) | |
std::greater_equal<> is a specialization of std::greater_equal with parameter and return type deduced.
Implementation-defined strict total order over pointers
The function call operator yields the implementation-defined strict total order over pointers if the >=
operator between arguments invokes a built-in comparison operator for a pointer, even if the built-in >=
operator does not.
The implementation-defined strict total order is consistent with the partial order imposed by built-in comparison operators (<=>
, (since C++20)<
, >
, <=
, and >=
), and consistent among following standard function objects:
- std::less, std::greater, std::less_equal, and std::greater_equal, when the template argument is a pointer type or void
(since C++20) |
Member types
Member type | Definition |
is_transparent
|
/* unspecified */ |
Member functions
operator() |
tests if the lhs compares greater or equal than rhs (public member function) |
std::greater_equal<>::operator()
template< class T, class U> constexpr auto operator()( T&& lhs, U&& rhs ) const |
||
Returns the result of std::forward<T>(lhs) >= std::forward<U>(rhs).
Parameters
lhs, rhs | - | values to compare |
Return value
The result of std::forward<T>(lhs) >= std::forward<U>(rhs).
If the comparison between both arguments resolves to a built-in comparison operator for a pointer type, the implementation-defined strict total order is used for comparison after converting both arguments to pointers.
Exceptions
May throw implementation-defined exceptions.
Notes
The member type is_transparent
indicates to the caller that this function object is a transparent function object: it accepts arguments of arbitrary types and uses perfect forwarding, which avoids unnecessary copying and conversion when the function object is used in heterogeneous context, or with rvalue arguments. In particular, template functions such as std::set::find and std::set::lower_bound make use of this member type on their Compare
types.
Example
This section is incomplete Reason: no example |