Java 中的子类泛型转型成父类泛型
步骤 1 :
对象转型根据面向对象学习的知识,子类转父类 是一定可以成功的
package
步骤 2 :
子类泛型转父类泛型既然 子类对象 转 父类对象是可以成功的,那么子类泛型转父类泛型能成功吗?
如代码
hs的泛型是父类Hero
adhs 的泛型是子类ADHero
那么 把adhs转换为hs能成功吗?
package
步骤 3 :
假设可以转型成功假设可以转型成功
引用hs指向了ADHero泛型的容器
作为Hero泛型的引用hs, 看上去是可以往里面加一个APHero的。
但是hs这个引用,实际上是指向的一个ADHero泛型的容器
如果能加进去,就变成了ADHero泛型的容器里放进了APHero,这就矛盾了
所以子类泛型
不可以转换为父类泛型

package
练习 : 父类泛型能否转换为子类泛型?
上面使用反证法分析了,子类泛型不能转换为父类泛型。
那么父类泛型又能否转换成子类泛型? 为什么?
package
答案 :
假设能成功
这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个APHero
而根据泛型,直接取出来就转型成了ADHero
所以就变成了APHero转型成ADHero,这是矛盾的。
所以反推,父类泛型不能转型为子类泛型
package