double转float精度疑问：自定义ThreadLocalRandom的nextFloat是否会越界？

问题背景 #

JDK的ThreadLocalRandom类提供了nextDouble(startInclusive, endExclusive)方法生成指定范围的双精度随机数，但没有对应的float版本。于是有人实现了如下自定义方法：

public static float nextFloat(float startInclusive, float endExclusive) {
    return (float) nextDouble(startInclusive, endExclusive);
}

但由于double转float存在精度损失，需要明确两个问题：转换后的float是否可能小于startInclusive或大于等于endExclusive？该如何解决？

问题分析 #

1. 是否会小于startInclusive？ #

不会。因为startInclusive作为float值，转换为double时是精确的（float的所有取值都能被double完整表示）。nextDouble(startInclusive, endExclusive)生成的double值必然大于等于startInclusive的double精确表示，将其转换为float时，最终结果要么等于startInclusive，要么比它大——float的精度低于double，舍入操作不会让结果比原double值更小到低于startInclusive。

2. 是否会大于等于endExclusive？ #

有可能。举个例子：假设endExclusive是0.1f，它对应的精确double值是0.10000000149011612。nextDouble可能生成一个略小于这个值的double（比如0.10000000149011611），但这个值转换为float时，会被舍入到最接近的float取值，也就是刚好等于0.1f，这就违反了[startInclusive, endExclusive)的范围要求。

解决方案 #

方案1：基于无参nextFloat直接生成（高效简洁） #

直接利用ThreadLocalRandom提供的无参nextFloat()（生成[0,1)范围的float），通过线性映射得到目标范围的随机数，完全避免double转float的问题：

public static float nextFloat(float startInclusive, float endExclusive) {
    if (startInclusive >= endExclusive) {
        throw new IllegalArgumentException("startInclusive必须小于endExclusive");
    }
    ThreadLocalRandom random = ThreadLocalRandom.current();
    float range = endExclusive - startInclusive;
    return startInclusive + range * random.nextFloat();
}

注意：当endExclusive - startInclusive的范围超过float的精度极限时，可能出现少量精度丢失，但日常业务场景下足够稳定可靠。

方案2：校验并重试（兼容原逻辑） #

如果想保留基于nextDouble的逻辑，可以对转换后的结果做校验，若等于endExclusive则重新生成：

public static float nextFloat(float startInclusive, float endExclusive) {
    if (startInclusive >= endExclusive) {
        throw new IllegalArgumentException("startInclusive必须小于endExclusive");
    }
    ThreadLocalRandom random = ThreadLocalRandom.current();
    float result;
    do {
        result = (float) random.nextDouble(startInclusive, endExclusive);
    } while (result >= endExclusive);
    return result;
}

这种方法的重试概率极低，几乎不影响性能，但能严格保证结果落在目标范围内。

方案3：基于float二进制位直接生成（最严谨） #

通过操作float的二进制整数表示，直接生成范围内的随机值，彻底消除精度问题：

public static float nextFloat(float startInclusive, float endExclusive) {
    if (startInclusive >= endExclusive) {
        throw new IllegalArgumentException("startInclusive必须小于endExclusive");
    }
    ThreadLocalRandom random = ThreadLocalRandom.current();
    int startBits = Float.floatToRawIntBits(startInclusive);
    int endBits = Float.floatToRawIntBits(endExclusive);
    
    // 生成[startBits, endBits)范围内的随机整数
    int randomBits = random.nextInt(startBits, endBits);
    return Float.intBitsToFloat(randomBits);
}

该方法直接在float的取值空间内生成随机数，完全符合[startInclusive, endExclusive)的范围要求，适合对精度要求极高的场景。

内容的提问来源于stack exchange，提问作者FredSuvn