c - 为什么 Splint(C 代码检查器)在将 float 与 int 进行比较时会出错？

Question

两者都是数学值，但 float 确实更精确。这是错误的唯一原因 - 精度差异吗？还是存在其他潜在(且更严重)的问题？

Answer 1

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