002. java.lang.NumberFormatException: Infinite or NaN，怎么破？

你好，我是YourBatman：当我老了，也写代码；不为别的，只为爱好。

📚前言

如果你工作超5年，100%遇到过这个异常：java.lang.NumberFormatException: Infinite or NaN

• Infinite中文释义：极大的、无法衡量的、无穷尽的；
• NaN：Not a Number，不是一个数，它是计算机科学中数据类型的一种，代表不可表示的值，常用于浮点数计算中，于1985年纳入浮点数标准IEEE 754。

在 Java 中只有浮点类型（Float&Double）实现了IEEE 754标准

它还有些变种异常：阅完本文就知道这些异常本质上其实是一回事了

• java.lang.NumberFormatException: For input string: NaN
• java.sql.SQLException: 'NaN' is not a valid numeric or approximate numeric value

✍正文

java.lang.NumberFormatException: Infinite or NaN异常并不算常见（毕竟开发中浮点数远远没有整数使用场景多），但也绝不罕见。so，知道为何会出现此异常，以及如何解决它是每个开发者必知必会的知识点。

🌈异常哪里抛出来的？

（假设你看不到异常栈）从抛出的异常中可以提取到两个关键信息供以我们查找异常源头：

1. 异常类型：java.lang.NumberFormatException
2. 异常detail msg：Infinite or NaN

首先当然是利用Java语言强类型的优势，看看哪些地方引用到了java.lang.NumberFormatExceptionNumberFormatException：

OMG，在641个地方出现过，看到这个数字该当场死心了：这条信息基本就是无效信息。

无奈再根据关键字Infinite or NaN搜索试试：

太幸运了，有且仅有一处代码里存在。看看是哪里：

破案了： java.lang.NumberFormatException: Infinite or NaN异常有且仅在构造BigDecimal实例的时候才有可能抛出。

🌈抛出此异常的原因

既然抛出此异常的源码都找到了，并且还只有一处，回答此问题就非常容易了：

public BigDecimal(double val, MathContext mc) {
    if (Double.isInfinite(val) || Double.isNaN(val))
        throw new NumberFormatException("Infinite or NaN");
       
    ... // 省略其它代码
}

逻辑简单，将Double的两个方法isInfinite()和isNaN()一看便知：

public final class Double extends Number implements Comparable<Double> {
	
	// 常量
    public static final double POSITIVE_INFINITY = 1.0 / 0.0;
    public static final double NEGATIVE_INFINITY = -1.0 / 0.0;
    public static final double NaN = 0.0d / 0.0;

	public static boolean isInfinite(double v) {
	    return (v == POSITIVE_INFINITY) || (v == NEGATIVE_INFINITY);
	}
	public static boolean isNaN(double v) {
	    return (v != v);
	}
	
}

一个个来。

🚀isInfinite(double v)

public static final double POSITIVE_INFINITY = 1.0 / 0.0;
public static final double NEGATIVE_INFINITY = -1.0 / 0.0;

public static boolean isInfinite(double v) {
    return (v == POSITIVE_INFINITY) || (v == NEGATIVE_INFINITY);
}

将v和两个常量比较而已，逻辑不可谓不简单。那么关键点来了：什么情况下一个double类型的值会和POSITIVE_INFINITY/NEGATIVE_INFINITY常量相等呢？

其实看Double类对这两个常量的定义，就明白了（参考👆🏻常量定义代码）。为了更清晰的对号入座，笔者这里再来几个举一反三的case：

@Test
public void fun2() {
    // 等于Double.POSITIVE_INFINITY的场景
    System.out.println(1.0 / 0 == Double.POSITIVE_INFINITY); // true
    System.out.println(2.0 / 0 == Double.POSITIVE_INFINITY); // true
    System.out.println(1 / 0.0 == Double.POSITIVE_INFINITY); // true
    System.out.println(2 / 0.0 == Double.POSITIVE_INFINITY); // true
    System.out.println(new Double(Double.POSITIVE_INFINITY) == Double.POSITIVE_INFINITY); // true

    // 等于Double.NEGATIVE_INFINITY的场景
    System.out.println(-1.0 / 0 == Double.NEGATIVE_INFINITY); // true
    System.out.println(-2.0 / 0 == Double.NEGATIVE_INFINITY); // true
    System.out.println(-1 / 0.0 == Double.NEGATIVE_INFINITY); // true
    System.out.println(-2 / 0.0 == Double.NEGATIVE_INFINITY); // true
    System.out.println(new Double(Double.NEGATIVE_INFINITY) == Double.NEGATIVE_INFINITY); // true

    // 需特别注意的特殊case：
    System.out.println(1.0 / -0 == Double.POSITIVE_INFINITY); // -0和0没有区别，所以结果是POSITIVE(true)
    System.out.println(1.0 / -0.0 == Double.NEGATIVE_INFINITY); // -0.0和0.0是有区别的，所以结果是POSITIVE(false)
}

