Warum kann eine abstrakte Klasse eine konkrete Methode außer Kraft setzen?

Question

Ich verwende eine Bibliothek, in der eine abstrakte Klasse eine konkrete Methode aus Object mit einer abstrakten Methode geerbt hat Vorrang:

public abstract class A { 
    @Override 
    public abstract boolean equals(Object obj); 
} 

diese Klasse zu erweitern, ich habe die equals Methode implementieren:

public class B extends A { 
    @Override 
    public boolean equals(Object obj) { 
     return obj != null && obj.getClass() == B.class; 
    } 
} 

---

Warum kann eine abstrakte Methode (A::equals) eine konkrete Methode überschreiben (Object::equals)? Ich sehe das Ziel nicht.

Answer 1

In diesem speziellen Beispiel macht es Sinn. Wenn Unterklassen von A in Sammlungen verwendet werden sollen, wobei equals weit verbreitet zum Lokalisieren von Objekten verwendet wird, erzwingt die A Methode equals die abstrakte Methode, dass Sie die Nicht-Standardimplementierung equals in Unterklassen A (anstelle von Verwenden der Standardimplementierung der Object-Klasse, die nur Instanzreferenzen vergleicht).

Natürlich macht Ihre vorgeschlagene Implementierung von equals in B wenig Sinn. Sie sollten die Eigenschaften der 2 B-Instanzen vergleichen, um festzustellen, ob sie gleich sind.

Dies ist eine geeignete Implementierung:

public class B extends A { 
    @Override 
    public boolean equals(Object obj) { 
     if (!(obj instanceof B)) 
      return false; 
     B other = (B) obj; 
     return this.someProperty.equals(other.someProperty) && this.secondProperty.equals(other.secondProperty); 
    } 
} 

Außerdem erinnern hashCode außer Kraft zu setzen, wenn Sie equals außer Kraft setzen (seit dem Vertrag von equals und hashCode erfordert, dass, wenn a.equals(b) == true dann a.hashCode() == b.hashCode()).

Answer 2

In diesem Fall möchten Sie, dass Ihre Objekte ihre eigenen equals definieren, die sich vermutlich anders verhalten als die Standardimplementierung.

Sie sollten dies nicht als Funktion entfernen, sondern Funktionalität, sondern eher als erzwingen, dass die erbenden Objekte implementieren ihre eigenen.

Answer 3

Damit können Sie erzwingen, dass eine Unterklasse eine Methode neu implementiert. Ob das eine gute Idee ist oder nicht, ist eine andere Sache. Sie würden dies nur tun, wenn Sie einen stärkeren Vertrag durchsetzen wollten als die ursprüngliche Methode. Sie sollten dann den neuen Vertrag sorgfältig dokumentieren.

Answer 4

Es heißt, Sie müssen Ihre eigene equals() Methode

Answer 5

implementieren, da alle Klassen in Java von Natur aus die Object Klasse erweitern. Die Klasse A erbt die Object#equals-Methode. Angenommen, Sie möchten einen Kompilierungsfehler erzwingen, wenn die equals-Methode nicht explizit implementiert ist, wie in diesem Beispiel example. Wenn Sie die Methode equals ohne einen Implementierungsblock abstrahieren möchten, können Sie dies tun.