等価演算子は等しくない値に対して真を返します

Question

doubleとlongという2つの変数yとzを持っています。私の問題は、以下のコードスニペットで見られるように不等な値を持っていても、等価演算子がtrueを返すことです。

public class Test { 
    public static void main(String[] args) throws Exception { 
     double y = (double) Long.MAX_VALUE; 
     System.out.println(y);//9.223372036854776E18 
     long z = Long.MAX_VALUE - 1; 
     System.out.println(z);//9223372036854775806 
     System.out.println(y == z);//=============true 
    } 
} 

zはyよりも1つの少ない値を持っている場合私のクエリは、なぜY == zは真に来てさ。

この動作を説明できる人がいますか。

Answer 1

ここでは2つのことが起こりました。 double == longで

1. 、longはdoubleからpromotedあります。式y == zは、(double) Long.MAX_VALUE == (double) (Long.MAX_VALUE - 1)と同じです。

2. doubleの精度は53ビットです。 long> 2 をdoubleに変換する場合、最下位ビットは丸められ、(double) Long.MAX_VALUE（= 2 -1）と(double) (Long.MAX_VALUE - 1)が同じ値になります。

Answer 2

y == zを評価するために、Javaは、二重にzを促進することがあります。

2^53 - 1より大きいlong値は、正確に二重で表すことはできません。

(double) Long.MAX_VALUE等しい(double) (Long.MAX_VALUE - 1)である。なぜなら、doubleは2つの値を明確に表現するのに十分な精度を持たないからである。

double delta = y - Math.nextDown(y); 

これは1024