¿Qué significa el signo de interrogación en el parámetro tipo de genéricos de Java?

Este es un pequeño fragmento de código tomado de algunos de los ejemplos que acompañan al Stanford Parser. He estado desarrollando en Java durante aproximadamente 4 años, pero nunca he tenido una comprensión muy sólida de lo que se supone que indica este estilo de código.

List<? extends HasWord> wordList = toke.tokenize();

No me preocupan los detalles del código. Lo que me confunde es qué se supone que debe transmitir exactamente la expresión genérica, en inglés.

¿Alguien puede explicarme esto?

? extends HasWord

significa "Una clase / interfaz que se extiende HasWord". En otras palabras, HasWordsí mismo o cualquiera de sus hijos ... básicamente cualquier cosa que funcione con instanceof HasWordplus null.

En términos más técnicos, ? extends HasWordes un comodín acotado, cubierto en el Artículo 31 de Effective Java 3rd Edition , que comienza en la página 139. El mismo capítulo de la 2da Edición está disponible en línea como PDF ; la parte de los comodines delimitados es el Artículo 28 que comienza en la página 134.

Actualización: el enlace PDF se actualizó desde que Oracle lo eliminó hace un tiempo. Ahora apunta a la copia presentada por la Escuela de Ingeniería Electrónica e Informática de la Universidad Queen Mary de Londres.

Actualización 2: Veamos un poco más de detalles sobre por qué querría usar comodines.

Si declara un método cuya firma espera que pase List<HasWord>, entonces lo único que puede pasar es a List<HasWord>.

Sin embargo, si dicha firma era, List<? extends HasWord>entonces podría pasar un en su List<ChildOfHasWord>lugar.

Tenga en cuenta que hay una sutil diferencia entre List<? extends HasWord>y List<? super HasWord>. Como dijo Joshua Bloch: PECS = productor-se extiende, consumidor-super.

Lo que esto significa es que si está pasando una colección de la cual su método extrae datos (es decir, la colección está produciendo elementos para su método), debe usarla extends. Si está pasando una colección a la que su método agrega datos (es decir, la colección está consumiendo elementos que crea su método), debe usarla super.

Esto puede sonar confuso. Sin embargo, puede verlo en Listel sortcomando de (que es solo un acceso directo a la versión de dos argumentos de Collections.sort). En lugar de tomar un Comparator<T>, en realidad se necesita un Comparator<? super T>. En este caso, el Comparador está consumiendo los elementos del Listpara reordenar la Lista misma.

Un signo de interrogación es un significante para 'cualquier tipo'. ?solo significa

Cualquier tipo que se extienda Object(incluido Object)

mientras su ejemplo anterior significa

Cualquier tipo que se extienda o implemente HasWord(incluso HasWordsi HasWordes una clase no abstracta)

List<? extends HasWord>acepta cualquier clase concreta que extienda HasWord. Si tienes las siguientes clases ...

public class A extends HasWord { .. }
public class B extends HasWord { .. }
public class C { .. }
public class D extends SomeOtherWord { .. }

... la wordListlata SOLO puede contener una lista de As o Bs o una mezcla de ambas porque ambas clases extienden el mismo padre o null(que falla la instancia de las comprobaciones HasWorld).

Quizás un ejemplo artificial del "mundo real" ayudaría.

En mi lugar de trabajo tenemos contenedores de basura que vienen en diferentes sabores. Todos los contenedores contienen basura, pero algunos contenedores son especializados y no toman todo tipo de basura. Entonces tenemos Bin<CupRubbish>y Bin<RecylcableRubbish>. El sistema de tipos necesita asegurarse de que no puedo colocar mi HalfEatenSandwichRubbishen ninguno de estos tipos, pero puede ir a un contenedor de basura general Bin<Rubbish>. Si quisiera hablar sobre uno Binde los Rubbishcuales puede estar especializado para no poder poner basura incompatible, entonces sería Bin<? extends Rubbish>.

(Nota: ? extendsno significa solo lectura. Por ejemplo, con las precauciones adecuadas puedo sacar un pedazo de basura de un contenedor de especialidad desconocida y luego volver a colocarlo en un lugar diferente).

No estoy seguro de cuánto ayuda eso. Puntero a puntero en presencia de polimorfismo no es del todo obvio.

En inglés:

Es Listde algún tipo que extiende la clase HasWord, incluyendoHasWord

En general, el término ?genérico significa cualquier clase. Y extends SomeClassespecifica que ese objeto debe extenderse SomeClass(o ser esa clase).

El signo de interrogación se utiliza para definir comodines . Consulte la documentación de Oracle sobre ellos: http://docs.oracle.com/javase/tutorial/java/generics/wildcards.html