De ce modificarea metodei equals fără actualizarea corespunzătoare a hashCode afectează corectitudinea funcționării tabelelor hash?

În Java, contractul dintre metodele equals() și hashCode() impune ca, dacă două obiecte sunt considerate egale (equals returnează true), atunci hashCode-ul lor trebuie să fie același. Dacă se modifică equals fără a actualiza hashCode, obiectele considerate egale conform equals pot avea hashCode-uri diferite. Ca urmare, tabelele hash (de exemplu, HashMap sau HashSet) nu vor putea găsi corect un obiect, deoarece căutarea se face mai întâi după hashCode și apoi după equals. Acest lucru duce la erori în stocarea și căutarea obiectelor în colecțiile bazate pe hash.