摘要
在Java 6(可能更早)中,
round(x)实现为
floor(x+0.5)。1 这是一个规范错误,恰恰是这种病理情况。2 Java 7不再强制执行此无效的实现。3
问题
0.5 + 0.499999999999999999994的双精度正好为1:
static void print(double d) { System.out.printf("%016xn", Double.doubleToLongBits(d));}public static void main(String args[]) { double a = 0.5; double b = 0.49999999999999994; print(a); // 3fe0000000000000 print(b); // 3fdfffffffffffff print(a+b); // 3ff0000000000000 print(1.0); // 3ff0000000000000}这是因为0.49999999999999994的指数小于0.5,因此当添加它们时,尾数会移动,并且ULP会变大。
解决方案
从Java 7开始,例如,OpenJDK实现了它:4
public static long round(double a) { if (a != 0x1.fffffffffffffp-2) // greatest double value less than 0.5 return (long)floor(a + 0.5d); else return 0;}


