c ++测试看看double*double是否会溢出uint64_t

Question

bool multiply_overflow_double(double a,double b)
{
    double v = a * b;
    if (std::isfinite(v))
        return (v >  std::numeric_limits<uint64_t>::max());
    return true;
}

我有两个双打,我需要检查它是否会溢出uint64_t.我确实考虑过用分区做传统方式,但这似乎更简单.

与传统方式相比,a和b大于0会有什么明显的问题？

Answer 1

这对于IEEE754是危险的,double因为并非所有大于2的53次方的整数都可以精确表示,因此a * b可能被截断为比实际产品更小的值.因此,你return可能会给你假阴性.其他double方案将遭受类似的影响

另请注意,它也std::numeric_limits<uint64_t>::max()将转换为double- 对于IEEE754,您将获得18446744073709551616而不是18446744073709551615.

传统的分裂检查不会受到这些影响.