std::greater_equal<void>

Определён в заголовочном файле `<functional>`
template<> class greater_equal<void>;		(начиная с C++14)

std::greater_equal<void> — это специализация std::greater_equal с выводимыми типами параметров и возвращаемого значения.

Вложенные типы

Вложенный тип	Определение
`is_transparent`	не определено

Функции-члены

operator()

проверяет, больше ли или равно lhs значению rhs
(открытая функция-член)

std::greater_equal<void>::operator()

template< class T, class U >
constexpr auto operator()( T&& lhs, U&& rhs ) const
    -> decltype(std::forward<T>(lhs) >= std::forward<U>(rhs));

Возвращает результат std::forward<T>(lhs) >= std::forward<U>(rhs).

Параметры

lhs, rhs

сравниваемые значения

Возвращаемое значение

std::forward<T>(lhs) >= std::forward<U>(rhs).

Если вызывается встроенный оператор сравнения указателей, результат соответствует определяемому реализацией строгому полному порядку указателей.

Исключения

Могут быть выброшены исключения, определяемые реализацией.

Пример

#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));
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

Отчёт об ошибке	Применяется к	Опубликованное поведение	Исправленное поведение
LWG 2562	C++98	полный порядок указателей мог быть несогласованным	гарантируется согласованность

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/functional/greater_equal_void