double型の値の比較

Question

3つの実数の値を宣言し、それぞれの値を以下のコードと比較しようとしました。最初の比較（d==f）において

public class Main { 
    public static void main(String[] args) { 
     float f = 0.1f; 
     double d= 0.1; 
     double d2 = (double)f; 

     System.out.println(d); 
     System.out.println(d2); 
     System.out.println(); 

     System.out.println(d==f); 
     System.out.println(d==d2); 
     System.out.println(d2==f); 
    } 
} 

、dはfはfloat型であるため、コンパイラはダブル型に可変fを変え、一方double型であるからです。これは、fに格納されている値がdouble型の値に再割り当てされることを意味します。したがって、この比較はfalseを返します。また、d==d2比較が実行され、最初の比較で同じ方法でfalseが返されます。

ただし、最後の比較d2==fはtrueを返します。変数fがdouble型の値に再割り当てされ、d2とfに格納されている値が少し違うので、私はfalseを返すと予想しました。しかし、結果は真です。

第3の比較が真実を示した理由を説明できますか？

Answer 1

あなたが言ったようにdoubleとfloatを比較するとき、floatはdoubleにキャストされます。

そこで、そのコンテキストで変数に何が起こっているのかを考えてみましょう。

d2は、floatからキャストされたdoubleであり、fはdoubleにキャストされるfloatです。

両方とも同じタイプから同じタイプに同じタイプでキャストされているので、キャストの仕組みは実際には問題にならず、どちらも同じことを評価します。

Answer 2

0.1は、バイナリで表現されたときの繰り返し番号です。

doubleがfloatよりも高い精度を持っているので、フロートにdoubleから変換するとき、あなたは情報を失うが、 `doubleにfloatから変換するとき、あなたは情報を失うことはありません。

A float has 24 bits of precision, while a double has 53 bits（マイナス記号に対して1つ）

d2はfから来ているので、d2とf両方が精度の23ビットを持っているが、dは依然として精度の52ビットを有します。