std::greater_equal

在标头 `<functional>` 定义
template< class T > struct greater_equal;		(C++14 前)
template< class T = void > struct greater_equal;		(C++14 起)

进行比较的函数对象。调用类型 T 上的 operator>= ，除非特化。

std::greater_equal 对任何指针类型的特化产生实现定义的严格全序，即使内建的 >= 运算符不如此。

实现定义的严格全序与比较运算符（ <=>、 (C++20 起)<、 >、 <= 及 >= ）所施加的偏序一致，并在下列标准函数对象间一致：

std::less、 std::greater、 std::less_equal 及 std::greater_equal ，当模板实参为指针类型或 void (C++14 起)时

(C++20 起)

(C++14)

实现 x >= y 并推导参数和返回类型的函数对象
(类模板特化)

类型	定义
`result_type` (C++17 中弃用)(C++20 中移除)	bool
`first_argument_type` (C++17 中弃用)(C++20 中移除)	`T`
`second_argument_type` (C++17 中弃用)(C++20 中移除)	`T`

这些成员类型由公开继承 std::binary_function<T, T, bool> 获得。

(C++11 前)

operator()

检查第一参数是否大于或等于第二个
(公开成员函数)

std::greater_equal::operator()

bool operator()( const T& lhs, const T& rhs ) const;		(C++14 前)
constexpr bool operator()( const T& lhs, const T& rhs ) const;		(C++14 起)

检查 lhs 是否大于或等于 rhs 。

lhs, rhs

要比较的值

对于不是指针类型的 T ，若 lhs >= rhs 则为 true ，否则为 false 。

对于是指针类型的 T ，若 lhs 在实现定义的严格全序中不前驱 rhs 则为 true ，否则为 false 。

可能抛出实现定义的异常。

constexpr bool operator()(const T &lhs, const T &rhs) const 
{
    return lhs >= rhs; // 假定实现使用平坦地址空间
}