我只是好奇这个:
在Java中评估1/0
时,会发生以下异常:
线程“main”中的异常java.lang.ArithmeticException:/在Foo.main中为零(Foo.java:3)
但1/0.0
被评估为Infinity
。
public class Foo {
public static void main (String[] args) {
System.out.println(1/0.0);
}
}
为什么会这样?
那是因为整数没有+/- Inf,NaN的值,并且不允许除以0,而浮点数确实具有这些特殊值。
1/0是两个整数的除法,并抛出一个异常,因为你不能除以整数零。但是,0.0是double类型的文字,Java将使用浮点除法。 IEEE浮点规范具有除以零的特殊值(除其他外),其中一个是double .Infinity。
如果您对细节感兴趣,浮点规范(通常是神秘的)在维基百科上有一个页面:http://en.wikipedia.org/wiki/IEEE_754-2008,其全文也可以在线阅读:http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4610933。
1/0是整数除法,1 / 0.0是浮点除法 - 浮点数可以表示无效值,整数不能。
IEEE已经定义了浮点数的某些标准,其中包括“非数字”和正负无穷大的定义。这些不适用于整数。
见http://steve.hollasch.net/cgindex/coding/ieeefloat.html
这些特殊情况的原因基本上是舍入错误。浮点数通常总是被截断,因为它们永远不会精确。另一方面,整数总是精确的。
fetestexcept
和feenableexcept
值得注意的是,底层CPU硬件可以检测到0.0 / 0.0
的具体情况,并且:
fetestexcept(FE_ALL_EXCEPT) == FE_INVALID
查询feenableexcept(FE_INVALID)
glibc扩展启用了异常,则引发异常但是我无法找到Java是否公开了这个功能。
这是一个最小的可运行C示例:What is difference between quiet NaN and signaling NaN?