Adicionar elementos a esse tipo de lista não é possível pois a declaração curinga de List<? extends Number> ml
significa que a variável ml
pode conter qualquer valor da família Number
, em vez de qualquer valor de um tipo específico. Veja as atribuições equivalentes abaixo que seriam permitidas:
List<? extends Number> foo3 = new ArrayList<Number>; // Number "extends" Number
List<? extends Number> foo3 = new ArrayList<Integer>; // Integer extends Number
List<? extends Number> foo3 = new ArrayList<Double>; // Double extends Number
Visto isso, o tipo de objeto que você pode adicionar ao List foo3
que seria válido depois de qualquer uma das atribuições acima de um ArrayList
esbarraria nos problemas abaixo:
- Você não pode adicionar um
Integer
porque foo3
poderia estar apontando para um List<Double>
.
- Você não pode adicionar um
Double
porque foo3
poderia estar apontando para um List<Integer>
.
- Você não pode adicionar um
Number
porque foo3
poderia estar apontando para um List<Integer>
.
Portanto:
Você não pode adicionar qualquer objeto para List<? extends T>
porque você não pode garantir que List
está realmente apontando para este tipo, então você não pode garantir que o objeto a ser adicionado é permitido nessa lista. A única "garantia" que você tem é que só pode ler esta lista e vai ter um T
subclasse de T
.
A lógica inversa se aplica a utilização do super
, conforme as atribuições abaixo, que também são válidas:
List<? super Number> foo3 = new ArrayList<Number>; // Number é "superclasse" de Number
List<? super Number> foo3 = new ArrayList<Object>; // Object é "superclasse" de Number
Sobre List<? super T>
, pode-se chegar a seguinte conclusão:
Você não pode ler o tipo T
específico(por exemplo Number
) a partir List<? super T>
porque você não pode garantir que tipo de List
está realmente apontando para ele. A única "garantia" que você tem é que você é capaz de adicionar um valor do tipo T
(ou qualquer subclasse de T
) sem violar a integridade da lista que está sendo apontado.
A declaração a esquerda(List<? extends Number> foo3
) define o tipo de dado que poderá ser atribuído a seus ArrayLists a direita(= new ArrayList<Integer>();
), e não ao tipo de dado que pode ser adicionado na lista criada.
Traduzido e adaptado desta resposta do SOEn
Referências para leitura:
ml.get(0)
retorna umNumber
, mas quando eu testei fazerml.add(ml.get(0));
também deu erro de compilação! Afinal, que tipo de objetos uma lista "List<? extends Number>" é capaz de receber? Você pode nos ajudar @Articuno? :) - Obs.: ao fazerList<Number> ml = new Vector<Number>();
(sem usarextends
) a lista consegue receberInteger
eDouble
normalmente.Number
é uma classe abstrata que representa uma coleção de tipos, você não pode definir uma list que aceite tipos number e do lado direito definir o vector pro tipo integer, não tem como a List garantir que o tipo number seja integer, uma vez que number é um supertipo herdado de varios subtipos numericos como Double, Float. Essa lista se torna apenas para leitura, não é possivel adicionar nada pois não é possivel garantir que o tipo de number adicionando seja o mesmo informado na atribuiçãoList<? extends Number>
independente do que você declare do lado direito.