0

0

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

霞舞

霞舞

发布时间:2026-01-09 19:47:02

|

451人浏览过

|

来源于php中文网

原创

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

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

在 Java 中,equals() 方法必须严格满足自反性、对称性、传递性、一致性以及对 null 的处理(见 [Object.equals() 规范](https://www.php.cn/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() 可安全基于该标识生成。

推荐实现(兼顾精度与简洁性):

Content at Scale
Content at Scale

SEO长内容自动化创作平台

下载
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 契约,又满足业务目标。

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

829

2023.06.15

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

735

2023.07.05

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

733

2023.07.31

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

396

2023.08.01

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

398

2023.08.02

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

446

2023.08.02

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

430

2023.08.02

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

16925

2023.08.03

c++主流开发框架汇总
c++主流开发框架汇总

本专题整合了c++开发框架推荐,阅读专题下面的文章了解更多详细内容。

3

2026.01.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
SQL 教程
SQL 教程

共61课时 | 3.4万人学习

Java 教程
Java 教程

共578课时 | 44万人学习

oracle知识库
oracle知识库

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号