总结一下：浮点数除法运算，分母为0且分子不为0，结果就是POSITIVE_INFINITY/NEGATIVE_INFINITY。

Tips：它哥两分别称作正无穷大和负无穷大

🚀isNaN(double v)

public static final double NaN = 0.0d / 0.0;

public static boolean isNaN(double v) {
	return (v != v);
}

what？自己还能不等于自己？bug吧~

来看看：

@Test
public void fun3() {
	// double d = 0.0d / 0; // 结果一样

    System.out.println(d == Double.NaN);
    System.out.println(Double.isNaN(d));
}

运行后的输出结果为：

false
false -> d==d这个是false哟
true

惊不惊喜，意不意外：还真存在自己不等于自己的情况呢。

总结一下：浮点数除法计算，分母为0且分子为0，结果就是NaN。并且：每次计算的NaN都永不相等。

Tips：NaN代表不是数字，因此“不是数字”和“不是数字”不相等，从逻辑上好像也说得通嘛

🌈针对此异常的补充说明

围绕POSITIVE_INFINITY、NEGATIVE_INFINITY、NaN三个常量进行一些补充说明吧。

🚀直接打印输出什么？

@Test
public void fun4() {
    System.out.println(Double.POSITIVE_INFINITY);
    System.out.println(Double.NEGATIVE_INFINITY);
    System.out.println(Double.NaN);
}

运行程序，输出：

Infinity
-Infinity
NaN

总结一下：Double对象打印输出(toString或者序列化)，不一定永远是数字，也有可能是字符串。

🚀 是否可以参与运算和比较？

虽然是常量，但毕竟也是数字类型嘛，那就看看运算和比较喽：

运算：

@Test
public void fun7() {
    System.out.println("正无穷大参与运算：" + (Double.POSITIVE_INFINITY + 1)); // Infinity
    System.out.println("正无穷大参与运算：" + (Double.POSITIVE_INFINITY - 1)); // Infinity
    System.out.println("负无穷大参与运算：" + (Double.NEGATIVE_INFINITY * 1)); // -Infinity
    System.out.println("负无穷大参与运算：" + (Double.NEGATIVE_INFINITY / 1)); // -Infinity
    System.out.println("负无穷大参与运算：" + (Double.NEGATIVE_INFINITY / 0)); // -Infinity

    System.out.println("NaN参与运算：" + (Double.NaN + 1)); // NaN
    System.out.println("NaN参与运算：" + (Double.NaN - 1)); // NaN
    System.out.println("NaN参与运算：" + (Double.NaN * 1)); // NaN
    System.out.println("NaN参与运算：" + (Double.NaN / 1)); // NaN
    System.out.println("NaN参与运算：" + (Double.NaN / 0)); // NaN

    // 特殊场景
    System.out.println(Double.POSITIVE_INFINITY - Double.POSITIVE_INFINITY); // NaN
    System.out.println(Double.NEGATIVE_INFINITY - Double.NEGATIVE_INFINITY); // NaN
    System.out.println(Double.POSITIVE_INFINITY + Double.NEGATIVE_INFINITY); // NaN

    System.out.println("负无穷大参与运算：" + (Double.POSITIVE_INFINITY / -0.0)); // -Infinity
    System.out.println("负无穷大参与运算：" + (Double.NEGATIVE_INFINITY / -0.0)); // Infinity
}

总结一下：正/负无穷大和任何数值（包括除以0）做运算结果都是本身，和Infinite or NaN运算结果为NaN；NaN进行任何运算的结果都是NaN。

特例：正/负无穷大若除以-0的话，结果互调

比较：

