泛型通配符 ? extends super 的用法

• ? extends
  ArrayList heroList<? extends Hero> 表示这是一个Hero泛型或者其子类泛型
  heroList 的泛型可能是Hero
  heroList 的泛型可能是APHero
  heroList 的泛型可能是ADHero
  所以 可以确凿的是，从heroList取出来的对象，一定是可以转型成Hero的
  
  
  但是，不能往里面放东西，因为
  放APHero就不满足<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<APHero> apHeroList = new ArrayList<APHero>();
          apHeroList.add(new APHero());
           
          ArrayList<? extends Hero> 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<? super Hero> 表示这是一个Hero泛型或者其父类泛型
  heroList的泛型可能是Hero
  heroList的泛型可能是Object
  
  
  可以往里面插入Hero以及Hero的子类
  但是取出来有风险，因为不确定取出来是Hero还是Object
  
  

  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<? super Hero> heroList = new ArrayList<Object>();
            
          //? 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的形式取出来
  并且不能往里面放对象，因为不知道到底是一个什么泛型的容器
  

  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<APHero> apHeroList = new ArrayList<APHero>();
           
          //?泛型通配符，表示任意泛型
          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
  如果希望，又能插入，又能取出，就不要用通配符？