java - 为什么 Math.nextAfter(Double.MAX_VALUE, 1) 不等于 Double.INFINITY？

Question

根据 the Javadoc :

public static double nextAfter(double start,
                           double direction)

...

• If start is equal to ± Double.MAX_VALUE and direction has a value such that the result should have a larger magnitude, an infinity with same sign as start is returned.

但根据this example :

System.out.println(Double.MAX_VALUE);
System.out.println(Math.nextAfter(Double.MAX_VALUE, 1));
System.out.println(Math.nextAfter(Double.MAX_VALUE, 1) == Double.POSITIVE_INFINITY);

输出:

1.7976931348623157E308
1.7976931348623155E308
false

嗯？它不仅不是Double.POSITIVE_INFINITY，而且实际上更小。

...157E308
...155E308

我是不是完全误读了 Javadoc？

Answer 1

文档具有误导性。

direction 参数需要大于 Double.MAX_VALUE 才能使返回值更大结果。

由于 1 较小，因此输出是 float 就在您提供的数字之前。

C++ 文档(在 IEEE754 下)更清晰，甚至明确说明了这种边缘情况:http://en.cppreference.com/w/cpp/numeric/math/nextafter