如何获取不小于floatC的floatB整数倍最小数值floatA及代码验证

需求回顾 #

需要找到最小的浮点数floatA，满足两个核心条件：

• floatA是floatB的整数倍
• floatA ≥ floatC

示例：

float_c = 20.0
float_b = 7.0
# 7的整数倍有21、28、35...，其中≥20的最小值是21.0，因此float_a=21.0

原代码的精度问题 #

原代码通过「除法取上整再乘法」的逻辑，会因浮点数精度误差失效：

let tmp = float_c / float_b;
tmp = tmp.ceil();
float_a = tmp * float_b;

/* 反例：
float_c = 21.0
float_b = 7.0;
tmp = 21.0 /7.0;  // 实际计算可能得到3.00000000000001
tmp = tmp.ceil();   // 4.0
float_a = tmp *7.0; // 28.0，结果错误
*/

改进代码的可行性分析 #

你给出的改进代码逻辑如下：

float_c = 21.0
float_b = 7.0;
let tmp = 21.0 /7.0; // 3.00000000001
let tmp2 = tmp.ceil(); //4.0
let float_a = tmp2 * float_b;
let float_backtest = float_a - float_b;

if (Math.abs(float_backtest - float_c) < epsilon) {
    return float_c;
} else {
    return float_a;
}

可行场景 #

当floatC本身就是floatB的整数倍，但因浮点数精度导致除法结果略大于整数时，改进代码能正确修正错误：比如上述反例中，float_backtest=21.0与float_c=21.0的差绝对值远小于epsilon，因此返回floatC，得到正确结果。

存在的漏洞 #

该逻辑无法覆盖所有边界场景：

• 若floatC非常接近floatB的某个整数倍，但本身略大于该整数倍（比如float_c=21.0000000001，float_b=7.0），此时float_backtest=21.0与floatC的差绝对值极小（0.0000000001），若epsilon设置过大，代码会错误返回floatC——但实际上floatC并不是floatB的整数倍，且21.0 < 21.0000000001，正确结果应该是28.0。

结论 #

改进代码能解决**floatC本身是整数倍但因精度导致除法结果溢出**的场景，但无法处理floatC接近但大于整数倍的情况，不能作为通用解决方案。

更可靠的替代思路 #

正确的逻辑应先判断floatC是否为floatB的整数倍（在精度范围内），再决定后续计算：

function getMinMultiple(floatC, floatB, epsilon = Number.EPSILON) {
    const ratio = floatC / floatB;
    const roundedRatio = Math.round(ratio);
    // 判断floatC是否是floatB的整数倍
    if (Math.abs(roundedRatio * floatB - floatC) < epsilon) {
        return floatC;
    }
    // 若不是，取上整后的整数倍
    const ceilRatio = Math.ceil(ratio);
    return ceilRatio * floatB;
}

这个逻辑先验证floatC的整数倍属性，再处理非整数倍场景，能覆盖更多精度异常情况。

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