Double.NaN == Double.NaN neden yanlış döndürüyor?

Sadece OCPJP sorularını inceliyordum ve şu garip kodu buldum:

public static void main(String a[]) {
    System.out.println(Double.NaN==Double.NaN);
    System.out.println(Double.NaN!=Double.NaN);
}

Kodu çalıştırdığımda, var:

false
true

falseBirbirine aynı görünen iki şeyi karşılaştırdığımızda çıktı nasıl ? Ne anlama NaNgeliyor?

NaN "Sayı Değil" anlamına gelir.

Java Dil Belirtimi (JLS) Üçüncü Sürüm :

Taşan bir işlem, işaretli bir sonsuzluk, düşük değerdeki bir işlem denormalize değer veya işaretli bir sıfır üretir ve matematiksel olarak kesin bir sonucu olmayan bir işlem NaN üretir. Bir işlenen olarak NaN ile yapılan tüm sayısal işlemler sonuç olarak NaN üretir. Daha önce açıklandığı gibi, NaN sıralanmamıştır, bu nedenle bir veya iki NaN geri dönüşünü içeren bir sayısal karşılaştırma işlemi falseve !=NaN ne zaman truedahil olmak üzere NaN geri dönüşlerini içeren herhangi bir karşılaştırma .x!=xx

NaN tanım gereği NaN dahil herhangi bir sayıya eşit değildir. Bu IEEE 754 standardının bir parçasıdır ve CPU / FPU tarafından uygulanır. JVM'nin desteklemek için herhangi bir mantık eklemesi gereken bir şey değil.

http://en.wikipedia.org/wiki/NaN

Bir NaN ile karşılaştırma, kendisi ile karşılaştırılsa bile her zaman sırasız bir sonuç döndürür. ... Eşitlik ve eşitsizlik tahminleri sinyal vermediği için x = x return false, x'in sessiz bir NaN olup olmadığını test etmek için kullanılabilir.

Java tüm NaN'ye sessiz NaN gibi davranır.

Neden bu mantık

NaNanlamına gelir Not a Number. Sayı nedir? Herhangi bir şey. Bir tarafta ve diğer tarafta herhangi bir şey olabilir, bu yüzden hiçbir şey her ikisinin de eşit olduğunu garanti etmez. dokümantasyonunda görebileceğiniz ve aşağıdaki gibi NaNhesaplanır :Double.longBitsToDouble(0x7ff8000000000000L)longBitsToDouble

Bağımsız değişken aralığında bir değerde ise 0x7ff0000000000001Lyoluyla 0x7fffffffffffffffLya da aralığı 0xfff0000000000001Lthrough 0xffffffffffffffffLsonucu meydana gelir NaN.

Ayrıca, NaNAPI içinde mantıksal olarak ele alınır.

belgeleme

/** 
 * A constant holding a Not-a-Number (NaN) value of type
 * {@code double}. It is equivalent to the value returned by
 * {@code Double.longBitsToDouble(0x7ff8000000000000L)}.
 */
public static final double NaN = 0.0d / 0.0;

Bu arada, NaN bir kod örneği olarak test:

/**
 * Returns {@code true} if the specified number is a
 * Not-a-Number (NaN) value, {@code false} otherwise.
 *
 * @param   v   the value to be tested.
 * @return  {@code true} if the value of the argument is NaN;
 *          {@code false} otherwise.
 */
static public boolean isNaN(double v) {
    return (v != v);
}

Çözüm

Ne yapabilirsiniz olan kullanım compare/ compareTo:

Double.NaNbu yöntemle kendisine eşit ve diğer tüm doubledeğerlerden (dahil Double.POSITIVE_INFINITY) daha büyük olduğu düşünülür .

Double.compare(Double.NaN, Double.NaN);
Double.NaN.compareTo(Double.NaN);

Veya equals:

Eğer thisve argumentikisi de temsil Double.NaN, daha sonra equalsbu metot bize true, olsa bile Double.NaN==Double.NaNdeğeri vardır false.

Double.NaN.equals(Double.NaN);

Bu soruya doğrudan bir cevap olmayabilir. Ancak bir şeyin eşit olup olmadığını kontrol etmek Double.NaNistiyorsanız bunu kullanmalısınız:

double d = Double.NaN
Double.isNaN(d);

Bu geri dönecek true

Double.nan için javadoc her şeyi anlatıyor:

Sayı Değil (NaN) türünde bir sabit double. Tarafından döndürülen değere eşittir Double.longBitsToDouble(0x7ff8000000000000L).

İlginç bir şekilde, kaynak Doubletanımlayıp NaN, böylece:

public static final double NaN = 0.0d / 0.0;

Açıkladığınız özel davranış JVM'ye bağlanmıştır.

uyarınca, Çift Hassasiyetli sayılar için kayan noktalı aritmetik için IEEE standardını ,

IEEE çift kesinlikli kayar nokta standart gösterimi, soldan sağa 0'dan 63'e kadar numaralandırılmış olarak temsil edilebilecek 64 bitlik bir kelime gerektirir

nerede,

S: Sign – 1 bit
E: Exponent – 11 bits
F: Fraction – 52 bits 

Eğer E=2047(hepsi Evardır 1) ve Fdaha sonra sıfırdan farklı olduğu V=NaN( "Bir sayı değil")

Yani,

Tüm Ebitler 1 ise ve içinde sıfır olmayan bir bit Fvarsa sayı olur NaN.

bu nedenle, diğerleri arasında, aşağıdaki tüm sayılar NaN,

0 11111111 0000000000000000010000000000000000000000000000000000 = NaN
1 11111111 0000010000000000010001000000000000001000000000000000 = NaN
1 11111111 0000010000011000010001000000000000001000000000000000 = NaN

Özellikle, test edemezsiniz

if (x == Double.NaN) 

belirli bir sonucun eşit olup olmadığını kontrol etmek Double.NaN, çünkü tüm “sayı değil” değerleri ayrı kabul edilir. Ancak, Double.isNaNyöntemi kullanabilirsiniz :

if (Double.isNaN(x)) // check whether x is "not a number"

NaN "sayı değil" anlamına gelen özel bir değerdir; bu gibi bazı geçersiz aritmetik işlemlerin sonucudur sqrt(-1)ve (bazen sinir bozucu) özelliğe sahiptir NaN != NaN.

Sayı değil, sonucu bir sayı ile temsil edilemeyen işlemlerin sonucunu temsil etmez. En ünlü operasyon sonucu bilinmeyen 0/0.

Bu nedenle, NaN hiçbir şeye eşit değildir (diğer bir sayı olmayan değerler dahil). Daha fazla bilgi için wikipedia sayfasını kontrol edin: http://en.wikipedia.org/wiki/NaN

Bu bağlantıya göre , çeşitli durumları var ve hatırlanması zor. Onları bu şekilde hatırlıyorum ve ayırt ediyorum. NaN"matematiksel olarak tanımlanmamış" anlamına gelir: örneğin: "0'a bölünen 0 sonucunun tanımsız olduğu" ve tanımsız olduğu için "tanımsız ile ilgili karşılaştırma elbette tanımsızdır". Ayrıca, daha çok matematiksel tesisler gibi çalışır. Öte yandan, hem pozitif hem de negatif sonsuz önceden tanımlanmıştır ve tanımlayıcıdır, örneğin "pozitif ya da negatif sonsuz büyük matematikte iyi tanımlanmıştır".