java - 浮点不准确会导致 Math.random() 或 new Random().nextFloat() 实际上返回值 <0 或 >=1 吗？

Question

一方面，Math.random() 或 new Random().nextFloat() 应该返回 0 到 1 之间的值，但不包括 1，另一方面， float 可能不准确，该值可能会因实际情况而异值(value)。这是否意味着 Math.random() 或 new Random().nextFloat() 实际上可能返回值 <0 或 >=1？如果不是，那为什么不会发生？

Answer 1

没有。该文档特别保证了可能输出的范围，并指定了实现必须等效于的算法:

public float nextFloat() {
  return next(24) / ((float)(1 << 24));
}

保证在半开区间 [0.0, 1.0) 内产生结果。

虽然浮点运算本质上必须对其结果进行舍入，但基本运算(如 / 或转换为 float )具有特定的标准化舍入行为。在这种情况下，所涉及的每个浮点运算的结果都是可以精确表示的，因此不会产生舍入误差。