踩坑了，踩到一个特别无语的常识坑

Love The Way You Lie 2024-05-23 22:01 65阅读 0赞

![format_png][]

你好呀，我是歪歪。

踩坑了啊，又踩坑了啊！

这次踩到一个特别无语的常识坑。知道真相的那一刻，人就是整个麻掉。

![format_png 1][]

先上个代码：

private static double calculate(double a, int b) {
        return a / b;
    }
    复制代码

你先别问为什么计算不用 BigDecimal，反正程序里面就是有一个类似于这样的方法。

正常用起来也没啥毛病：

![format_png 2][]

注意，我说的是“正常使用看起来没毛病”，不正常使用是怎么样的呢？

![format_png 3][]

看到输出结果是 “Infinity” 的时候，我甚至揉了一下眼睛，以为自己是过于热爱工作，导致用眼过度，看花了。

有一说一，我真没见过这玩意。但是这个单词我认识啊：

![format_png 4][]

在我有限的认知里面， 0 是不可以作为除数的，如果作为除数会抛出异常才对。

但是这个简单的案例打破了我的认知，它不仅没有抛出异常，还给我了一个“无穷大的数”。

在一脸懵逼中，我知道，素材这不就来了嘛。

![format_png 5][]

### 搜索一番 ###

如果是在使用框架的过程中遇到问题，一般来说我是先自己调试一下，挣扎一波，看看是不是自己的打开方式不对。

但是这个问题太简单了，以至于我甚至找不到调试的角度。

怎么办？

只有直接拿出程序员的祖传技能了：面向浏览器编程。

于是我输入搜索关键字 “Java Infinity”，排在第一的是某博客网站：

![format_png 6][]

我个人是不太喜欢这个网站，所以我按照个人习惯重新搜索了一次：

![format_png 7][]

找到了下面这个链接：

> [www.cnblogs.com/zhisuoyu/p/…][www.cnblogs.com_zhisuoyu_p]

![format_png 8][]

从这篇文章中我知道了，原来在我的认知里面，0 作为除数会抛出下面这个异常，还有一个前提是“整型运算”：

> java.lang.ArithmeticException: / by zero

在 Double 和 Float 里面都定义了“正无穷”和“负无穷”这两个常量：

![format_png 9][]

![format_png 10][]

现在我知道在浮点运算的时候，0 是可以作为除数的。

但是，为什么呢？

Java 里面什么这样设计呢，为什么不一视同仁呢？

博客里面没有写，但是我知道要找到这个问题的答案，这个地方可以去看看：

> [stackoverflow.com/][stackoverflow.com]

于是我用 “Java Double Float Infinity” 关键字去查询了一下：

![format_png 11][]

很容易就找到了这个链接：

> [stackoverflow.com/questions/1…][stackoverflow.com_questions_1]

![format_png 12][]

这个提问者提出的问题翻译过来，和我前面遇到的问题一模一样：

> 为什么用 Float 或者 Double 除以零不会抛出 java.lang.ArithmeticExceptionL:/by zero 异常？

这个问题下的高赞回答是这样的：

![format_png 13][]

问题的终极答案就藏在这个高赞回答中，我给你解析一番。

![format_png 14][]

### 揭秘 ###

这个高赞回答，其实就只有一句话：

> In short, that's the way it's specified in the IEEE-754 standard, which is what Java's Floating-Point Operations are based on.

其他的部分都是引用。

在这一句话中，他提到了两个关键的东西：

*  IEEE-754 standard
 *  Java's Floating-Point Operations

意思就是 Java 的浮点运算是基于 IEEE-754 标准来的。

他给的其中一个超链接是 Java 语言规范：

> [docs.oracle.com/javase/spec…][docs.oracle.com_javase_spec]

![format_png 15][]

Java 语言规范表示：你要问我为什么，我只能告诉你我遵守的是 IEEE 754 这个国际规范。

所以，别问：

![format_png 16][]

那么这个 IEEE 754 是个什么东西呢？

我也不知道，所以查一下：

![format_png 17][]

好家伙，来头还不小。

IEEE，全称 Institute of Electrical and Electronics Engineers，电气和电子工程师协会。

IEEE 754 的全称是 IEEE Standard for Floating-Point Arithmetic。 表示电气和电子工程师协会制定的浮点运算技术标准。

Standard，标准，你明白吧？

得有一些 Standard，有些事情才好办，不然各自为战，各自兼容，难受的一比。

所以，该标准是为了解决在不同的浮点实现中的各种问题，这些问题使它们难以可靠地使用和移植。

一旦有了标准，大家都遵守，就好办了。

在标准中就规定了对于异常应该如何处理：

![format_png 18][]

来，框起来的部分，跟我大声的朗读一遍：

> Division by zero: an operation on finite operands gives an exact infinite result, e.g., 1/0 or log(0). **By default, returns ±infinity.**

针对“除以 0”异常，IEEE 754 规定：对有限操作数的运算会得到一个精确的无限结果，例如，1/0 或 log(0)。**默认情况下，返回 ±infinity。**

那么问题又来了？

为什么标准中要这样的规定呢？

在前面提到的高赞回答中，给到了这样的一个链接：

> [web.archive.org/web/2018011…][web.archive.org_web_2018011]

这个问题的答案就藏在这个链接里面：

![format_png 19][]

