std::experimental::ranges:: greater_equal
|
ヘッダー
<experimental/ranges/functional>
で定義
|
||
|
template
<
class
T
=
void
>
requires StrictTotallyOrdered
<
T
>
||
|
(ranges TS) | |
|
template
<>
struct greater_equal < void > ; |
(ranges TS) | |
比較を実行するための関数オブジェクト。プライマリテンプレートは型
T
のconst lvalueに対して
operator
<
を呼び出し、結果を否定します。特殊化
greater_equal<void>
は関数呼び出し演算子のパラメータ型を引数から推論します(ただし戻り値の型は除く)。
greater_equal
のすべての特殊化は、
Semiregular
です。
目次 |
メンバー型
| メンバー型 | 定義 |
is_transparent
(
greater_equal<void>
特殊化のメンバーのみ)
|
/* 未指定 */ |
メンバー関数
|
operator()
|
第1引数が第2引数より
大きい
か
等しい
かをチェックする
(公開メンバ関数) |
std::experimental::ranges::greater_equal:: operator()
|
constexpr
bool
operator
(
)
(
const
T
&
x,
const
T
&
y
)
const
;
|
(1) |
(primary template
greater_equal<T>
のメンバーのみ)
|
|
template
<
class
T,
class
U
>
requires StrictTotallyOrderedWith
<
T, U
>
||
|
(2) |
(
greater_equal<void>
特殊化のメンバーのみ)
|
t
と
u
を比較する。
return
!
ranges::
less
<>
{
}
(
std::
forward
<
T
>
(
t
)
,
std::
forward
<
U
>
(
u
)
)
;
と等価。
注記
std::greater_equal
とは異なり、
ranges::greater_equal
は6つの比較演算子すべて
<
、
<=
、
>
、
>=
、
==
および
!=
が(
StrictTotallyOrdered
および
StrictTotallyOrderedWith
制約によって)有効であることを要求し、
ranges::less
によって完全に定義されます。ただし、実装は
operator
>=
を直接使用することも可能です。なぜなら、これらの概念は比較演算子の結果が一貫していることを要求するためです。
例
|
このセクションは不完全です
理由: 例がありません |
関連項目
|
関数オブジェクトの実装:
x
>=
y
(クラステンプレート) |