Java中<? extends T>和<? super T>的总结#

class Food{}

//Lev 2
class Fruit extends Food{}

//Lev 3
class Apple extends Fruit{}
class Banana extends Fruit{}

//Lev 4
class RedApple extends Apple{}

class Plate<T>{
    private T item;
    public Plate(T t){item=t;}
    public void set(T t){item=t;}
    public T get(){return item;}
}

• <? extends T>：是指 “上界通配符（Upper Bounds Wildcards）”
• 不能往里存，只能往外取，set( )方法失效。但取东西get( )方法还有效并且读取出来的东西只能存放在Fruit或它的基类里甚至Object

• Plate<? extends Fruit> p=new Plate<Apple>(new Apple());

  p.set(null);

  //不能存入任何元素

  p.set(new Fruit());    //Error

  p.set(new Apple());    //Error

  Object object=p.get();

  Food food=p.get();

  Fruit fruit=p.get();

  Apple apple=p.get();    //Error

  RedApple redApple=p.get();    //Error

  Banana banana=p.get();    //Error

•  对于集合少许不一样的地方

  List<? extends Fruit> list1; // list1 的元素在赋值的类型只能是 C 和 C 的子类。

  ArrayList<Food> a = new ArrayList<>();

  ArrayList<Fruit> b = new ArrayList<>();

  ArrayList<Apple> c = new ArrayList<>();

  ArrayList<Banana> d = new ArrayList<>();

  ArrayList<RedApple> e = new ArrayList<>();

  list1 = a; // 报错

  list1 = b;

  list1 = c;

  list1 = d;

  list1 = e;

  Object object = list1.get(0);

  Food food = list1.get(0);

  Fruit fruit = list1.get(0);

  Apple apple = list1.get(0);// 报错

  RedApple red = list1.get(0);// 报错

  Banana banana = list1.get(0);// 报错

  add():编译器只知道类型是 Fruit 或 Fruit 的子类，所以有可能是 Fruit Apple RedApple Banana 其中一个类型，为保证类型安全不能添加除了 null 以外的任何元素，即使是 Fruit 本身也不行。

  get():既然编译器不知道此时集合中的元素是Fruit Apple RedApple Banana 的哪一个，返回类型只能是他们共同父类 Fruit 或者父类Food类甚至Object。

• <? super T>：是指 “下界通配符（Lower Bounds Wildcards）”
• 不影响往里存，set( )方法正常。但往外取只能放在Object，对象里get( )方法部分失效，只能存放到Object对象里。

  Plate<? super Fruit> p=new Plate<Fruit>(new Fruit());

  //存入元素正常

  p.set(new Fruit());

  p.set(new Apple());

  p.set(new Apple());

  p.set(new Banana());

  //读取出来的东西只能存放在Object类里。

  Object object=p.get();

  Food food=p.get();    //Error

  Fruit fruit=p.get();    //Error

  Apple apple=p.get();    //Error

  Banana banana=p.get();    //Error

•  对于集合少许不一样的地方

  List<? super Fruit> list2; // list2 的元素在赋值的类型只能是 Fruit和 Fruit 的父类。

  ArrayList<Object> o = new ArrayList<>();

  ArrayList<Food> a = new ArrayList<>();

  ArrayList<Fruit> b = new ArrayList<>();

  ArrayList<Apple> c = new ArrayList<>();

  ArrayList<Banana> d = new ArrayList<>();

  ArrayList<RedApple> e = new ArrayList<>();

  list2 = o; 

  list2 = a; 

  list2 = b;

  list2 = c; // 报错

  list2 = d; // 报错

  list2 = e;// 报错

   

  list2.add(new Object());// 报错

  list2.add(new Food());// 报错

  list2.add(new Fruit());

  list2.add(new Apple());

  list2.add(new Banana());

  list2.add(new RedApple());

   

  Object objectL = list2.get(0);

  Food foodL = list2.get(0);

  Fruit fruitL = list2.get(0);

  Apple appleL = list2.get(0);// 报错

  RedApple redL = list2.get(0);// 报错

  Banana bananaL = list2.get(0);// 报错

• add():编译器只知道类型是 Fruit 或者 Fruit 的父类，所以有可能是 Fruit Object其中一个类型。编译器知道下界是 Fruit ，根据类型向上兼容所以可以添加的元素是 Fruit 以及 Fruit 的子类

  get():既然编译器不确定集合类型是 Fruit Object 的哪一种，返回类型只能是他们的共同父类 Object 。