为什么Splint (C代码检查器)在比较浮点型和整型时会给出错误？

Question

这两个都是数学值，但是浮点数确实有更高的精度。这是导致误差的唯一原因吗--精度的差异？或者还有另一个潜在的(更严重的)问题？

Answer 1

这是因为整数值的集合不等于'int‘和' float’类型的浮点值的集合。例如，浮点值4519245367在整数集中没有equal，而整数值4519245367可能不存在于浮点值可以存储的值集中。因此，检查器将此标记为要由程序员检查的问题。

Answer 2

因为这可能不是个好主意。并不是所有的浮点型都可以截断为整型，也不是所有的整型都可以转换为浮点型。

Answer 3

在进行比较时，整数值将被“提升”为浮点值。此时，您正在对两个浮点数进行精确相等的比较，这几乎总是一件坏事。

你通常应该有某种"epsilon球“，或可接受的值的范围，如果两个值彼此足够接近，则进行比较。您需要一个大致如下的函数：

int double_equals(double a, double b, double epsilon)
{
   return ( a > ( b - epsilon ) && a < ( b + epsilon ) );
}

如果您的应用程序没有明显的epsilon选择，那么使用DBL_EPSILON。