全順序判定

ウィキペディア小見出し辞書

全順序判定

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/04 08:56 UTC 版)

「IEEE 754」の記事における「全順序判定」の解説

この標準では totalOrder という述語を提供しており、それぞれの形式におけるあらゆる浮動小数点数の全順序を定義している。通常の大小比較の演算子で大小が決まる場合は、この述語も同じ結果になる。しかし、比較演算子ではNaNとの比較が判定できず、-0 と +0 は等しいという結果になる。totalOrder はそういった場合でも大小を判定し、複数の NaN や同じ数値を異なる符号化方式で表現した十進形式間でも大小を区別する。