子类与父类范型转换的限制

Question

据面向对象学习的知识，子类转父类是一定可以成功的，例如：

//AHero extends Hero
Hero h = new Hero();
AHero ad = new AHero();
//子类转父类
h = ad;

既然子类对象转父类对象是可以成功的，那么子类泛型转父类泛型如下代码：

ArrayList<Hero> hs =new ArrayList<>();
ArrayList<AHero> adhs =new ArrayList<>();
//子类泛型转父类泛型
hs = adhs;

hs的泛型是父类Hero
adhs的泛型是子类AHero
为啥子类与父类范型间的转换就有限制了呢？

Answer 1

泛型没有这样的特性。
因为泛型的实现机制是在编译时自动增加强制类型转换。

编码

Hero h = hs.get(0);

编译后的代码

Hero h = (Hero)hs.get(0);

Answer 2

如果可以转换，那你从hs里取出来的到底是子类还是父类呢？

把
ArrayList<Hero> hs =new ArrayList<>();
换成
ArrayList<? extends Hero> hs =new ArrayList<>();
就可以了

Answer 3

本质上应该是因为List<Object> list = new ArrayList<String>();编译无法通过，可能是Java的语法就不支持 List<T> list = new ArrayList<K>();。

Answer 4

https://www.zhihu.com/questio...
看看这个回答吧。