为什么在Java float比较中使用Float.floatToIntBits()?


问题内容

在JBox2d中,存在以下代码Vec2.equals()

@Override
public boolean equals(Object obj) { //automatically generated by Eclipse
    if (this == obj)
        return true;
    if (obj == null)
        return false;
    if (getClass() != obj.getClass())
        return false;
    Vec2 other = (Vec2) obj;
    if (Float.floatToIntBits(x) != Float.floatToIntBits(other.x))
        return false;
    if (Float.floatToIntBits(y) != Float.floatToIntBits(other.y))
        return false;
    return true;
}

我想知道这里的float <->
int位转换函数的作用是什么。这是否提供解决Java的float比较不准确性问题的方法(如果可能的话)?还是完全不同?我想知道它是否可以替代epsilon方法:

if (Math.abs(floatVal1 - floatVal2) < epsilon)

PS。为了完整和有趣,这里是Vec2.hashCode()

@Override
public int hashCode() { //automatically generated by Eclipse
    final int prime = 31;
    int result = 1;
    result = prime * result + Float.floatToIntBits(x);
    result = prime * result + Float.floatToIntBits(y);
    return result;
}

仅供参考,我可以完美地理解为什么在hashCode()中使用转换函数-哈希ID必须是整数。


问题答案:

解释中可以找到约书亚Bloch的Effective
Java的
floatFloat需要,因为存在的特殊待遇-0.0NaN,正无穷大,和负无穷大。这就是为什么Sun
JVM Float.equals()看起来像这样(6u21):

public boolean equals(Object obj)
{
    return (obj instanceof Float)
           && (floatToIntBits(((Float)obj).value) == floatToIntBits(value));
}

因此,不行,Math.abs()使用ε并不是一个很好的选择。从Javadoc:

如果f1和f2都表示Float.NaN,则即使Float.NaN ==
Float.NaN的值为false,equals方法也将返回true。如果f1表示+ 0.0f,而f2表示-0.0f,反之亦然,即使0.0f
==-0.0f的值为true,相等测试的值为false。

这就是Eclipse自动生成的代码为您做到这一点的原因。