Java自学-泛型 泛型转型

2020-01-22 16:02:14来源:博客园 阅读 ()

新老客户大回馈,云服务器低至5折

Java自学-泛型 泛型转型

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);
         
    }
  
}

原文链接:https://www.cnblogs.com/jeddzd/p/12228758.html
如有疑问请与原作者联系

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇:javaweb垃圾分类查询系统源码 ssm+mysql

下一篇:基于ssh开发彩票购买系统的设计与实现毕业设计