Perché una classe astratta può forzare un metodo concreto per essere sovrascritto?

Question

Io uso una biblioteca dove una classe astratta sostituisce un metodo concreto ereditato da Object con un metodo astratto:

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

Per estendere questa classe, devo implementare il metodo equals:

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

---

Perché un metodo astratto (A::equals) sovrascrive un metodo concreto (Object::equals)? Non vedo l'obiettivo di questo.

Answer 1

In questo specifico esempio ha perfettamente senso. Se le sottoclassi di A sono pensate per essere utilizzate nelle collezioni, dove lo standard equals è ampiamente utilizzato per individuare gli oggetti, il metodo equals del metodo A ti costringe a dare un'implementazione non predefinita di equals in qualsiasi sottoclasse di A (invece di utilizzando l'implementazione predefinita della classe Object che confronta solo i riferimenti all'istanza).

Ovviamente, l'implementazione suggerita di equals in B ha poco senso. Dovresti confrontare le proprietà delle istanze 2 B per determinare se sono uguali.

Questa è un'implementazione più adatto:

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); 
    } 
} 

Inoltre, ricordarsi di eseguire l'override hashCode ogni volta che si sostituisce equals (dato che il contratto di equals e hashCode richiede che se a.equals(b) == true poi a.hashCode() == b.hashCode()).

Answer 2

Perché in questo caso, si desidera che gli oggetti definiscano il proprio equals, che si suppone si comportino diversamente dall'implementazione predefinita.

Non si dovrebbe considerare questo come rimuovendo la funzionalità, ma piuttosto come imporre che gli oggetti ereditari implementino il proprio.

Answer 3

Ciò consentirebbe di forzare una sottoclasse a reimplementare un metodo. Se questa è una buona idea o no è un'altra questione. Lo farebbe solo se si volesse applicare un contratto più forte rispetto al metodo originale fornito. Dovresti quindi documentare attentamente il nuovo contratto.

Answer 4

significa che necessario implementare il proprio metodo di equals()

Answer 5

Perché tutte le classi in Java intrinsecamente estendono la classe Object. La classe A erediterà il metodo Object#equals. Si supponga di voler forzare un errore di compilazione quando il metodo equals non è implementato esplicitamente come in questo example. Rendere astratto il metodo equals senza un blocco di implementazione ti permetterebbe di farlo.