equals和hashcode方法在Java中必須同時重寫以確保基于哈希表的集合正確運作。1. 當兩個對象通過equals方法相等時，它們的hashcode必須相同；但hashcode相同并不意味著equals一定為true。2. 實現(xiàn)equals方法需遵循自反性、對稱性、傳遞性、一致性和非空性，并按步驟檢查引用、類型及關(guān)鍵域。3. hashcode的設計需保證一致性、等價性和不相等性，常用策略是將每個關(guān)鍵域的哈希碼組合計算。4. 未同步重寫可能導致哈希表邏輯錯誤。5. 可使用ide或lombok自動生成符合規(guī)范的實現(xiàn)。6. 避免常見錯誤如未處理NULL值、使用可變字段或不正確的類型檢查。7. transient字段不應參與equals和hashcode計算。8. 若類為單例或不用于哈希表，可不重寫。性能優(yōu)化需減少復雜運算并降低哈希沖突。
equals和hashCode方法在Java中緊密相關(guān)，它們之間的關(guān)系由一個契約約束：如果兩個對象根據(jù)equals(Object)方法是相等的，那么對這兩個對象調(diào)用hashCode方法必須產(chǎn)生相同的整數(shù)結(jié)果。反之則不然，hashCode相同并不意味著equals一定為true。這個契約對于保證基于哈希表的集合（如HashMap、HashSet）的正確運作至關(guān)重要。
解決方案
理解并正確實現(xiàn)equals和hashCode方法，對于避免潛在的bug和性能問題至關(guān)重要。下面詳細分析契約要求以及實現(xiàn)策略。
立即學習“Java免費學習筆記（深入）”；
equals方法的重要性與實現(xiàn)
equals方法用于比較兩個對象是否在邏輯上相等。默認情況下，equals比較的是對象的引用（即內(nèi)存地址），但很多時候我們需要比較對象的內(nèi)容。
- 自反性： 對于任何非null的引用值x，x.equals(x)必須返回true。
- 對稱性： 對于任何非null的引用值x和y，當且僅當y.equals(x)返回true時，x.equals(y)必須返回true。
- 傳遞性： 對于任何非null的引用值x、y和z，如果x.equals(y)返回true，并且y.equals(z)返回true，那么x.equals(z)必須返回true。
- 一致性： 對于任何非null的引用值x和y，如果在equals比較中使用的信息沒有修改，則多次調(diào)用x.equals(y)始終返回true或始終返回false。
- 非空性： 對于任何非null的引用值x，x.equals(null)必須返回false。
實現(xiàn)equals方法時，通常需要按照以下步驟：
- 使用==檢查“參數(shù)是否為這個對象的引用”。這是性能優(yōu)化。
- 使用instanceof檢查“參數(shù)是否為正確的類型”。
- 把參數(shù)轉(zhuǎn)換成正確的類型。
- 對于該類中每一個“關(guān)鍵域”，檢查參數(shù)中的域是否與該對象中對應的域相匹配。對于不是Float或double類型的域，可以使用equals方法。對于float域，可以使用Float.compare(float, float)；對于double域，可以使用Double.compare(double, double)。對于數(shù)組域，可以遞歸地應用這些指導方針，如果數(shù)組中的每個元素都很重要，可以使用Arrays.equals()方法。
- 完成之后，再次檢查是否滿足equals方法的五個特性。
hashCode方法的設計原則
hashCode方法返回對象的哈希碼，這個哈希碼被用于哈希表等數(shù)據(jù)結(jié)構(gòu)中，以快速定位對象。
- 一致性： 在程序執(zhí)行期間，只要對象的equals方法的比較操作所用到的信息沒有被修改，那么對同一個對象調(diào)用多次，hashCode方法必須始終如一地返回同一個整數(shù)。在同一個應用程序的一次執(zhí)行過程中，每次調(diào)用hashCode方法都必須始終返回相同的值。在不同的應用程序的執(zhí)行過程中，可以返回不同的值。
- 等價性： 如果兩個對象根據(jù)equals(Object)方法是相等的，那么對這兩個對象調(diào)用hashCode方法必須產(chǎn)生相同的整數(shù)結(jié)果。
- 不相等性： 如果兩個對象根據(jù)equals(Object)方法是不相等的，那么對這兩個對象調(diào)用hashCode方法，不一定要產(chǎn)生不同的整數(shù)結(jié)果。但是，為不相等的對象產(chǎn)生不同的整數(shù)結(jié)果可以提高哈希表的性能。
實現(xiàn)hashCode方法時，一個好的策略是：
- 聲明一個名為result的int變量，并將它初始化為對象中第一個關(guān)鍵域的哈希碼值。
- 對于對象中剩余的每一個關(guān)鍵域f，完成以下步驟：
- 為該域計算哈希碼c：
- 如果該域是基本類型，則計算其類型對應的hashCode值。
- 如果該域是一個對象引用，則遞歸地調(diào)用該對象的hashCode方法。如果該域的值為null，則返回0。
- 如果該域是一個數(shù)組，則要把每一個重要元素當做單獨的域來處理。
- 將步驟2.a中計算得到的哈希碼c合并到result中：result = 31 * result + c;
- 為該域計算哈希碼c：
為什么要同時重寫equals和hashCode？
如果只重寫了equals方法而沒有重寫hashCode方法，那么在使用哈希表（如HashMap、HashSet）時，可能會出現(xiàn)邏輯錯誤。因為即使兩個對象根據(jù)equals方法是相等的，它們的哈希碼也可能不同，這會導致哈希表將它們視為不同的對象。
如何使用IDE自動生成equals和hashCode方法？
大多數(shù)IDE（如IntelliJ idea、eclipse）都提供了自動生成equals和hashCode方法的功能。這些工具通常會根據(jù)類的字段自動生成符合契約要求的實現(xiàn)。使用IDE生成可以減少手動編寫代碼的錯誤，并提高開發(fā)效率。例如，在intellij idea中，可以使用Generate菜單選擇equals() and hashCode()來自動生成。
equals和hashCode的性能考量
equals和hashCode方法的性能對于程序的整體性能至關(guān)重要。如果這兩個方法的實現(xiàn)效率低下，那么在使用哈希表等數(shù)據(jù)結(jié)構(gòu)時，可能會導致性能瓶頸。因此，在設計equals和hashCode方法時，需要考慮性能因素。例如，避免在equals方法中進行復雜的計算，盡量使用簡單的比較操作。在hashCode方法中，選擇合適的哈希算法，以減少哈希沖突。
lombok如何簡化equals和hashCode的編寫？
Lombok是一個Java庫，可以通過注解自動生成樣板代碼，如equals、hashCode、toString等方法。使用@EqualsAndHashCode注解可以自動生成符合契約要求的equals和hashCode方法，從而簡化代碼編寫，并減少出錯的可能性。例如：
import lombok.EqualsAndHashCode; @EqualsAndHashCode public class Person { private String name; private int age; }
這段代碼會自動生成equals和hashCode方法，這些方法會基于name和age字段進行比較。
常見錯誤與避免策略
- 沒有同時重寫equals和hashCode方法。 這是最常見的錯誤，會導致哈希表無法正確工作。
- 在equals方法中使用了不正確的類型檢查。 應該使用instanceof操作符進行類型檢查，而不是使用getClass()方法。
- 在hashCode方法中使用了可變字段。 如果對象的狀態(tài)發(fā)生變化，那么它的哈希碼也會發(fā)生變化，這會導致哈希表無法正確工作。
- equals方法違反了自反性、對稱性、傳遞性、一致性或非空性。 確保equals方法的實現(xiàn)滿足所有這些特性。
- 沒有考慮null值的處理。 在equals和hashCode方法中，需要正確處理null值，以避免空指針異常。
何時不需要重寫equals和hashCode？
在某些情況下，不需要重寫equals和hashCode方法。例如，如果類是單例類，或者類的實例永遠不會被放入哈希表中，那么可以不重寫這兩個方法。此外，如果類的父類已經(jīng)正確實現(xiàn)了equals和hashCode方法，并且子類沒有引入新的關(guān)鍵域，那么也可以不重寫這兩個方法。
關(guān)于transient 關(guān)鍵字的影響
當一個類的字段被聲明為transient時，它表示該字段不會被序列化。這可能會影響equals和hashCode方法的實現(xiàn)，因為如果equals方法依賴于transient字段，那么在反序列化后，對象的equals方法可能會返回錯誤的結(jié)果。因此，在設計equals和hashCode方法時，需要考慮transient字段的影響，并確保這些方法在序列化和反序列化后仍然能夠正確工作。 通常，transient 修飾的字段不應該參與 equals 和 hashCode 的計算，因為它們的值在反序列化后可能與原始對象不同。
