std::greater_equal<void>
| Definido en el encabezado <functional>
|
||
template<>
class greater_equal<void>;
|
(desde C++14) | |
std::greater_equal<void> es una especialización de std::greater_equal con parámetro y tipo de retorno deducidos.
Tipos anidados
| Tipo anidado | Definición |
is_transparent
|
unspecified |
Funciones miembro
|
operator()
|
prueba si
lhs
es mayor o igual que
rhs
(función miembro pública) |
std::greater_equal<void>:: operator()
|
template
<
class
T,
class
U
>
constexpr
auto
operator
(
)
(
T
&&
lhs, U
&&
rhs
)
const
|
||
Devuelve el resultado de std:: forward < T > ( lhs ) >= std:: forward < U > ( rhs ) .
Parámetros
| lhs, rhs | - | valores a comparar |
Valor de retorno
std:: forward < T > ( lhs ) >= std:: forward < U > ( rhs ) .
Si se llama a un operador incorporado que compara punteros, el resultado es consistente con el orden total estricto definido por la implementación sobre punteros .
Excepciones
Puede lanzar excepciones definidas por la implementación.
Ejemplo
#include <algorithm> #include <functional> #include <initializer_list> constexpr bool strictly_not_negative(int lhs) { return std::greater_equal<>()(lhs, 0); } int main() { constexpr int low = 0, high = 8; std::greater_equal<> greater_equal{}; static_assert(greater_equal(high, low)); static_assert(greater_equal(low, low)); static constexpr auto 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)); }
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 2562 | C++98 | el orden total de punteros podría ser inconsistente | garantizado ser consistente |