std::greater<void>
From cppreference.com
< cpp | utility | functional
| ヘッダ <functional> で定義 |
||
| template<> class greater<void>; |
(C++14以降) | |
std::greater<void> は、パラメータと戻り値の型が推論される std::greater の特殊化です。
目次 |
[編集] ネストされた型
| ネストされた型 | 定義 |
is_transparent
|
unspecified |
[編集] メンバ関数
| operator() |
lhs が rhs よりも大きいかどうかを比較します。(public member function) |
std::greater<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 <cstdint> #include <functional> constexpr bool strictly_positive(int lhs) { return std::greater<>()(lhs, 0); } int main() { constexpr std::int64_t low = 0B11; constexpr std::uint16_t high = 0X11; std::greater<> greater{}; static_assert(greater(high, low)); constexpr static auto arr = {0, 1, 2, 3, 4, 5}; static_assert(!std::all_of(arr.begin(), arr.end(), strictly_positive)); static_assert(std::all_of(arr.begin() + 1, arr.end(), strictly_positive)); }
[編集] 不具合報告
以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。
| DR | 適用対象 | 公開された動作 | 正しい動作 |
|---|---|---|---|
| LWG 2562 | C++98 | ポインタの全順序が不整合である可能性がある | 一貫性が保証される |