std:: equal_to, not_equal_to, less, greater, less_equal, greater_equal (std::experimental::propagate_const)

ヘッダーで定義 <experimental/propagate_const>
template < class T > struct equal_to < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)
template < class T > struct not_equal_to < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)
template < class T > struct less < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)
template < class T > struct greater < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)
template < class T > struct less_equal < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)
template < class T > struct greater_equal < std:: experimental :: propagate_const < T >> ;		(ライブラリ基盤仕様 TS v2)

標準比較関数オブジェクトは、 std:: experimental :: propagate_const < T > に対して部分的に特殊化されています。

p. t_ が std:: experimental :: propagate_const < T > p によってラップされたポインタ風オブジェクトを表すとする。このとき、型 std:: experimental :: propagate_const < T > のオブジェクト p と q が与えられた場合、以下が成り立つものとする：

• std:: equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: not_equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: not_equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: less < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less < T > ( ) ( p. t_ , q. t_ )
• std:: greater < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater < T > ( ) ( p. t_ , q. t_ )
• std:: less_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less_equal < T > ( ) ( p. t_ , q. t_ )
• std:: greater_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater_equal < T > ( ) ( p. t_ , q. t_ )

**注記**: 提供されたHTMLコードはC++コードスニペットを含んでおり、指示に従ってHTMLタグ、属性、および` `タグ内のC++コードは翻訳せず、元のフォーマットを保持しています。C++固有の用語（例: `std::equal_to`, `std::experimental::propagate_const`など）も翻訳対象外です。

注記

これらの特殊化は、 T がポインタ型である場合に、これらのクラステンプレートの特殊化が std:: experimental :: propagate_const < T > に対して全順序を生成することを保証します。たとえ対応する組み込み演算子が全順序を生成しない場合でも。

例

このセクションは不完全です 理由: 例がありません

関連項目

equal_to	関数オブジェクトの実装 x == y (クラステンプレート)
not_equal_to	関数オブジェクトの実装 x ! = y (クラステンプレート)
less	関数オブジェクトの実装 x < y (クラステンプレート)
greater	関数オブジェクトの実装 x > y (クラステンプレート)
less_equal	関数オブジェクトの実装 x <= y (クラステンプレート)
greater_equal	関数オブジェクトの実装 x >= y (クラステンプレート)