怎样理解下面这段代码

[szuwl]

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

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

[sbdx]

编译器猜的

[Jooooooooo]

不都是 Number 吗?

List 可以装 Number.

[faust24601]

范型协变

[xx6412223]

泛型检查，泛型擦除

[xuanbg]

extends Number，就是当作 Number 类型处理啊

[CodeCodeStudy]

List 里面装的是 Number，1,2,3.1f,4.1d 这些都是 Number

[szuwl]

@CodeCodeStudy @xuanbg @Jooooooooo 这个 `list` 既然装的都是 `Number` 那为什么不允许再插入一个 `Number` 进去， `list.add(Integer.valueOf(1))` 将无法通过编译

[Chengx]

@szuwl Arrays.asList 不可修改

[Chengx]

@Chengx
Arrays.asList 返回长度固定的 List
支持 set 修改元素值
不支持 add, remove, clear

[hello2060]

实际类型就是 Number 啊，所以这语句没问题。

[wunaidouzi]

返回的是 Arrays 的内部类 ArrayList, 所以不能 add,remove,clear

[szuwl]

@Chengx 首先产生的是编译期错误 `Required type: capture of ? extends Number，Provided: Integer`，而非运行时错误，你说的是运行时错误，再另说。

[szuwl]

@Chengx @wunaidouzi
```java
List<Number> arr = Arrays.asList(1,2,3.1f,4.1d);
arr.add(Integer.valueOf(1));
```
不会有编译器错误，只是在运行时候才会出现 `UnsupportedOperationException` 异常

[xuanbg]

@szuwl 运行时不是 List<Number>，而是 Arrays.asList(1,2,3.1f,4.1d)。这个对象不允许增减操作。

[llej]

@szuwl 允许修改的话类型不安全 你可以参见我这个 ts 的例子。父子类所构成的数组并不是父子关系 https://www.typescriptlang.org/zh/play?#code/MYGwhgzhAECC0G8BQ1XTNAvNAjEgvkqJDAELQCmAHgC4UB2AJjPMmtAEZbQBMBR4KNADClWg2ZxEKNMG59CRAPb0INTgC5opANoBdbvuWr1YLbH3cuAemvRAFzaB4Q0Cb8YBnE9NEAhboDztQKJpgHgVAejNtIyQwHQAGA2x6CgB3EQAKAEokJA5IvQA6Gzs3QA1tQAp1QDvUwAyMzkzoP2DRQEKbQEhzTiQgA

[szuwl]

@xuanbg 那我换个表达：
```java
List<? extends Number> arr = new ArrayList<Number>(){{ add(1); }};
arr.add(1); //Required type: capture of ? extends Number，Provided: int
```
这个 ArrayList 可以增减吧，但是第二句依然无法通过编译。

[kuko126]

List<? super Number> arr = Arrays.asList(1,2,3.1f,4.1d);
arr.add(Integer.valueOf(1));
不会编译错误

[ipwx]

@szuwl int != Integer

[szuwl]

@kuko126 问的是 extends 并非 super

[Jwyt]

https://blog.csdn.net/Marmara01/article/details/85234908