Estoy tratando de aprender genéricos de Java. No tengo claro cuándo utilizará <T extends Foo> y cuándo usará <T super Foo>. ¿Qué significa cada una de estas cosas sobre T? Digamos que tengo <T extends Comparable> y <T super Comparable>, ¿qué significa cada uno de estos?cuál es la diferencia entre 'super' y 'extends' en Java Generics
He leído varios tutoriales en sun.com pero todavía estoy perdido. ¿Alguien puede ilustrar con ejemplos?
Gracias!
Ver Effective Java 2ª edición, artículo 28:
PECS
P roducer e xtends, C onsumer s uper
Si el parámetro es una productor, debe ser <? extends T>, si es un consumidor tiene que ser <? super T>.
Tome un vistazo a las colecciones de Google, que saben cómo usarlo, porque consiguieron Bloch;)
Esto realmente no explica cómo funcionan ni qué significan, mientras que [la respuesta de R Klatchko] (http : //stackoverflow.com/a/1911036/254477) hace. – ArtB
No lo entiendo, no explica la diferencia. –
Esta es la forma Bloch explica: _Suppose desea agregar métodos a granel to_ 'Pila
Depende de qué dirección permita la jerarquía de herencia. Supongamos que tiene una clase "Niño" que hereda de "Padre" que hereda de "Abuelo".
<T extends Parent> acepta padre o hijo, mientras que <T super Parent> acepta padre o abuelo.
Esta es la mejor respuesta a esta pregunta que he visto, y debería ser el respuesta aceptada Simple y funciona a la perfección. – ArtB
Así que es más parecido a heredar (extender) o subir la herencia (super) –
Hay tres tipos de comodines:
? extends Type: Denota una familia de subtipos de tipo Type. Este es el comodín más útil.? super Type: denota una familia de supertipos del tipo Type.?: Denota el conjunto de todos los tipos o cualquiera.FYI: esto se extrae de http://java.sun.com/developer/technicalArticles/J2SE/generics/ En el futuro, mencione sus fuentes en lugar de escribir como si fueran suyas. – BalusC
El enlace de @ BalusC al artículo ya no funciona. Aquí está uno actual: http://www.oracle.com/technetwork/articles/javase/generics-136597.html – Dathan
Si está preguntando acerca de los parámetros de tipo, entonces no existe la construcción <T super X> en Java. El parámetro delimitado solo puede extend, pero puede extender más de un tipo. Por ejemplo
public class MyClass< T extends Closeable & Runnable >
{
// Closeable and Runnable are chosen for demonstration purposes only
}
En este caso, si ves a continuación MyClass<ConcreteT> concretet debe declararse como
public class ConcreteT
implements Closeable, Runnable
{
...
}
Para comodines acotadas, leer this article. Lea la sección en get-put principle. Básicamente, super corresponde a la semántica write, y extends corresponde a la semántica read.
Recuerde PECS - Productor amplía el soporte del Consumidor. Además, el tío Bob lo analiza bien en su serie de artesanos.Check out http://objectmentor.com/resources/articles/The_Craftsman_44__Brown_Bag_I.pdf
Para mí, la mejor respuesta vino de @BSingh, cuando leí el artículo de Uncle Bob. Vuelvo aquí, la conclusión del artículo.
Usar lista < T súper Traje> cada vez que se va a escribir en la lista.
Cuando coloca un objeto en la lista, lo único que importa es que el objeto sea de un tipo que sea compatible con el tipo de la lista. Así que desea que la lista tome el tipo de ese objeto o cualquiera de las superclases de ese objeto.
Usar lista < T extiende Traje> cada vez que se va a leer de una lista.
Por otro lado, cuando lee de una lista, quiere que el tipo que está leyendo sea del tipo que figura en la lista, o un derivado de ese tipo.
esto se ha discutido antes - ver http://stackoverflow.com/questions/1368166/what-is-a-difference-between-super-e-and-extends-e y http://stackoverflow.com/questions/252055/java-generics-wildcards y http://stackoverflow.com/questions/1906677/super-e-and-extends-e-for-list – Adrian
(Nota 'Comparable' es una tipo genérico, por lo que usarlo como un tipo sin formato en un límite genérico causará sufrimiento. Debería ser, al más "simple" ser 'Comparable '.) –
no hay "", solo " " –
newacct