}}概要strong_orderは2つの引数を受け取り、それらを全順序の上で比較する関数オブジェクトである。bの型Tが浮動小数点型の場合、Tの組み込みの比較演算子による順序と一貫するstrong_orderingの値を返す。60559のtotalOrderによる全順序と一致する。b)それ以外の場合、呼び出しは不適格。b)およびその戻り値のstrong_orderingへの変換が例外を送出するかに従う。bおよびその戻り値のstrong_orderingへの変換が例外を送出するかに従う。b)およびその戻り値のstrong_orderingへの変換が定数評価可能であるかに従う。bおよびその戻り値のstrong_orderingへの変換が定数評価可能であるかに従う。カスタマイゼーションポイント上記「効果」節2,4のケースでは、ユーザー定義のstrong_order()もしくは<=>演算子を定義しておくことによって実行される比較をカスタマイズすることができる。bの型Tと同じ名前空間、もしくはTの定義内でfriend関数としてstrong_order()を定義しておく。bの型Tに対して、使用可能な<=>演算子を定義しておく。どちらのケースもその戻り値型はstrong_orderingに変換可能でなければならない。60559のtotalOrderによる全順序では、±0や内部表現の異なるNaNを区別した上で順序付けされる。本関数オブジェクトによる浮動小数点数の比較においてはこれらの値を識別することができる。その順序付けは以下のようになる。NaN}それぞれの種類のNaNの集合内では、NaNのペイロード(先頭ビットを除いた仮数部)の表現によって順序付けされる。下に提供されています。