Warum verletzt die Änderung der Methode equals ohne entsprechende Aktualisierung von hashCode die Korrektheit der Funktionsweise von Hash-Tabellen?

In Java, der Vertrag zwischen den Methoden equals() und hashCode() verlangt, dass wenn zwei Objekte als gleich angesehen werden (equals gibt true zurück), ihre hashCodes gleich sein müssen. Wenn equals geändert wird, ohne hashCode zu aktualisieren, können gleichwertige Objekte unterschiedliche Hash-Codes haben. Das führt dazu, dass Hash-Tabellen (z.B. HashMap oder HashSet) Objekte nicht korrekt finden können, da die Suche zuerst nach hashCode und dann nach equals erfolgt. Dies führt zu Fehlern beim Speichern und Suchen von Objekten in hash-basierten Sammlungen.