std::greater_equal<void>
来自 cppreference.com
< cpp | utility | functional
定义在头文件 <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 |
||
返回 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++ 标准。
DR | 适用 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 2562 | C++98 | 指针的总顺序可能不一致 | 保证一致 |