Почему Double.NaN == Double.NaN возвращает false?

Question

Я просто изучая OCPJP вопросы, и я нашел этот странный код:

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

Когда я запускал код, я получил:

false 
true 

Как выход false, когда мы сравниваем две вещи которые выглядят одинаково друг с другом? Что означает NaN?

Answer 1

NaN означает «Не номер».

Java Language Specification (JLS) Third Edition says:

Операция, которая разливается производит подписанную бесконечность, операция, которая производит недостаточный денормализованного значение или ноль, подписанный и операцию, которая не имеет математически определенный результата производит NaN. В результате числовые операции с NaN в качестве операнда дают NaN. Как уже было описано, NaN неупорядочен, поэтому операция числового сравнения с одним или двумя NaN возвращает false и любое сравнение != с использованием NaN возвращает true, включая x!=x, когда x является NaN.

Answer 2

NaN - особое значение, которое обозначает «не число»; это результат определенных недействительных арифметических операций, таких как sqrt(-1), и имеет (иногда раздражающее) свойство, которое NaN != NaN.

Answer 3

javadoc for Double.NaN говорит все это:

Константа держит значение не является числом (NaN) типа double. Это эквивалентно значению, возвращаемому Double.longBitsToDouble(0x7ff8000000000000L).

Интересно, что источник Double определяет NaN таким образом:

public static final double NaN = 0.0d/0.0; 

Особое поведение вы описываете зашитыми в JVM.

Answer 4

Не число представляет собой результат операций, результат которых не представляется числом с номером. Самая известная операция - 0/0, результат которой неизвестен.

По этой причине NaN не соответствует чему-либо (включая другие значения, отличные от числа). Для получения дополнительной информации, просто проверить страницу википедии: http://en.wikipedia.org/wiki/NaN

Answer 5

Почему эта логика

NaN означает Not a Number. Что не число? Что-нибудь. Вы можете иметь что-нибудь в одной стороне и что-нибудь в другой стороне, поэтому ничто не гарантирует, что оба они равны.NaN рассчитывается с Double.longBitsToDouble(0x7ff8000000000000L) и, как вы можете увидеть в документации longBitsToDouble:

Если аргумент ссылается на любое значение в диапазоне 0x7ff0000000000001L через 0x7fffffffffffffffL или в диапазоне 0xfff0000000000001L через 0xffffffffffffffffL, результатом является NaN.

Кроме того, NaN логически обрабатывается внутри API.

---

Документация

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

Answer 6

NaN по определению не равно любому числу, включая NaN. Это часть стандарта IEEE 754 и реализуется CPU/FPU. Это не то, что JVM должно добавить любую логику для поддержки.

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

Сравнение с NaN всегда возвращает неупорядоченный результат даже при сравнении с самим собой. ... Предикаты равенства и неравенства не сигнализируют, так что x = x возвращение false может быть использовано для проверки, является ли x тихим NaN.

Java рассматривает все NaN как спокойные NaN.

Answer 7

в соответствии, The IEEE standard for floating point arithmetic для чисел двойной точности,

Стандарт 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" 

Answer 8

Оно не может быть прямым ответом на вопрос. Но если вы хотите, чтобы проверить, если что-то равно Double.NaN вы должны использовать это:

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

Это вернет true

Answer 9

Согласно этому link, имеет различные ситуации, и трудно вспомнить. Вот как я помню и различал их. NaN означает «математически неопределенный», например: «результат 0, деленный на 0, не определен», а также потому, что он не определен, поэтому «сравнение, связанное с неопределенным, конечно, не определено». Кроме того, он больше похож на математические помещения. С другой стороны, как положительное, так и отрицательное бесконечное является предопределенным и окончательным, например «положительное или отрицательное бесконечное большое, математически хорошо определено».