Genéricos en Java

Los genéricos son parámetros de clase. Implican que cuando se fabriquen instancias de una clase, se especifique un parámetro extra que va ligado a toda la instancia, y que es un tipo. Dentro de la declaración de una clase tendremos referencias a ese tipo neutro y genérico, que serán sustituidas cuando aclaremos qué hay detrás de ese genérico.

Definir un genérico aporta algunas ventajas en un lenguaje orientado a objetos como Java, ya que la inferencia de tipos será mucho más rica que si únicamente usasemos la clase Object. Ya sabes qué es un genérico (y si no, recuerda que tengo un vídeo al respecto), así que en esta lección te cuento cómo puedes fabricarte tus propias clases con genéricos en el lenguaje de programación Java.

A veces en Java hay genéricos que llevan el símbolo de interrogación, como "?", "? extends X" o "? super Y". ¿Qué quiere decir este símbolo y por qué nos lo encontramos? Como te cuento en este vídeo, el sistema de inferencia de tipos de Java no permite usar por defecto especializaciones o generalizaciones en la clase que va dentro del diamante de un genérico, pero con los wildcards podemos fabricar cotas y restricciones que nos permitan usar clases de tipos que no está claro hasta que no se instancia la clase.