怎样理解下面这段代码

[szuwl]

List<? extends Number> arr = Arrays.asList(1,2,3.1f,4.1d);

问题在于，list 变量并没有准确的类型，初始化的参数的类型也是不确定的，这样的不明确的代码为什么可以通过编译。

[misdake]

学一下“协变”

[kuko126]

https://docs.oracle.com/javase/tutorial/java/generics/wildcardGuidelines.html

[xuanbg]

@szuwl 'add(capture<? extends java.lang.Number>)' in 'java.util.List' cannot be applied to '(int)'

[richardxxx]

extends 能取不能存
super 能存不能取

[CodeCodeStudy]

改成 ArrayList<? super Number> arr 就可以了

[AoEiuV020]

List<? extends Number> arr = Arrays.asList(1,2,3.1f,4.1d);
List<? extends Number> arr = new ArrayList(Arrays.asList(1,2,3.1f,4.1d));
理解一下这两个的区别，

[AoEiuV020]

搞错，是 extends 和 super 的区别，看来我也不熟，

[uselessVisitor]

1 不是包装类的子类吧，默认是 int 类型
@szuwl

[uselessVisitor]

@beichenhpy 我理解错了，应该是 super 。。

[uselessVisitor]

逆变不能 get 吗？
List<? super Integer> listSuper = new ArrayList<Number>();
listSuper.add(1);
System.out.println(listSuper.get(0));
我试了一下编译通过了，也没有错误啊。。

[Chengx]

@richardxxx 点睛之笔

[geminius2333]

Array.asList 方法返回的是 Arrays 的内部类。你要 add 可以 new ArrayList(Arrays.asList(...));

[no1xsyzy]

@beichenhpy 你不能 Integer x = listSuper.get(0)
println 允许的范围大得多罢了，super 仍然潜在蕴含了 extends Object

[Bronya]

本人拙见：
初始化的时候已经确定了值都是 Number，因此允许初始化。
但是添加的时候，`List<? extend Number>`并不知道到引用的哪一个子类，规定上界之后`List<? extend Number> = List<Integer> 和 List<? extend Number> = List<Double>`都是成立的，如果可以添加的话会造成`List<Integer>中添加了 Double 类型`，类似这样的代码：

```
List<Integer> intList = new ArrayList<>();
List<? extends Number> numList = intList;
numList.add(0.1);//如果允许添加
Integer integer = intList.get(0);//会造成 intList 存储了 Double
```

因此规定上界(协变？)的时候能取不能存。
super 同理。

[acr0ss]

List<? extends/ super T> 这个也曾困扰我，目前我的理解是。

1. List<? extends/ super T> 而不是 List<T>，目的就是限定只能 add/get
2. ？ extends T 这种形式，因为父类无法强转为子类，但子类可以强转为父类；在只有明确上界 T 的 i 情况下，无法 add，只能 get 。

[w4ngzhen]

[PECS]( https://stackoverflow.com/questions/2723397/what-is-pecs-producer-extends-consumer-super)