¿Qué hace este paradigma de genéricos de Java y cómo se llama?

Question

estoy mirando algunas clases Java que tienen la siguiente 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 
} 

 

Mi uso de "comparables" aquí es sólo para ilustrar un posible uso del parámetro genérico "E". ¿Este uso de genéricos/herencia tiene un nombre? ¿Para qué se usa esto?

Mi impresión es que esto permite que la clase abstracta proporcione una implementación común de un método (como compareTo) sin tener que proporcionarlo en las subclases. Sin embargo, en este ejemplo, a diferencia de un método heredado, restringiría subclases para invocar compareTo en otras instancias de la misma subclase, en lugar de cualquier subclase "A". Suena bien?

De todos modos, es curioso si algún gurú ha visto esto antes y sabe lo que hace.

Gracias!

Answer 1

En C++, se lo conoce como Curiously Recurring Template Pattern (CRTP). No sé si tiene un nombre diferente en Java (o incluso si tiene un nombre), pero probablemente tenga fines similares.

Answer 2

Creo que generalmente se llama simplemente un tipo genérico recursivo. Como señala Tom Hawtin, es probable que desee que la clase A < E extienda A <E> >. El uso más destacado de este patrón es java.lang.Enum (que probablemente ya conozca si elige Comparable <E> como su interfaz).

Answer 3

No tiene nombre y generalmente no es útil. Probablemente la persona que lo escribió no se dio cuenta de que podían escribir esta forma:

class A<E> implements Comparable<E> 

Mi impresión es que esto permite que la clase abstracta para proporcionar una implementación común de un método (como compareTo) sin tener para proporcionarlo en las subclases.

No más de lo class A<E>

Sin embargo, en este ejemplo, a diferencia de un método heredado que restringiría subclases de invocar compareTo en otras instancias de la misma subclase, en lugar de cualquier "A" subclase. Suena bien?

No, eso es incorrecto. Lo restringe a invocar compareTo en E, cualquiera que sea E es.