4

Por que não é possivel adicionar elementos a uma lista do tipo List<? extends Number>?

por exemplo :

public class GenClass{
  public static void main(String args[]){
    List<? extends Number> ml=new Vector<Integer>();

    ml.get(0); //ok
    ml.add(new Integer(7)); // erro de compilação
    ml.add(new Double(7d));// erro de compilação
    ml.add(new Number(7));// erro de compilação
    ml.add(new Object());// erro de compilação
  }
}
12
  • Agora eu entendi o que é covariancia e contravariancoa . Eu so não entendi porque dá erro de compilação quando eu tento adicionar um tipo que extends Number. Commented 25/08/2017 às 18:35
  • Também não entendi isso, ml.get(0) retorna um Number, mas quando eu testei fazer ml.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 fazer List<Number> ml = new Vector<Number>(); (sem usar extends) a lista consegue receber Integer e Double normalmente.
    – Douglas
    Commented 25/08/2017 às 21:16
  • 1
    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ção
    – user28595
    Commented 25/08/2017 às 23:03
  • E se eu faço List<? extends Number> ml=new Vector<Number>(); Porque eu não consigo também adicionar os seus subtipos , dando erro de compilação? mas quando faço List<? super Number> ml=new Vector<Number>(); Consigo adicionar Double Integer , etc.? Commented 25/08/2017 às 23:08
  • Minha explicação no comentário anterior vale pra todos os casos onde você usar List<? extends Number> independente do que você declare do lado direito.
    – user28595
    Commented 25/08/2017 às 23:13

1 Resposta 1

7

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 Integerporque foo3 poderia estar apontando para um List<Double>.
  • Você não pode adicionar um Doubleporque foo3 poderia estar apontando para um List<Integer>.
  • Você não pode adicionar um Numberporque 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:

2
  • Se não posso adicionar qualquer objeto para List<? extends T> , qual o propósito de criá-la? Commented 28/08/2017 às 14:27
  • @user2509556 no link da resposta que traduzi do SOen tem essa explicação, dá uma olhada nela. Só não traduzi pra não sair do foco inicial da pergunta
    – user28595
    Commented 28/08/2017 às 14:31

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .