bool multiply_overflow_double(double a,double b){ double v = a * b; if (std::isfinite(v)) return (v std::numeric_limitsuint64_t::max()); return true;} 我有两个双打,我需要检查它是否会溢出uint64_t.我确实考虑过用分区做
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会有什么明显的问题？
这对于IEEE754双重是危险的,因为并非所有大于2的53次幂的整数都可以精确表示,因此a * b可能被截断为比实际乘积更小的值.因此,你的回报可能会给你假阴性.其他双重计划将受到类似的影响另请注意,std :: numeric_limits< uint64_t> :: max()也将转换为double – 对于IEEE754,您将获得18446744073709551616而不是18446744073709551615.
传统的分裂检查不会受到这些影响.