isNaN方法

在阅读HashMap源码时,发现其有参构造方法中有个Float.isNaN(loadFactor) 方法

public HashMap(int initialCapacity, float loadFactor) {
        if (initialCapacity < 0)
            throw new IllegalArgumentException("Illegal initial capacity: " +
                                               initialCapacity);
        if (initialCapacity > MAXIMUM_CAPACITY)
            initialCapacity = MAXIMUM_CAPACITY;
        if (loadFactor <= 0 || Float.isNaN(loadFactor))
            throw new IllegalArgumentException("Illegal load factor: " +
                                               loadFactor);
        this.loadFactor = loadFactor;
        this.threshold = tableSizeFor(initialCapacity);
    }

翻看其源码

/**
 * 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 argument is NaN;
 *          {@code false} otherwise.
 */
public static boolean isNaN(float v) {
        return (v != v);
    }

结果自然是递归懵逼,返回布尔类型,v != v?自身怎么可能不等于自身。
其实不光是Float,Double类也存在该方法,通过函数注释我们大致能对这个函数作用有个基本了解,首先isNaN其实就是is not a number的简写,函数的作用是如果传入的一个NaN类型的变量就返回true,否则返回false

NaN类型

首先翻看Float与Double类的源码我们可以发现其实它们都是有定义一个名为NaN的常量的

/**
 * A constant holding a Not-a-Number (NaN) value of type
 * {@code float}.  It is equivalent to the value returned by
 * {@code Float.intBitsToFloat(0x7fc00000)}.
 */
public static final float NaN = 0.0f / 0.0f;

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

通过测试可以发现当使用isNaN方法传入上述定义的NaN常量,返回的就是true,说明上面定义的两个常量都属于NaN类型

Java中的NaN类型

Java虚拟机在处理浮点数运算时,不会抛出任何运行时异常(这里所讲的是java语言中的异常,请勿与IEEE 754规范中的浮点异常相互混淆,IEEE 754的浮点异常是一种运算信号),当一个操作产生溢出时,将会使用有符号的无穷大来表示,如果某个操作结果没有明确的数学定义的话,将会使用NaN值来表示,所有使用NaN值作为操作数的算术操作,结果都返回NaN。Java中的Double和Float中都有isNaN函数,判断一个数是不是NaN,其实现都是通过上述 v != v 的方式,因为NaN是唯一与自己不相等的值,NaN与任何值都不相等。有些操作会使isNaN返回True,例如:

System.out.println(Float.isNaN(0.0f / 0.0f));
System.out.println(Double.isNaN(Math.sqrt(-1)));

Double的NaN定义:

/**
  * 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,它的效果和Double.longBitsToDouble(0x7ff8000000000000L)的返回值是一样的,我们可以看看Double.longBitsToDouble中的定义:

If the argument is any value in the range 0x7ff0000000000001L through 0x7fffffffffffffffL or in the range 0xfff0000000000001L through 0xffffffffffffffffL, the result is a NaN. No IEEE 754 floating-point operation provided by Java can distinguish between two NaN values of the same type with different bit patterns.
  如上可知,二进制的0x7ff0000000000001L~0x7fffffffffffffffL 和 0xfff0000000000001L~0xffffffffffffffffL 之间的数值是被定义成NaN类型,类似正无穷大和负无穷大,但又有区别。在Float中也类似。

总之,在实际数值计算的过程中可能会出现一些非法的操作,导致产生了非法的数值,比如说除零,通过NaN来表示这样一个非数值,NaN与任何浮点数(包括自身)的比较结果都为假,即 (NaN ≠ x) = false,这是NaN独有的特性,所以可以使用与自己相比来确定当前数值是不是一个正常的数。