浮点数比较之我见

关于浮点数的特殊性，这个就不用我多说什么 了，我在这儿想跟大家讨论的是关于"=="这个比较运算符。

先上一段经常被大家提及的浮点数比较函数（C代码）：

bool AlmostEqual2sComplement(float A, float B, int maxUlps) { // Make sure maxUlps is non-negative and small enough that the // default NAN won't compare as equal to anything. assert(maxUlps > 0 && maxUlps < 4 * 1024 * 1024); int aInt = *(int*)&A; // Make aInt lexicographically ordered as a twos-complement int if (aInt < 0) aInt = 0x80000000 - aInt; // Make bInt lexicographically ordered as a twos-complement int int bInt = *(int*)&B; if (bInt < 0) bInt = 0x80000000 - bInt; int intDiff = abs(aInt - bInt); if (intDiff <= maxUlps) return true; return false; }

代码功能其实就是考虑能接受的两个浮点数的误差范围。很明显+0.0 == -0.0

再上一段java.lang.Float类中的浮点比较函数：

public static int compare(float f1, float f2) { if (f1 < f2) return -1; // Neither val is NaN, thisVal is smaller if (f1 > f2) return 1; // Neither val is NaN, thisVal is larger int thisBits = Float.floatToIntBits(f1); int anotherBits = Float.floatToIntBits(f2); return (thisBits == anotherBits ? 0 : // Values are equal (thisBits < anotherBits ? -1 : // (-0.0, 0.0) or (!NaN, NaN) 1)); // (0.0, -0.0) or (NaN, !NaN) }

这段代码与以上代码有个很明显的区别，那就是+0.0 > -0.0。

基于上面的现象，我就在想，为什么java在比较之前不首先采用运算符"=="呢？事实在，在java里，直接采用连等运算符返回的是true。

如何合理解释这个奇怪的实现，我自己想到一种解释：

采用运算符"=="得到的结果可看做算术(algorithm)实现。在算术上，+0.0就应该与-0.0表示的是同一个数。而作为单纯的浮点数来比较，-0.0与+0.0在二进制表示上并不一样。

针对以上问题，如果大家还有其它合理解释，欢迎提出，谢谢！