Каковы другие значения NaN?

Question

documentation for java.lang.Double.NaN говорит, что это

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

Это, по-видимому, означает, что есть другие. Если да, то как я их удержу, и это можно сделать портативно?

Чтобы было ясно, я хотел бы найти double значения x таким образом, что

Double.doubleToRawLongBits(x) != Double.doubleToRawLongBits(Double.NaN) 

и

Double.isNaN(x) 

оба являются истинными.

Answer 1

doubleToRawLongBits, а не doubleToLongBits.

doubleToRawLongBits извлекает фактическое двоичное представление. doubleToLongBits нет, он преобразует все NaN s по умолчанию NaN.

double n = Double.longBitsToDouble(0x7ff8000000000000L); // default NaN 
double n2 = Double.longBitsToDouble(0x7ff8000000000100L); // also a NaN, but M != 0 

System.out.printf("%X\n", Double.doubleToLongBits(n)); 
System.out.printf("%X\n", Double.doubleToRawLongBits(n)); 
System.out.printf("%X\n", Double.doubleToLongBits(n2)); 
System.out.printf("%X\n", Double.doubleToRawLongBits(n2)); 

выход:

7FF8000000000000 
7FF8000000000000 
7FF8000000000000 
7FF8000000000100 

Answer 2

IEEE 754 определяет NaN как число со всеми битами экспоненты, которые являются 1 и ненулевым числом в мантиссе.

Таким образом, для одинарной точности номера, который вы ищете:

S  E   M 
x 11111111 xxxxxx....xxx (with M != 0) 

Java обрабатывает это так:

Double n = Double.longBitsToDouble(0x7ff8000000000000L); // default NaN 
Double n2 = Double.longBitsToDouble(0x7ff8000000000100L); // also a NaN, but M != 0 

System.out.println(n.isNaN()); // true 
System.out.println(n2.isNaN()); // true 
System.out.println(n2 != Double.doubleToLongBits(Double.NaN)); // true 

Резюмируя, можно использовать любую NaN вы хотите, удовлетворяющий требованиям правила, указанные выше (все биты 1 в экспоненте и мантисса! = 0).

Answer 3

Java использует IEEE 754 для своих чисел с плавающей запятой и поэтому следует своим правилам.

В соответствии с Wikipedia page on NaN она определяется следующим образом:

Побитового пример IEEE с плавающей точкой стандартной одинарной точностью NaN: x111 1111 1axx xxxx xxxx xxxx xxxx xxxx, где x означает все равно.

Таким образом, существует немало битовых шаблонов, все из которых являются значениями NaN.