java 中 `equals()` 要求满足自反性、对称性、传递性等契约，而基于“±10 范围内视为相等”的浮点容差判断天然违反传递性，因此无法安全地用于 `equals()`；替代方案是按区间分组（如 `floor(value / 10)`），确保语义一致且 `hashcode()` 可正确实现。
在 Java 中，equals() 方法并非任意逻辑的“相等判断”，而是必须严格遵守 Object.equals() 的通用契约，其中传递性（transitivity） 是关键约束：
若 x.equals(y) == true 且 y.equals(z) == true，则必须有 x.equals(z) == true。
但容差比较（如 |a − b| ≤ 10）无法满足该要求。例如：
- Test(1).equals(Test(9)) → true（差为 8）
- Test(9).equals(Test(14)) → true（差为 5）
- 但 Test(1).equals(Test(14)) → false（差为 13）
这直接破坏了传递性，会导致 HashMap、HashSet 等集合行为异常（如元素丢失、查找失败），甚至引发难以复现的运行时错误。
✅ 正确解法：用离散分组替代连续容差
将连续的 double 值映射到离散的“等价组”（equivalence group），使同一组内所有值互为 equals()，且组边界清晰、稳定、可哈希。推荐使用整数区间划分：
public class Test {
private final double value;
public Test(double value) {
this.value = value;
}
// 将 value 映射到固定宽度的桶（每桶宽 10），使用 floorDiv 避免负数截断问题
private long getEquivalenceGroup() {
return Math.floorDiv((long) Math.floor(value), 10);
// 注：Math.floor(value) 处理负数（如 -12.5 → -13.0），再转 long 后 floorDiv 保证整除向下取整
}
@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.floorDiv(a, b) 比 a / b 更安全（尤其对负数），避免因 Java 整数除法向零截断导致的分组错位；
- Math.floor(value) 先处理浮点精度与负数边界（如 -9.9 应归入 -10 ~ -1 组，而非 0 ~ 9）；
- 分组逻辑必须纯函数式、无状态、确定性——相同输入永远输出相同组号，这是 hashCode() 正确性的前提。
⚠️ 重要提醒：
如果你的真实需求只是“判断两个对象是否‘接近’”，请勿重载 equals()。而是定义一个语义明确的业务方法：
public boolean isCloseTo(Test other) {
return Math.abs(this.value - other.value) <= 10.0;
}这样既保持 equals() 的数学严谨性（默认仍可基于 value 精确相等），又提供灵活的领域逻辑，且完全兼容所有集合类与框架（如 Hibernate、Jackson）。
总结：equals() 不是“模糊匹配”的接口，而是对象身份契约的声明。当需要容差语义时，优先选择分组建模或专用方法，而非妥协契约——这是写出健壮、可维护 Java 代码的基本原则。