请问：为什么除以零（或溢出，或下溢）不会停止程序或引发错误？

下面给了一大段回复，我尝试着理解了几次，但是我发现有点超纲了，确实不知道具体啥意思。

我个人浅显的认为它要表达的意思是：这玩意使用范围很广，为了程序的稳定性，我不想抛出异常来终止程序，而使用者应该知道我这个“除 0 之后是一个无穷大的数”这样的设定。

所以到底为什么呢？

好了，

别问了，

就到这吧。

再问，

就不礼貌了。

![format_png 20][]

看完之后，你只需要记住一句话：**在 Java 里面，除数作为 0，不一定会抛出 ArithmeticException，千万不要形成这样的固化思维，从而影响自己排除问题的方向。**

[format_png]: https://img-blog.csdnimg.cn/img_convert/2572968c9e236a1720168974c5db58f8.webp?x-oss-process=image/format,png
[format_png 1]: https://img-blog.csdnimg.cn/img_convert/b92511eaa79b2350bc547a9656aea563.webp?x-oss-process=image/format,png
[format_png 2]: https://img-blog.csdnimg.cn/img_convert/1cfd13873afccaeb7602ec25d96b0f57.webp?x-oss-process=image/format,png
[format_png 3]: https://img-blog.csdnimg.cn/img_convert/b49a5468aa3cc0ed41d6ec3c6902bc87.webp?x-oss-process=image/format,png
[format_png 4]: https://img-blog.csdnimg.cn/img_convert/1bc9dfa516686d309268342d87715594.webp?x-oss-process=image/format,png
[format_png 5]: https://img-blog.csdnimg.cn/img_convert/5b1320765578df25afa900ea90ed2aef.webp?x-oss-process=image/format,png
[format_png 6]: https://img-blog.csdnimg.cn/img_convert/fcccb28a8bd2d3ef064c0398923a88c9.webp?x-oss-process=image/format,png
[format_png 7]: https://img-blog.csdnimg.cn/img_convert/1866e86b71d6a062ab8317a665b0c670.webp?x-oss-process=image/format,png
[www.cnblogs.com_zhisuoyu_p]: https://link.juejin.cn/?target=https%3A%2F%2Fwww.cnblogs.com%2Fzhisuoyu%2Fp%2F5314541.html
[format_png 8]: https://img-blog.csdnimg.cn/img_convert/837cbf78722ffe4413a63dc711e46317.webp?x-oss-process=image/format,png
[format_png 9]: https://img-blog.csdnimg.cn/img_convert/77bda648dbcfab3a66499d7dde5bd140.webp?x-oss-process=image/format,png
[format_png 10]: https://img-blog.csdnimg.cn/img_convert/20a7d1219685c1b86834a939ac785300.webp?x-oss-process=image/format,png
[stackoverflow.com]: https://link.juejin.cn/?target=https%3A%2F%2Fstackoverflow.com%2F
[format_png 11]: https://img-blog.csdnimg.cn/img_convert/8c09177cb33f7c8f389541bc95a72e4c.webp?x-oss-process=image/format,png
[stackoverflow.com_questions_1]: https://link.juejin.cn/?target=https%3A%2F%2Fstackoverflow.com%2Fquestions%2F12954193%2Fwhy-does-division-by-zero-with-floating-point-or-double-precision-numbers-not
[format_png 12]: https://img-blog.csdnimg.cn/img_convert/f5f183e1c899309b79354464e9c8bd9d.webp?x-oss-process=image/format,png
[format_png 13]: https://img-blog.csdnimg.cn/img_convert/0b7eef2ec2049e7ac9ad4f62233b6fe4.webp?x-oss-process=image/format,png
[format_png 14]: https://img-blog.csdnimg.cn/img_convert/255fb7d67f73cb12432853630027d1b3.webp?x-oss-process=image/format,png
[docs.oracle.com_javase_spec]: https://link.juejin.cn/?target=https%3A%2F%2Fdocs.oracle.com%2Fjavase%2Fspecs%2Fjls%2Fse7%2Fhtml%2Fjls-4.html%23jls-4.2.3
[format_png 15]: https://img-blog.csdnimg.cn/img_convert/e3de1b3c5ff7e26b2c7c96585546e71d.webp?x-oss-process=image/format,png
[format_png 16]: https://img-blog.csdnimg.cn/img_convert/6409b6d4975300347625517d6f8804f1.webp?x-oss-process=image/format,png
[format_png 17]: https://img-blog.csdnimg.cn/img_convert/e3afcc2acfbca1371b5bb1211c7909ce.webp?x-oss-process=image/format,png
[format_png 18]: https://img-blog.csdnimg.cn/img_convert/70fda5fb40ae55a96e60c8702ba11b4c.webp?x-oss-process=image/format,png
[web.archive.org_web_2018011]: https://link.juejin.cn/?target=https%3A%2F%2Fweb.archive.org%2Fweb%2F20180112211305%2Fhttp%3A%2F%2Fgrouper.ieee.org%2Fgroups%2F754%2Ffaq.html%23exceptions
[format_png 19]: https://img-blog.csdnimg.cn/img_convert/ad42f02ec770c695aa2f98b828ec8f6f.webp?x-oss-process=image/format,png
[format_png 20]: https://img-blog.csdnimg.cn/img_convert/dbecc192ff7004f08c29ad5c66d182b2.webp?x-oss-process=image/format,png