Java equals() 方法深度總結：契約、陷阱與最佳實踐

核心契約 (Java SE Spec)

equals() 必須滿足等價關係五大公理：

1. 自反性：x.equals(x) == true
2. 對稱性：x.equals(y) == y.equals(x)
3. 傳遞性：x.equals(y) && y.equals(z) → x.equals(z)
4. 一致性：多次呼叫結果不變，除非比較依據的欄位被修改。
5. 非空性：x.equals(null) == false

違反契約後果：導致 HashSet、HashMap、ArrayList.contains() 等集合行為錯誤 (如無法找到已放入的元素、重複元素)。

Object.equals() 預設行為

public boolean equals(Object obj) {
    return (this == obj); // 比較記憶體位址 (身分相等)
}

所有類別預設繼承此行為，**值物件 (Value Object) 必須覆寫** 比較內容。

標準覆寫範本 (Java 7+ Objects 工具類)

@Override
public boolean equals(Object obj) {
    if (this == obj) return true;                    // 同一物件快速返回
    if (obj == null || getClass() != obj.getClass()) return null; // 型別檢查
    MyClass other = (MyClass) obj;
    return Objects.equals(field1, other.field1) &&
           Objects.equals(field2, other.field2) &&
           primitiveField == other.primitiveField;
}

關鍵決策：getClass() vs instanceof

instanceof 破壞對稱性經典反例

class Person {
    String name;
    // 使用 instanceof
    public boolean equals(Object o) {
        if (o instanceof Person) return name.equals(((Person)o).name);
        return false;
    }
}

class Employee extends Person {
    int id;
    // 覆寫加入 id 比較
    public boolean equals(Object o) {
        if (o instanceof Employee) return super.equals(o) && id == ((Employee)o).id;
        return false;
    }
}

Person p = new Person("John");
Employee e1 = new Employee("John", 1);
Employee e2 = new Employee("John", 2);

p.equals(e1); // true  (Person 用 instanceof 比較 name)
p.equals(e2); // true  (Person 用 instanceof 比較 name)
e1.equals(e2); // false (Employee 比較 id)
// 違反傳遞性：p=e1 且 p=e2 但 e1!=e2

結論：除非極度確定需求，**永遠使用 getClass()** 或 obj.getClass() == this.getClass()。

hashCode() 必須同步覆寫

@Override
public int hashCode() {
    return Objects.hash(field1, field2, primitiveField);
}

鐵律：a.equals(b) → a.hashCode() == b.hashCode()。違反會導致 HashMap/HashSet 失效。

各類型比較策略速查表

為什麼 float/double 需要特殊處理？

• Float.NaN == Float.NaN 是 false，但 Float.equals() 視為相等。
• +0.0f == -0.0f 是 true，但 Float.equals() 視為不等 (符號不同)。
• floatToIntBits / doubleToLongBits 將位元模式轉為整數比較，正確處理上述邊界情況。

現代工具自動生成

• IDE (IntelliJ IDEA / Eclipse) → Generate → equals() and hashCode()。
• Lombok：@EqualsAndHashCode 註解自動生成，支援 callSuper、onlyExplicitlyIncluded 等精細控制。
• Records (Java 14+)：record Person(String name, int age) {} 自動生成正確的 equals/hashCode/toString，**首選不可變資料載體**。

常見錯誤清單

1. 參數型別寫成具體類別 equals(MyClass other) → 重載而非覆寫，@Override 會報錯。
2. 忘記 null 檢查 → NPE。
3. 使用 instanceof 導致對稱性/傳遞性破壞。
4. 只覆寫 equals 不覆寫 hashCode。
5. 比較可變欄位 → 物件放入 HashSet 後修改欄位導致找不到。
6. 在 equals 中執行昂貴運算 / I/O / 鎖定。

1. 上一篇文章： Java 字符串核心：String、StringBuffer、StringBuilder 深度對比與性能優化指南
2. 下一篇文章： Java 強制型別轉換完整指南：引用型別轉型規則與 ClassCastException 避坑

Java 相關知識

MyEclipse 開發 Struts2 + Spring2 + iBATIS2 整合指南 (一)：環境安裝與 MyEclipse 設定

系列教學簡介 本系列共四篇，帶領初學者在 MyEclipse

Visual Web JSF 應用中的資料轉換與驗證完整教學

教學目標 掌握 JSF 1.2 (Woodstock) 轉換

Java 留言板教學（二）：列表頁面開發——JSTL 版

承接上篇資料庫與 POPO 設計，本篇實作留言列表頁面，採用

Hibernate 進階（五）：一對一單向關聯映射實戰指南

關系映射分類回顧 關系映射處理多個對象與表之間的關聯，共七類