std::ranges:: less

std::ranges::less:: operator()

式 std:: forward < T > ( t ) < std:: forward < U > ( u ) を expr として与えられたとき：

• expr がポインタ比較の 組み込み operator < 呼び出しとなる場合、 t と u の 複合ポインタ型 を P として：

• 変換後の t （型 P ）が変換後の u （型 P ）より 実装定義のポインタの厳密な全順序 において先行する場合、 true を返し、そうでなければ false を返す。
• T から P への変換シーケンス、または U から P への変換シーケンスが 等価性保存 でない場合、動作は未定義。

• それ以外の場合：

• expr の結果を返す。
• std:: totally_ordered_with < T, U > がモデル化されない場合、動作は未定義。

このオーバーロードは、 std:: totally_ordered_with < T, U > が満たされる場合にのみオーバーロード解決に参加する。

型 T の式 expr1 と型 U の式 expr2 が存在し、 expr1 と expr2 の比較結果が 厳密な全順序 （規則は下記で定義）に違反する場合、動作は未定義。

expr1 と expr2 の比較結果が厳密な全順序に従うのは、以下の式のうち 厳密に1つ が true である場合に限る：

• std :: ranges:: less { } ( expr1, expr2 )
• std :: ranges:: less { } ( expr2, expr1 )
• std :: ranges:: equal_to { } ( expr1, expr2 )