Genéricos de Java: crear colecciones de objetos de clase que se extienden Throwable

Question

¿Por qué funciona la primera línea, pero la segunda no?

Collection<Class<? extends Throwable>> exs = 
    new ArrayList<Class<? extends Throwable>>() {{ add(MyOwnException.class); }}; 
Collection<Class<? extends Throwable>> exs = Arrays.asList(MyOwnException.class); 

Answer 1

Los genéricos son muy difíciles.

En este caso Arrays.asList devolverá List<Class<MyOwnException>>, que no es lo mismo que List<Class<? extends Throwable>>.

Su comportamiento será diferente ya que el tipo List<Class<? extends Throwable>> le permitirá agregar objetos que se extienden Throwable pero List<Class<MyOwnException>> solo aceptan objetos del tipo MyOwnException.

Answer 2

Si el segundo ejemplo fueron a trabajar, a permitir el código como el siguiente:

Collection<Class<? extends Throwable>> exs = Arrays.asList(MyOwnException.class); 
exs.add(IOException.class); 

ver el problema? Arrays.asList() devolvería un List<Class<MyOwnException>>, y luego estaría tratando de insertar un Class<IOException> en eso. Eso es obviamente un desajuste de tipo.

Answer 3

La primera línea funciona porque el tipo del elemento del lado derecho de la asignacion (del ArrayList) es Class<? extends Throwable> que permite añadir cualquier tipo de Class<? extends Throwable> objeto, incluyendo su MyOwnException. También puede añadir a la primera línea Collection un Exception.class o una NullPointerException.class, etc.

Pero la segunda línea es mucho más estricta: usted tiene un Collection<Class<? extends Throwable>> que podrían contener una Class<Exception>, un Class<NullPointerException>, etc., y que desea poner en colocar una Collection<Class<MyOwnException>> que no permite Class<Exception>, etc.

Answer 4

la razón es un error es que java se infiere el tipo incorrecto, pero puede que se compile, sin poner en , especificando el tipo de la llamada para el método mecanografiado Arrays.asList():

Collection<Class<? extends Throwable>> exs 
    = Arrays.<Class<? extends Throwable>>asList(Exception.class); // compiles 

sin especificar el tipo, java infiere el tipo de elemento de la colección para ser Class<Exception>, que es no asignable a Collection<Class<? extends Throwable>>.

recuerdo con los genéricos que si se extiende BA, List<B> hace no extienden List<A>.

Answer 5

Arrays.asList(MyOwnException.class) se infiere que tiene el tipo List<Class<MyOwnException>>, que no es compatible con List<Class<? extends Throwable>> ya que los parámetros de tipo son diferentes.

Si pones un comodín en el primer nivel, que debería funcionar:

Collection<? extends Class<? extends Throwable>> exs = Arrays.asList(MyOwnException.class);