Perché modificare il metodo equals senza aggiornare di conseguenza hashCode compromette la correttezza del funzionamento delle tabelle hash?

In Java, il contratto tra i metodi equals() e hashCode() richiede che se due oggetti sono considerati uguali (equals restituisce true), allora il loro hashCode deve essere uguale. Se si modifica equals senza aggiornare hashCode, gli oggetti uguali secondo equals possono avere hashCode diversi. Di conseguenza, le tabelle hash (ad esempio, HashMap o HashSet) potrebbero non trovare correttamente un oggetto, poiché la ricerca avviene prima per hashCode e poi per equals. Ciò porta a errori nel memorizzare e cercare oggetti nelle collezioni basate su hash.