c - 为什么 Splint（C 代码检查器）在将浮点数与 int 进行比较时会出错？

Question

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

score 8 · Accepted Answer

这是因为整数值集不等于“int”和“float”类型的浮点值集。例如，浮点值 0.5 在整数集中不相等，整数值 4519245367 可能不存在于浮点可以存储的值集中。因此，检查器将此标记为程序员要检查的问题。

score 3 · Accepted Answer

因为这可能不是一个好主意。并非所有浮点数都可以截断为整数；并非所有整数都可以转换为浮点数。

score 2 · Accepted Answer

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

您通常应该有某种“epsilon 球”或可接受值的范围，并且如果两个值彼此足够接近以被视为相等，则进行比较。你需要一个大致像这样的函数：

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

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

score 1 · Accepted Answer

因为floats不能存储精确的int值，所以如果你有两个变量int i和float f，即使你赋值“i = f;”，比较“if (i == f)”也可能不会返回真。

score 1 · Accepted Answer

假设有符号整数和 IEEE 浮点格式，可以表示的整数的大小为：

short  -> 15 bits
float  -> 23 bits
long   -> 31 bits
double -> 52 bits

因此 a floatcan 代表 any short， a doublecan 代表 any long。

score 0 · Accepted Answer

如果您需要解决这个问题（您有正当理由并且很高兴其他答案中提到的问题对您来说都不是问题），那么只需从一种类型转换为另一种类型。

6 回答 6