Όταν παρακάμπτετε equals() για να ορίσετε λογική ισότητα, πρέπει επίσης να παρακάμψετε hashCode() — επειδή οι συλλογές βασισμένες σε hash (HashMap, ) βασίζονται στο συμβόλαιο ότι . Η παραβίαση αυτού οδηγεί σε λεπτά, δύσκολα προς εύρεση σφάλματα.
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
Χωρίς παράκαμψη, δύο αντικείμενα με ίδιο περιεχόμενο δεν είναι "ίσα" — συνήθως όχι αυτό που θέλετε για αντικείμενα τιμών.
@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()
}
Το συμβόλαιο: αν a.equals(b) είναι true, τότε a.hashCode() == b.hashCode() ΠΡΕΠΕΙ να είναι true.
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)!
Γιατί; HashMap/HashSet χρησιμοποιεί πρώτα hashCode() για να βρει το σωστό bucket, στη συνέχεια equals() σε αυτό. Με τον προεπιλεγμένο (βασισμένο στην ταυτότητα) hashCode(), p1 και p2 καταλήγουν σε διαφορετικά buckets, οπότε contains δεν τα συγκρίνει ποτέ — το σύνολο νομίζει ότι είναι διαφορετικά. Αυτό παράγει συγχυτικά σφάλματα: διπλοί αριθμοί σε Set, αποτυχημένες αναζητήσεις χάρτη, κτλ.
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 (και δημιουργία IDE / Lombok) παράγουν σωστό, συνεπές equals/hashCode για εσάς.
Το συμβόλαιο equals/hashCode είναι ένας από τους πιο σημαντικούς — και τις περισσότερες φορές παραβιασμένους — κανόνες της Java.
Η παράκαμψη equals() χωρίς hashCode() διακόπτει τις συλλογές που βασίζονται σε hash με τρόπους που είναι δύσκολο να αποσφαλματωθούν: τα αντικείμενα που θεωρείτε ίσα "χάνονται" στο HashMap/HashSet (αποτυχημένες αναζητήσεις, ψευδή διπλοί αριθμοί) επειδή κατακερματίζονται σε διαφορετικά buckets.
Επειδή αυτές οι συλλογές είναι παντού, κάθε κλάση τύπου τιμής που χρησιμοποιείται ως κλειδί ή στοιχείο συνόλου πρέπει να παρακάμψει και τα δύο συνεπώς.
Η κατανόηση γιατί (ο μηχανισμός αναζήτησης bucket-τότε-ισότητα) — και η χρήση records ή δημιουργημένου κώδικα για να το κάνετε σωστά — είναι απαραίτητη για σωστή συμπεριφορά και ένα κλασικό θέμα συνέντευξης που αποκαλύπτει πραγματική κατανόηση του πώς λειτουργούν οι συλλογές Java.