Double.NaN == Double.NaNがfalseを返すのはなぜですか？

私はOCPJPの質問を調べていたところ、次の奇妙なコードが見つかりました。

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

私がコードを実行したとき、私は得ました：

false
true

false互いに同じように見える2つのものを比較すると、出力はどうなりますか？どういうNaN意味ですか？

NaNは「数ではない」を意味します。

Java言語仕様（JLS）の第3版は言う：

オーバーフローする演算は符号付き無限大を生成し、アンダーフローする演算は非正規化値または符号付きゼロを生成し、数学的に明確な結果を持たない演算はNaNを生成します。NaNをオペランドとするすべての数値演算は、結果としてNaNを生成します。既に説明したように、数値比較演算には、1つのまたは2つのNaN戻り伴うので、NaNは、順不同でありfalse、任意!=のNaN戻りを伴う比較trueを含む、x!=x場合xNaNであるが。

NaNは、定義上、NaNを含むどの数とも等しくありません。これはIEEE 754標準の一部であり、CPU / FPUによって実装されます。これは、JVMがサポートするロジックを追加する必要があるものではありません。

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

NaNとの比較は、それ自体と比較した場合でも、常に順序付けされていない結果を返します。...等式と不等式の述語はシグナルを送信しないため、x = xがfalseを返すことを使用して、xが静かなNaNかどうかをテストできます。

JavaはすべてのNaNをクワイエットNaNとして扱います。

なぜそのロジック

NaNを意味しNot a Numberます。数字とは何ですか？なんでも。あなたは片側に何でも持つことができ、反対側に何でも持つことができるので、両方が等しいことを保証するものは何もありません。NaNで計算さDouble.longBitsToDouble(0x7ff8000000000000L)れ、のドキュメントで確認できるようにlongBitsToDouble：

引数が範囲内の任意の値である場合0x7ff0000000000001Lを介して 0x7fffffffffffffffL又は範囲0xfff0000000000001Lを介して 0xffffffffffffffffL、結果はNaN。

また、NaNAPI内で論理的に処理されます。

ドキュメンテーション

/** 
 * 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;

ところで、NaN され、あなたのコードサンプルとして試験：

/**
 * 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);
}

解決

あなたができることはcompare/を使うことですcompareTo：

Double.NaNこのメソッドでは、それ自体と等しく、他のすべてのdouble値（を含むDouble.POSITIVE_INFINITY）よりも大きいと見なされます 。

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

またはequals：

thisとのargument両方が表す場合Double.NaN、equalsメソッドは値を持っtrueていますが、 戻りDouble.NaN==Double.NaNますfalse。

Double.NaN.equals(Double.NaN);

質問に対する直接の回答ではない可能性があります。しかし、何かが等しいかどうかを確認したいDouble.NaN場合は、これを使用する必要があります。

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

これは戻ります true

Double.NaNのjavadocはそれをすべて言います：

タイプの非数（NaN）値を保持する定数double。これは、によって返される値と同等Double.longBitsToDouble(0x7ff8000000000000L)です。

興味深いことに、defineのソースDoubleは次のNaNようになります。

public static final double NaN = 0.0d / 0.0;

説明する特別な動作は、JVMに組み込まれています。

あたりとして、浮動小数点演算のためのIEEE標準倍精度数のために、

IEEE倍精度浮動小数点標準表現には、64ビットワードが必要です。これは、左から右に0〜63の番号で表すことができます。

どこ、

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

場合はE=2047（すべてがEある1）とFゼロで、その後、V=NaN（「数字ではありません」）

つまり、

すべてのEビットが1で、ゼロ以外のビットが含まれているF場合、数値はNaNです。

したがって、とりわけ、以下の数値はすべてNaN、

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

特に、テストすることはできません

if (x == Double.NaN) 

特定の結果がと等しいかどうかを確認しDouble.NaNます。これは、すべての「数値ではない」値は別個のものと見なされるためです。ただし、次のDouble.isNaN方法を使用できます。

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

NaNは「数値ではない」ことを示す特別な値です。これは、などの特定の無効な算術演算の結果でsqrt(-1)あり、（ときどき煩わしい）プロパティがありNaN != NaNます。

数値ではないというのは、その結果が数値で表現できない操作の結果を表します。最も有名な操作は0/0で、その結果は不明です。

このため、NaNは何にも等しくありません（他の非数値を含む）。詳細については、ウィキペディアのページを確認してください：http : //en.wikipedia.org/wiki/NaN

このリンクによると、さまざまな状況があり、覚えにくいです。これは私がそれらを覚えて区別する方法です。NaNたとえば、「数学的に未定義」を意味します。たとえば、「0を0で割った結果は未定義」であり、未定義であるため、「未定義に関する比較はもちろん未定義」です。その上、それはより数学的な前提のように機能します。一方、正と負の両方の無限は事前定義され、決定的です。たとえば、「正または負の無限大は数学的に明確に定義されています」。