@Test
public void fun6() {
    System.out.println("正无穷大 > 任何数吗？ -> " + (Double.POSITIVE_INFINITY > Double.MAX_VALUE)); // true
    System.out.println("正无穷大 > 任何数吗？ -> " + (Double.POSITIVE_INFINITY > Long.MAX_VALUE)); // true
    System.out.println("负无穷大 < 任何数吗？ -> " + (Double.POSITIVE_INFINITY > Double.MIN_VALUE)); // true
    System.out.println("负无穷大 < 任何数吗？ -> " + (Double.POSITIVE_INFINITY > Long.MIN_VALUE)); // true

    System.out.println("NaN参与比较：" + (Double.NaN == Double.NaN)); // false
    System.out.println("NaN参与比较：" + (Double.NaN > Double.NaN)); // false
    System.out.println("NaN参与比较：" + (Double.NaN < Double.NaN)); // false
    System.out.println("NaN参与比较：" + (Double.NaN < 1)); // false
    System.out.println("NaN参与比较：" + (Double.NaN < -1)); // false

    System.out.println("NaN参与比较：" + (Double.NaN != -1)); // true
    System.out.println("NaN参与比较：" + (Double.NaN != Double.NaN)); // true
}

总结一下：正无穷大比任何数值都大；负无穷大比任何数值都小；NaN参与!=比较永远是true(包括和自己比)，除此之外都为false。

🚀 Float里的这三个常量和Double一样吗？

弱弱问一句：2023年了在实际业务开发中，不会真有人使用Float吧？吧？吧？

灵魂拷问：如果你使用了Float，收益是什么？是否真的值得？

Float类里也存在这三个常量和判断的方法：

public final class Float extends Number implements Comparable<Float> {
	
	// 常量
    public static final float POSITIVE_INFINITY = 1.0f / 0.0f;
    public static final float NEGATIVE_INFINITY = -1.0f / 0.0f;
    public static final float NaN = 0.0f / 0.0f;

	public static boolean isInfinite(float v) {
	    return (v == POSITIVE_INFINITY) || (v == NEGATIVE_INFINITY);
	}
	public static boolean isNaN(float v) {
	    return (v != v);
	}
	
}

和Double可谓一毛一样嘛。看下这个：

@Test
public void fun5() {
    System.out.println(Double.POSITIVE_INFINITY == Float.POSITIVE_INFINITY);
    System.out.println(Double.NEGATIVE_INFINITY == Float.NEGATIVE_INFINITY);
    System.out.println(Double.NaN == Float.NaN);
}

运行程序，输出：

true
true
false

结论无需多言，自行体会做到心中有数哈。

🚀 其它语言的表现

以弱类型语言JavaScript为例：

表现和Java一样。毕竟NaN早已被纳入IEEE 754规范了，不出意外每种编程语言的表现都是一致的。

Tips：JavaScript中的isFinite()方法是正向思维的，和Java里isInfinite()是“反”着来的哦

🌈遇到此异常怎么破？

解决问题的难度永远在根因定位上，至于遇到此异常怎么破嘛，略！！！

考虑到代码的健壮性，实际场景中是可以对这些异常做预处理的：使用Double.isNaN()、Double.isInfinite()等方法来做分支逻辑

🍞总结

在Java中，浮点数0并非一个准确值，而是一个无限接近0的数。为此才闹出这么多令人费解的“幺蛾子”，这是由计算机底层原理决定的，记住就好，无解。

计算机的运算基于数学，但貌似也有些“不同于”数学理论。这不，NaN这玩意就是这么神奇的存在。

推荐阅读

• 001. 为啥用IDEA反编译没有擦除泛型？

本专栏源代码库：https://github.com/yourbatman/yourbatman-999-question

• 个人博客：https://yourbatman.cn
• 程序员网盘：https://wangpan.yourbatman.cn
• 女娲工程：https://start.yourbatman.cn
• 更多专栏：https://yourbatman.cn/columns |或| 公号后台回复“专栏列表”获取全部小而美的原创技术专栏

我是YourBatman，一个俗人，贪财好色。历经过延期毕业、卖保险、送外卖的大龄程序员，《梦幻西游》骨灰玩家；龙珠迷、火影迷。前大厂资深技术专家，现资深领域建模专家、Java架构师；高质量代码、DDD面向对象设计布道师；Spring开源贡献者，CSDN博客之星年度Top 10，出版书籍《Spring奇淫巧技》&《领域建模之面向对象程序设计》进行时。wx：yourbatman-u