順序付けできない(unordered)とは

“順序付けできない”(unordered)というのは,比較演算の一状態で, 比較演算においてオペランドの片方または両方が非数(NaN)になっていた場合に発生する状態のことである. IEEE754-1985では,比較において,次の4つの互いに背反な関係が存在すると定義している.

最初の3つ{未満,等しい,より大きい}については明らかだと思うが, 順序付けできない(unordered)という状態が発生する可能性があることは盲点になりやすいので注意が必要である. [インテルは“unordered”を“順序付けなし”と訳している. 規格の中には用語としての(比較によって発生する状態のひとつをさす用語としての)“unordered”のほかに, たとえば“when the operands are unordered”(オペランドが順序付けできない場合 [1] 7.1 Invalid Operation)のように 動詞としても使われているときがあるので注意する必要がある.]


はたいたかし
2004-01-19 初稿
2006-10-30 改訂3
トップ > 開発ツール > IEEE 754 浮動小数点演算