Che cosa fa questo paradigma di generics Java e come si chiama?

Question

Sto guardando alcune classi Java che hanno la seguente forma:

 

public 
abstract 
class A <E extends A<E>> implements Comparable <E> { 

    public final int compareTo(E other) { 
     // etc 
    } 
} 

public 
class B extends A <B> { 
    // etc 
} 

public 
class C extends A <C> { 
    // etc 
} 

 

mio uso di "comparabile" qui è solo per illustrare un possibile utilizzo del parametro generico "E". Questo uso di generici/eredità ha un nome? A cosa serve?

La mia impressione è che questo consenta alla classe astratta di fornire un'implementazione comune di un metodo (come compareTo) senza doverlo fornire nelle sottoclassi. Tuttavia, in questo esempio, diversamente da un metodo ereditato, limiterebbe le sottoclassi a invocare il confronto su altre istanze della stessa sottoclasse, piuttosto che su una sottoclasse "A". Suona bene?

In ogni caso, è curioso di sapere se qualche guru là fuori l'ha già visto e sa cosa fa.

Grazie!

Answer 1

In C++, è noto come Curiously Recurring Template Pattern (CRTP). Non so se ha un nome diverso in Java (o anche se ha un nome), ma probabilmente ha scopi simili.

Answer 2

Credo che di solito si chiami semplicemente un tipo generico ricorsivo. Come sottolinea Tom Hawtin, probabilmente si desidera che la classe A < E si estenda A <E> >. L'uso più importante di questo modello è java.lang.Enum (che probabilmente sapevi considerando che hai scelto Comparabile <E> come interfaccia).

Answer 3

Non ha un nome e in genere non è utile. Probabilmente la persona che l'ha scritto non si rese conto che avrebbero potuto scrivere in questo modo invece:

class A<E> implements Comparable<E> 

mia impressione è che questo permette la classe astratta per fornire un attuazione comune di un metodo (come compareTo) senza avere per fornirlo nelle sottoclassi.

Non più di quanto class A<E>

Tuttavia, in questo esempio, a differenza di un metodo ereditato sarebbe limitare sottoclassi per invocare compareTo su altre istanze dello stesso sottoclasse, piuttosto che qualsiasi "A" sottoclasse. Suona bene?

No, non è corretto. Lo limita a invocare compareTo su E, qualunque sia lo E.