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

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的泛型是父类Heroadhs的泛型是子类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>();。