Java泛型之上、下界通配符的理解(适合初学)

泛型的由来

为何须要泛型

  Java的数据类型通常都是在定义时就须要肯定，这种强制的好处就是类型安全，不会出现像弄一个ClassCastException的数据给jvm，数据安全那么执行的class就会很稳定。可是假如说我不知道这个参数要传什么类型的，由于公司需求在变，若是写死的那就只能便以此需求就改一次，很麻烦。sun公司也注意到这个问题，这样会让代码的灵活性下降，他们就研究出了泛型。

泛型初识

  什么是泛型，能够字面理解就是一个泛泛的类型，他是不肯定的，在Java代码编译的时候用泛型是不会出错的，而在运行期时就会报错，说你这种第一是不合理的。这是为何呢。由于为了提升灵活性，就在编译时期将条件放宽，可是泛型必定要在运行的时候告诉jvm你给个人数据究竟是什么类型的，不然jvm会是懵逼的。因此泛型的好处就是将类型的灵活性提升，也只是在Java语法的基础上提升，不过泛型仍是比较实用的。

什么时候使用泛型

  泛型的应用场景就是应用在模型（能够理解为存储数据的盒子），我为了这个盒子适用更多的地方我就用将须要存入的数据用一个泛型表示，固然能够传入多值。若是是相同类型的对象就用一个泛型的数组比较好，学过集合的小伙伴应该都知道，没学过的那你应该补补课了。

泛型的语法

public class A<T extends B>{
   T t;
}

泛型的缺点或者为何须要上、下边界

  泛型的虽然强大，可是世界上任何东西东部是完美的。它也有缺陷。好比说我有一个盒子我想装苹果，可是我还可能想装香蕉那怎么办。那还很差说，在给一个参数不就好了，那十个呢，二十个呢。em....的确是。若是说咱们想装的东西都属于一个类而且只要是这个类的子类就能够装。这个想法sun为咱们想好了。那就是用上边界通配符。语法是 T是泛型，M是T的父类。咱们就定义一个水果类（Fruit），盛装就容器就是盘子（Dish），如今咱们就能够装任何水果了，不错吧！

上边界Java代码

public class Dish<T extends Fruit>{
  private T fruitChild;

  public Dish(T fruitChild){
    this.fruitChild = fruitChild;
  }

  public T getFruitChild(){
    return fruitChild;
  }
  
  public void setFruitChild(T f){
    this.fruitChild = f;
  }

  public static void main(String[] args){

    Dish dish = new Dish<apple>();
    Apple apple = new apple(); //apple must be Fruit child;
    dish.setFruitChild(apple);

    system.out.printf(dish.getFruitChild);
  }
}

下边界Java代码

public class Dish<T super Apple>{
  private T appleFather;

  public Dish(T appleFather){
    this.appleFather = appleFather;
  }

  public T getAppleFather(){
    return appleFather;
  }

  public void setAppleFather(T f){
    this.appleFather = f;
  }

  public static void main(String[] args){

    Dish dish = new Dish<Fruit>();
    Fruit fruit = new Fruit(); //fruit must be apple son;
    dish.setAppleFather(fruit);

    system.out.printf(dish.getAppleFather);
  }
}

什么是上边界通配符

  当泛型T给定形如 的A类型到A类型任何子类的限制域，能够匹配任何在此限制域中的类型，此种表示叫上边界通配符。

上边界通配符理解

什么是下边界通配符

  当泛型T给定形如 的A类型到A类型任何父类的限制域，能够匹配任何在此限制域中的类型，此种表示叫下边界通配符。

下边界通配符理解

上下边界通配符的缺点

  上界<? extends T>不能往里存，只能往外取。

解释

  由于编译器只知道传入的是T的子类，但具体是哪个编译器不知道，他只标注了一个占位符，当？传过来时，他不知道这能不能和占位符匹配，因此set不了。
  下界<? super T>不影响往里存，但往外取只能放在Object对象里。

解释

  由于下边界已经限制了？的粒度，他只多是T自己或者是T的父类。咱们想一想，我想要一个T，你却返回给我一个比T小的Object，这样咱们就由于精度损失而拿不到想要的数据了。

感谢各位童鞋的阅读，但愿你们动一动发财的小手点一下推荐QAQ。