同じ2つの数字を比較できるかどうかを尋ねる理由がわかりません。3 > 3
3は3と同じですが、なぜこのような比較が機能することを期待しないのでしょうか。>
演算子は、左側が右側よりも大きい場合はtrueを返し、そうでない場合はfalseを返します。この場合、.8
は、より大きくないa
ため、結果はfalseになります。
他の人々は、あなたが浮動小数点の丸めの問題について質問していると思っているようです。ただし、正確な数学を使用しても、.8 > .8
は誤りであり、それが、示したコードで得られる結果です。elseブランチが取得されます。したがって、ここで説明する予期しない動作はありません。
あなたの本当の質問は何ですか?
浮動小数点効果について質問している場合は、以下にいくつかの情報を示します。
Cソースでは、テキスト「.8」は、.8に最も近い倍精度で表現できる数値の1つを表します。(適切な実装では最も近い数値を使用しますが、C標準では多少の余裕があります。)最も一般的な浮動小数点形式では、.8に最も近い倍精度値は(16進数の浮動小数点数値として)0x1.999999999999ap-です。 1、これは(10進数で)0.8000000000000000444089209850062616169452667236328125です。
この理由は、2進浮動小数点は、2の累乗を表すビットのみで数値を表すためです。(2の累乗は浮動小数点値の指数に依存しますが、指数に関係なく、小数部のすべてのビットは、.5、.25、.125、.0625、および.0625などの2の累乗を表します。 .8は2の累乗の正確な倍数ではないため、小数部の使用可能なビットがすべて使用される場合、結果の値は.8にのみ近くなります。正確ではありません。
初期化float a = .8;
により、倍精度値が単精度に変換されるため、に割り当てることができます。単精度では、.8に最も近い表現可能な数値は0x1.99999ap-1(10進数では0.800000011920928955078125)です。
したがって、「。8」をaと比較すると、それ.8 > a
は誤りであることがわかります。
.7などの他の値の場合、最も近い表現可能な数値は異なる方法で処理され、関係演算子はtrueを返します。たとえば、.7 > .7f
trueです。(ソースコードのテキスト「.7f」は、.7に近い単精度浮動小数点値を表します。)