如何实现获取小于给定double类型数值的最近整数？

这问题我之前处理浮点逻辑时也碰到过，直接用floor或者ceil确实踩坑，结合你的需求和浮点精度的坑，给你两个靠谱的实现方案，按需选择：

方案一：简洁高效版（适用于常规数值范围） #

如果你的输入不会超过double能精确表示的整数上限（也就是小于2^53，绝大多数业务场景都满足），直接用这一行代码就搞定：

double getPrevInteger(double value) {
    return floor(value - 1e-12);
}

原理说明 #

• 对于整数型double（比如6.0、0.0、-5.0）：减去一个极小的精度值1e-12后，会变成比原数小一点点的非整数（比如6.0→5.999999999999），此时floor就会返回原数减1的结果（5.0），完美符合需求。
• 对于带小数的double（比如6.8、0.3、-5.2）：减去1e-12不会改变数值的整数部分（比如6.8→6.799999999999），floor后依然是小于原数的最大整数（6.0），同时避免了ceil(value-1)带来的负零问题（比如0.3处理后返回0.0，而非-0）。

关键细节 #

1e-12这个精度值是经过考量的：它足够小，不会影响正常非整数的整数部分；同时足够大，能避开浮点存储的精度误差（比如某些看似整数的近似值）。

方案二：严谨判断版（适用于超大整数场景） #

如果需要处理超过2^53的超大整数（这类数在double中无法精确存储，value-1e-12可能不会改变数值），建议用逻辑判断的方式：

#include <math.h>

double getPrevInteger(double value) {
    double floored = floor(value);
    // 判断原数值是否近似等于整数（容错浮点精度误差）
    if (fabs(value - floored) < 1e-12) {
        return floored - 1.0;
    } else {
        return floored;
    }
}

原理说明 #

1. 先对输入值取floor，得到小于等于它的最大整数。
2. 计算原数值和floor结果的差值，如果差值足够小（小于1e-12），说明输入是整数（或浮点精度下的近似整数），返回floor值-1。
3. 否则直接返回floor结果，符合非整数输入的需求。

为什么原方案会踩坑？ #

你提到的ceil(value-1)确实有问题：比如输入0.3时，value-1=-0.7，ceil(-0.7)会返回**-0**（double类型的负零表示），虽然逻辑上-0等于0，但输出或后续计算可能会出现异常。而上面两个方案都能完美避免这个问题。

测试用例验证 #

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