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

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

如果可以转换，那你从hs里取出来的到底是子类还是父类呢？ 把ArrayList<Hero> hs =new ArrayList<>();换成ArrayList<? extends Hero> hs =new ArrayList<>();就可以了

Answer 2

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