std::strict_weak_order

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

ファイルシステムライブラリ (C++17)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト
same_as derived_from convertible_to common_reference_with common_with	integral signed_integral unsigned_integral floating_point swappableswappable_with	destructible constructible_from default_constructible move_constructible copy_constructible assignable_from
比較のコンセプト
boolean	equality_comparableequality_comparable_with	totally_orderedtotally_ordered_with
オブジェクトのコンセプト
movable copyable	semiregular regular
callable のコンセプト
invocableregular_invocable	predicate	relation strict_weak_order

 

ヘッダ <concepts> で定義
template < class R, class T, class U > concept strict_weak_order = std::relation<R, T, U>;	(1)	(C++20以上)

コンセプト strict_weak_order<R, T, U> は relation R が引数に対して狭義弱順序を課すことを表します。 以下を満たす場合、関係 r は狭義弱順序です。

• 反射性を持たない。 すべての x について、 r(x, x) が false である。
• 推移性を持つ。 すべての a, b, c について、 r(a, b) および r(b, c) がどちらも true ならば r(a, c) が true である。
• e(a, b) を !r(a, b) && !r(b, a) としたとき、 e が推移性を持つ。 e(a, b) && e(b, c) が暗黙に e(a, c) を意味する。

これらの条件によって、 e が同値関係を持つこと、および r が e によって決定される同値類に対する狭義弱順序を発生させることが示されます。

ノート

relation と strict_weak_order の違いは純粋に意味論上のものです。