java泛型基础、子类泛型不能转换成父类泛型--未完待续

参考http://how2j.cn/k/generic/generic-generic/373.html

1、使用泛型的好处:
泛型的用法是在容器后面添加
Type可以是类,抽象类,接口

2、泛型用T表示。T是type的缩写,也可以使用任何其他的合法的变量,比如A,B,X都可以,但是一般约定成俗使用T,代表类型。

3、通配符

? extends

ArrayList heroList 表示这是一个Hero泛型或者其子类泛型
heroList 的泛型可能是Hero
heroList 的泛型可能是APHero(继承了Hero)
heroList 的泛型可能是ADHero(继承了Hero)
所以可以确凿的是,从heroList取出来的对象,一定是可以转型成Hero的
但是,不能往里面放东西,因为
放APHero就不满足
放ADHero又不满足

java泛型基础、子类泛型不能转换成父类泛型--未完待续_第1张图片

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 apHeroList = new ArrayList();
        apHeroList.add(new APHero());
         
        ArrayList heroList = apHeroList;
          
        //? extends Hero 表示这是一个Hero泛型的子类泛型
          
        //heroList 的泛型可以是Hero
        //heroList 的泛型可以使APHero
        //heroList 的泛型可以使ADHero
          
        //可以确凿的是,从heroList取出来的对象,一定是可以转型成Hero的
          
        Hero h= heroList.get(0);
          
        //但是,不能往里面放东西
        heroList.add(new ADHero()); //编译错误,因为heroList的泛型 有可能是APHero
          
    }
      
}

? super

ArrayList heroList 表示这是一个Hero泛型或者其父类泛型
heroList的泛型可能是Hero
heroList的泛型可能是Object
可以往里面插入Hero以及Hero的子类
但是取出来有风险,因为不确定取出来是Hero还是Object

java泛型基础、子类泛型不能转换成父类泛型--未完待续_第2张图片

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 heroList = new ArrayList();
          
        //? super Hero 表示 heroList的泛型是Hero或者其父类泛型
          
        //heroList 的泛型可以是Hero
        //heroList 的泛型可以是Object
          
        //所以就可以插入Hero
        heroList.add(new Hero());
        //也可以插入Hero的子类
        heroList.add(new APHero());
        heroList.add(new ADHero());
          
        //但是,不能从里面取数据出来,因为其泛型可能是Object,而Object是强转Hero会失败
        Hero h= heroList.get(0);
          
    }
  
} 
    
   

泛型通配符?

泛型通配符? 代表任意泛型
既然?代表任意泛型,那么换句话说,这个容器什么泛型都有可能
所以只能以Object的形式取出来
并且不能往里面放对象,因为不知道到底是一个什么泛型的容器

 java泛型基础、子类泛型不能转换成父类泛型--未完待续_第3张图片

package generic;
  
import java.util.ArrayList;
 
import property.Item;
import charactor.APHero;
import charactor.Hero;
  
public class TestGeneric {
  
    public static void main(String[] args) {
  
        ArrayList apHeroList = new ArrayList();
         
        //?泛型通配符,表示任意泛型
        ArrayList generalList = apHeroList;
 
        //?的缺陷1: 既然?代表任意泛型,那么换句话说,你就不知道这个容器里面是什么类型
        //所以只能以Object的形式取出来
        Object o = generalList.get(0);
 
        //?的缺陷2: 既然?代表任意泛型,那么既有可能是Hero,也有可能是Item
        //所以,放哪种对象进去,都有风险,结果就什么什么类型的对象,都不能放进去
        generalList.add(new Item()); //编译错误 因为?代表任意泛型,很有可能不是Item
        generalList.add(new Hero()); //编译错误 因为?代表任意泛型,很有可能不是Hero
        generalList.add(new APHero()); //编译错误  因为?代表任意泛型,很有可能不是APHero
  
    }
}

总结

如果希望只取出,不插入,就使用? extends Hero
如果希望只插入,不取出,就使用? super Hero
如果希望,又能插入,又能取出,就不要用通配符?   

List list = getxxx();
List
result = new ArrayList
(); for (Object o : list) { if (o instance of Article) { result.add((Article)o); }

子类泛型转父类泛型

如代码
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 hs =new ArrayList<>();
        ArrayList adhs =new ArrayList<>();
 
        //子类泛型转父类泛型
        hs = adhs;
    }
 
}

假设可以转型成功
引用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 hs =new ArrayList<>();
        ArrayList adhs =new ArrayList<>();
 
        //假设能转换成功
        hs = adhs;
         
        //作为Hero泛型的hs,是可以向其中加入APHero的
        //但是hs这个引用,实际上是指向的一个ADHero泛型的容器
        //如果能加进去,就变成了ADHero泛型的容器里放进了APHero,这就矛盾了
        hs.add(new APHero());
    }
 
}

父类泛型能否转换为子类泛型?不能

未完待续--http://how2j.cn/k/generic/generic-wildcard/376.html

转载于:https://www.cnblogs.com/lijingran/p/9075418.html

你可能感兴趣的:(java泛型基础、子类泛型不能转换成父类泛型--未完待续)