循环中uint64_t与float类型值比较失效问题排查

原因分析 #

你的循环未执行的核心问题是float类型精度不足，导致数值被错误近似，进而破坏了比较条件：

• 你用到的offset和offset+size都是12位的大整数，而float仅能精确表示约7-8位十进制有效数字。当把这些大整数转成float时，会被近似到最近的可表示值。比如offset/div的实际结果是116422670，转成float后可能被近似为116422672；(offset+size)/div的实际值是116422670.243，转成float后也会被近似为116422672，ceil后结果还是116422672。
• 当uint64_t类型的off和float类型的ceil结果比较时，off会被隐式转换为float。此时off的实际值116422670转成float后变成116422672，和ceil结果相等，导致off < ceil(...)的条件不成立，循环直接跳过。

修复方案 #

有两种可靠的解决方式：

方案1：改用double类型计算

double的精度足够覆盖你的数值范围（最多可精确表示15-17位十进制数），不会出现近似问题。修改代码中的(float)强制转换为(double)即可：

#include <bits/stdc++.h>
using namespace std;

int main()
{
    uint64_t offset = 1164226701485, size = 945, div = 10000;
    for (uint64_t off = offset / div; off < ceil((double)(offset + size) / div); off++)
    {
        cout << off << " ";
    }
                            
    return 0;
}

运行后会输出116422670 116422671，符合预期。

方案2：用整数运算替代浮点运算

浮点运算容易引发精度问题，对于整数的向上取整需求，可以用整数公式(被除数 + 除数 - 1) / 除数来实现，完全避免浮点转换：

#include <bits/stdc++.h>
using namespace std;

int main()
{
    uint64_t offset = 1164226701485, size = 945, div = 10000;
    uint64_t end = (offset + size + div - 1) / div; // 整数版向上取整
    for (uint64_t off = offset / div; off < end; off++)
    {
        cout << off << " ";
    }
                            
    return 0;
}

这种方式更高效，也完全不存在精度风险，是处理整数取整的最优方案。

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