如何在浮点值容差范围内实现符合契约的 equals() 和 hashCode()

Java 中无法为“数值在 ±10 范围内即相等”这一非传递性语义正确实现 equals() 和 hashCode()，因为这违反了 equals 的传递性契约；替代方案是将值映射到离散等价组（如按 10 取整），从而保证契约合规。

在 Java 中，equals() 方法必须严格满足自反性、对称性、传递性、一致性以及对 null 的处理（见 [Object.equals() 规范](https://www./link/f7714df1cdee7f141a99c1ae7b9950b4 double 值相差 ≤10 即视为相等”——即 |a − b| ≤ 10——天然不满足传递性：

Test a = new Test(1.0);   // value = 1.0
Test b = new Test(9.0);   // |1−9| = 8 ≤ 10 → a.equals(b) == true
Test c = new Test(14.0);  // |9−14| = 5 ≤ 10 → b.equals(c) == true  
// 但 |1−14| = 13 > 10 → a.equals(c) == false ❌ 违反传递性！

一旦 equals() 违反传递性，不仅会导致 HashSet、HashMap 等集合行为不可预测（例如同一对象可能重复插入、查找失败），更会使整个对象契约失效，因此绝不能将该逻辑直接用于 equals()。

✅ 正确解法：使用等价分组（Equivalence Grouping）
核心思想是将连续的数值空间划分为互不重叠、边界明确的离散区间（如 [0,10), [10,20), [20,30), ...），同一

区间内的所有值映射到相同组标识。只要 equals() 基于该组标识判断，就能天然满足所有契约，且 hashCode() 可安全基于该标识生成。

推荐实现（兼顾精度与简洁性）：

public class Test {
    private final double value;

    public Test(double value) {
        this.value = value;
    }

    // 将 value 映射到长度为 10 的等价组（向下取整到最近的 10 的倍数）
    // 例如：9.9 → 0, 10.0 → 10, 19.9 → 10, -5.0 → -10
    private long getEquivalenceGroup() {
        return Math.floorDiv((long) Math.floor(value), 10);
        // 注：Math.floor(value) 处理负数（如 -3.5 → -4.0），再转 long 避免浮点截断误差
        // 若业务只处理非负数，可简化为 (long) (value / 10)
    }

    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;
        Test test = (Test) o;
        return getEquivalenceGroup() == test.getEquivalenceGroup();
    }

    @Override
    public int hashCode() {
        return Long.hashCode(getEquivalenceGroup());
    }
}

? 关键注意事项：

• 不要用 Math.round(value / 10)：四舍五入会导致相邻值（如 4.9 和 5.1）落入不同组，破坏“接近即等价”的初衷；
• 避免浮点直接运算分组：value / 10 可能产生精度误差，应先 Math.floor() 再整型转换；
• 负数需特殊处理：Math.floorDiv 在 Java 8+ 中安全支持负数除法；若用旧版，可用 (long) Math.floor(value / 10) 替代；
• 业务语义分离：若真实场景仍需“±10 判断”，请定义独立方法（如 public boolean isCloseTo(Test other)），切勿覆盖 equals()。

? 总结：equals() 不是业务相似性判断工具，而是数学等价关系。当需求本质是“近似匹配”时，应通过分组策略将其转化为合规等价关系，并将原始容差逻辑保留在领域方法中——既遵守 JVM 契约，又满足业务目标。