Kiedy nadpisujesz equals() aby zdefiniować równość logiczną, musisz również nadpisać hashCode() — ponieważ kolekcje oparte na hashowaniu (HashMap, ) polegają na kontrakcie, że . Naruszenie tego prowadzi do subtelnych, trudnych do znalezienia błędów.
HashSet// by default, equals() compares IDENTITY (same object?), hashCode() is based on memory address
Person p1 = new Person("Ann", 30);
Person p2 = new Person("Ann", 30);
p1.equals(p2); // false by default — different objects, even with same data
Bez nadpisania, dwa obiekty z identyczną zawartością "nie są równe" — zwykle nie to, czego chcesz dla obiektów wartościowych.
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Person p = (Person) o;
return age == p.age && Objects.equals(name, p.name); // compare by CONTENT
}
@Override
public int hashCode() {
return Objects.hash(name, age); // MUST be consistent with equals()
}
Kontrakt: jeśli a.equals(b) jest prawdą, to a.hashCode() == b.hashCode() MUSI być prawdą.
Person p1 = new Person("Ann", 30);
Person p2 = new Person("Ann", 30); // equal by our equals()
Set<Person> set = new HashSet<>();
set.add(p1);
set.contains(p2); // ❌ likely FALSE — even though p1.equals(p2)!
Dlaczego? HashMap/HashSet najpierw używają hashCode() aby znaleźć właściwą bucketę, potem equals() w jej wnętrzu. Z domyślnym (opartym na tożsamości) hashCode(), p1 i p2 trafiają do różnych bucketów, więc contains nigdy ich nie porównuje — zbiór myśli, że są różne. To tworzy zdumiewające błędy: duplikaty w Set, nieudane wyszukiwania w mapie, itp.
1. equal objects → equal hash codes (REQUIRED for correctness)
2. unequal objects MAY have the same hash (collisions are allowed)
3. hashCode() must be consistent (same object → same code, unchanged)
4. equals() must be reflexive, symmetric, transitive, consistent
record Person(String name, int age) {} // records auto-generate equals/hashCode/toString!
Java records (i generowanie przez IDE / Lombok) produkują dla ciebie poprawne, spójne equals/hashCode.
Kontrakt equals/hashCode jest jedną z najważniejszych — i najczęściej naruszanych — reguł Javy.
Nadpisanie equals() bez hashCode() psuje kolekcje oparte na hashowaniu w sposób trudny do debugowania: obiekty które uważasz za równe "gają się" w HashMap/HashSet (nieudane wyszukiwania, fantomowe duplikaty) ponieważ są haszowane do różnych bucketów.
Ponieważ te kolekcje są wszechobecne, każda klasa typu wartościowego używana jako klucz lub element zbioru musi nadpisać oba spójnie.
Zrozumienie dlaczego (mechanizm wyszukiwania bucket-then-equals) — i użycie records lub wygenerowanego kodu aby to zrobić poprawnie — jest niezbędne dla poprawnego zachowania i klasycznego tematu rozmowy kwalifikacyjnej, który ujawnia rzeczywiste zrozumienie, jak działają kolekcje Javy.