Kun ohitat equals()-metodin loogisen tasa-arvoisuuden määrittämiseksi, sinun täytyy myös ohittaa hashCode() — koska hash-pohjaiset kokoelmat (HashMap, ) perustuvat sopimukseen, että . Tämän rikkominen johtaa hienoihin, vaikeasti löydettäviin virheisiin.
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
Ilman ohitusta kaksi samannimistä sisältöä omaavaa objektia eivät ole "yhtä suuret" — yleensä ei mitä haluat arvotyyppisille objekteille.
@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()
}
Sopimus: jos a.equals(b) on tosi, niin a.hashCode() == b.hashCode() ON oltava tosi.
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)!
Miksi? HashMap/HashSet käyttää ensin hashCode()-metodia oikean kauhasn löytämiseen, sitten equals()-metodia sen sisällä. Oletussa (identiteettiin perustuva) hashCode()-metodissa p1 ja p2 päätyvät eri kauhoissa, joten contains ei koskaan vertaa niitä — joukko luulee ne olevan erilaisia. Tämä tuottaa hämmästyttäviä virheitä: kaksoiskappaleita joukossa, epäonnistuneita karttahakuja jne.
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 (ja IDE-generointi / Lombok) tuottavat sinulle oikeat, johdonmukaiset equals/hashCode-metodit.
Equals/hashCode-sopimus on yksi Javan tärkeimmistä — ja useimmin rikottuista — säännöistä.
Equals()-metodin ohittaminen ilman hashCode()-metodia rikkoo hash-pohjaisia kokoelmia tavoin, joita on vaikea virheenkorjata: objektit, joita pidät yhtä suurina, "katoavat" HashMap/HashSet-kokoelmaan (epäonnistuneet haut, haamujen kaksoiskappale), koska ne hash-kooditaan eri kauhoihin.
Koska nämä kokoelmat ovat kaikkialla, jokainen avaimina tai joukko-elementteinä käytettävä arvotyyppiluokka täytyy ohittaa molemmat johdonmukaisesti.
Ymmärrys miksi (kauhan-sitten-tasa-arvoisuus-haku-mekanismi) — ja record-tietueiden tai luodun koodin käyttäminen sen oikein tekemiseksi — on olennaista oikealle käyttäytymiselle ja klassinen haastattelun aihe, joka paljastaa todellisen ymmärryksen siitä, kuinka Java-kokoelmat toimivat.