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

两者都是数学值,但浮点数确实更高.这是错误的唯一原因 - 精度的差异？还是有另一个潜在的(也是更严重的)问题？

这是因为整数值的集合不等于'int'和'float'类型的浮点值集合.例如,浮点值0.5在整数集中没有相等,并且浮点数可以存储的值集中可能不存在整数值4519245367.因此,检查器将此标记为程序员要检查的问题.