乘法时能否将0.99999999999舍入为1.0？

Question

当将非常接近1的浮点数乘以int> 0时，它是否可以解释为1。

也就是说，如果Math.random()返回其最高可能结果（比1.0低1步），则

(int)(Math.random() * 8)

是8还是7？

举一个实际的例子，这个经常使用的结构能否给出超出范围的索引错误：

someArray[(int)(Math.random() * someArray.length)];

我对Java和ActionScript 3的答案特别感兴趣，但是我想它们都对浮点算术使用相同的规则，并且对于任何平台的答案都将很有用。

更新 ：尽管我已经接受了一个答案，但是我仍然很高兴确认在ActionScript
3中也不会出错，因为一位同事报告说他一次看到它出错了，这在一定程度上促使了我提出这个问题。

Answer 1

如果将1.0以下的最大值乘以someInt（> 0），结果将永远不会是someInt。

可以对整数进行彻底测试，如下所示：

Double greatestLessThanOne = Double.longBitsToDouble(4607182418800017407L);

// Assert that greatestLessThanOne is indeed the largest double less than 1.
//assert 1.0 == greatestLessThanOne + Math.ulp(greatestLessThanOne);

for (int i = 1; i >= 0; i++)
    if ((int) (greatestLessThanOne * i) == i)
        System.out.println("Exception found: " + i);

该代码段不产生任何输出。

（Math.ulp返回给定double和double值之间的距离，此距离随后在幅度上更大。因此，该断言确保greatestLessThanOne确实是小于1.0的最大值。）

换句话说，你的线

Object element = elementArray[(int)(Math.random() * elementArray.length)];

永远不会引发ArrayIndexOutOfBoundsException。

此外，根据Mark Dickinsons在此处的评论，当乘以double时也是如此。

通过采用舍入至最接近模式的IEEE 754浮点运算，可以显示x * y <y x < 1.0以及任何非微小正数y。（如果y它是次普通数或最小的正普通数，则可能会失败。）