JAVA 对象语义实验

equals 与 hashCode 契约实验室

== 回答“是不是同一个对象”，equals 回答“按当前业务规则是否相等”。当值相等参与哈希集合时，hashCode 必须与它保持一致。

相等对象 → 必须同哈希同哈希 ⇏ 一定相等身份字段宜保持不可变

一、实时比较台

规范化规则固定为 trim().toUpperCase()；它只是本例的业务规则，不是 Java 自动执行的行为。

选择对象的相等策略

仅身份：默认实现 equals 与 hashCode 都沿用对象身份；内容一样的两个对象仍不相等。不可变 code：正确重写 equals 比较规范化 code，hashCode 使用同一份规范化值。反例：只重写 equals 值相等却仍返回身份哈希，可能破坏“相等对象必须同哈希”的契约。

三个 Sku 值对象

对象 A ref#A

原始 code

规范化: SKU-07
hashCode: —

对象 B ref#B

原始 code

规范化: SKU-07
hashCode: —

对象 C ref#C

原始 code

规范化: SKU-99
hashCode: —

令变量 B 指向 A 的同一个对象（此时 A == B 为 true）

比较结果

对象对	`==`	`equals`	哈希相同

—

二、契约检查器

检查器基于当前 A、B、C 样本。当前没有触发某个前提时，会明确显示“未触发”，而不是伪装成充分证明。

—

三、可变身份字段风险

这里故意允许修改 A 的 code，以观察为什么用于相等与哈希的身份字段通常应保持不可变。

简化哈希集合实验

先记录 A 加入时的哈希入口，再修改上方 A 的 code，最后用 A 当前的哈希尝试查找。

加入时记录的哈希入口尚未加入

查找时由 A 当前状态得到 —

请先将 A 加入模拟集合。

四、三道契约挑战

挑战 1　A 与 B 引用不同，但规范化 code 都是 SKU-07。正确重写时结果是？ == true，equals true == false，equals true == false，equals false

选择一个答案，立即查看理由。

挑战 2　关于 equals 与 hashCode，哪项准确？ hashCode 相同就一定 equals 不相等对象必须返回不同 hashCode equals 相等必须同哈希，但反向不成立

选择一个答案，立即查看理由。

挑战 3　对象已加入哈希集合，参与哈希的 code 需要变化，优先怎样设计？让身份字段不可变；必要时移除后再加入只重写 equals，避免 hashCode 随值变化忽略，因为集合会自动修复所有入口

选择一个答案，立即查看理由。

带走这一句：先定义“业务上何时算同一个值”，再让 equals 与 hashCode 使用一致、稳定的身份；== 仍只负责回答引用身份。