子类对象可以转为父类对象,那么子类泛型可以转换为父类泛型吗?
利用反证法:
假如子类泛型可以转换为父类泛型,引用hs指向了物理攻击英雄泛型的容器
public static void main(String[] args) {
ArrayList<英雄联盟英雄> hs =new ArrayList<>();
ArrayList<物理攻击英雄> adhs =new ArrayList<>();
//假设能转换成功
hs = adhs;
//作为Hero泛型的hs,是可以向其中加入魔法英雄的
//但是hs这个引用,实际上是指向的一个物理攻击英雄泛型的容器
//如果能加进去,就变成了物理攻击英雄泛型的容器里放进了魔法英雄,这就矛盾了
hs.add(new 魔法英雄());
}
}
总结:子类泛型不可以转换为父类泛型因为在向容器中添加实例对象时会出现错误,出现可添加泛型范围唯一。
父类泛型可以转换为子类泛型吗?
继续假设可以成功
public static void main(String[] args) {
ArrayList<英雄联盟英雄> hs =new ArrayList<>();
ArrayList<物理攻击英雄> adhs =new ArrayList<>();
//假设能成功
adhs = hs;
//这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个魔法英雄
//而根据泛型,直接取出来就转型成了物理攻击英雄
//所以就变成了魔法英雄转型成物理攻击英雄,这是矛盾的。
物理攻击英雄 ad =adhs.get(0);
}
}
总结:父类泛型同样不可以转换为子类泛型因为在向容器中取出实例对象时会出现无论取出何种实例对象都会变成唯一的错误。