Generics wildcard instanceiation

Question

Estaba revisando el código de otra persona el otro día y encontré una línea que generó cierta preocupación. Para simplificar, supongamos que tengo una Clase A genérica y una Clase B abstracta. ¿Se permite la siguiente instanciación y, de ser así, por qué?

Object obj = new A<? extends B>(); 

Yo personalmente nunca han visto una instancia como el de arriba, a pesar de una declaración como

A<? extends B> obj = null; 

sin duda mantener. Siempre he usado el comodín en genéricos para declarar los parámetros del método, por lo que es posible que no tenga la experiencia.

Answer 1

Actualmente new A<? extends B>() no se compila. Ha sido constantemente ilegal desde Java 5.

Pero supongo que su ejemplo original fue algo así como new A<X<? extends B>>(). Esto último es legal en versiones recientes de Java.

La idea es que, al crear una instancia de un objeto, el valor para los parámetros de tipo puede ser cualquier tipo de comodín. ? extends B es un tipo de comodín, por lo que no está permitido. Pero X<? extends B> no es un tipo de comodín, aunque tiene un tipo de comodín como componente. Entonces puedes decir legalmente llamar al new A<X<? extends B>>().

Las reglas tienen sentido si lo piensas de esta manera. En última instancia, es un subproducto de la regla más fundamental que un tipo de comodín como ? extends B no puede ser declarado tipo de un campo o variable. Si A se define como

class A<T> { 
    T value; 
} 

entonces el hipotético new A<? extends B>().value habría un campo declarado de tipo? extends B. Como eso es ilegal, también lo es la instanciación. Pero new A<X<? extends B>>() no tiene ese problema.