Java 中的子类泛型转型成父类泛型
步骤 1 : 对象转型
根据面向对象学习的知识，子类转父类 是一定可以成功的
package generic;
import charactor.ADHero;
import charactor.Hero;
public class TestGeneric {
public static void main(String[] args) {
Hero h = new Hero();
ADHero ad = new ADHero();
//子类转父类
h = ad;
}
}
步骤 2 : 子类泛型转父类泛型
既然 子类对象 转 父类对象是可以成功的，那么子类泛型转父类泛型能成功吗？
如代码
hs的泛型是父类Hero
adhs 的泛型是子类ADHero
那么 把adhs转换为hs能成功吗？
package generic;
import java.util.ArrayList;
import charactor.ADHero;
import charactor.Hero;
public class TestGeneric {
public static void main(String[] args) {
ArrayList<Hero> hs =new ArrayList<>();
ArrayList<ADHero> adhs =new ArrayList<>();
//子类泛型转父类泛型
hs = adhs;
}
}
步骤 3 : 假设可以转型成功
假设可以转型成功
引用hs指向了ADHero泛型的容器
作为Hero泛型的引用hs, 看上去是可以往里面加一个APHero的。
但是hs这个引用，实际上是指向的一个ADHero泛型的容器
如果能加进去，就变成了ADHero泛型的容器里放进了APHero，这就矛盾了
所以子类泛型不可以转换为父类泛型
假设可以转型成功
package generic;
import java.util.ArrayList;
import charactor.ADHero;
import charactor.APHero;
import charactor.Hero;
public class TestGeneric {
public static void main(String[] args) {
ArrayList<Hero> hs =new ArrayList<>();
ArrayList<ADHero> adhs =new ArrayList<>();
//假设能转换成功
hs = adhs;
//作为Hero泛型的hs,是可以向其中加入APHero的
//但是hs这个引用，实际上是指向的一个ADHero泛型的容器
//如果能加进去，就变成了ADHero泛型的容器里放进了APHero，这就矛盾了
hs.add(new APHero());
}
}
练习： 父类泛型能否转换为子类泛型？
上面使用反证法分析了，子类泛型不能转换为父类泛型。
那么父类泛型又能否转换成子类泛型？ 为什么？
package generic;
import java.util.ArrayList;
import charactor.ADHero;
import charactor.Hero;
public class TestGeneric {
public static void main(String[] args) {
ArrayList<Hero> hs =new ArrayList<>();
ArrayList<ADHero> adhs =new ArrayList<>();
//父类泛型转子类泛型，能否成功？为什么？
adhs = hs;
}
}
答案：
假设能成功
这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个APHero
而根据泛型，直接取出来就转型成了ADHero
所以就变成了APHero转型成ADHero，这是矛盾的。
所以反推，父类泛型不能转型为子类泛型
package generic;
import java.util.ArrayList;
import charactor.ADHero;
import charactor.Hero;
public class TestGeneric {
public static void main(String[] args) {
ArrayList<Hero> hs =new ArrayList<>();
ArrayList<ADHero> adhs =new ArrayList<>();
//假设能成功
adhs = hs;
//这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个APHero
//而根据泛型，直接取出来就转型成了ADHero
//所以就变成了APHero转型成ADHero，这是矛盾的。
ADHero ad =adhs.get(0);
}
}
