java泛型通配符简解

目录

 

一、泛型的优点

二、泛型中的通配符

1、上界通配符<？extends E>

2.下界通配符

---

一、泛型的优点

       在没有泛型的情况的下，通过对类型 Object 的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是本身就是一个安全隐患。Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许开发者在编译时检测到非法的类型，并且所有的强制转换都是自动和隐式的。

        泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

public class GlmapperGeneric<T> {
    private T t;
    public void set(T t) { this.t = t; }
    public T get() { return t; }

    public static void main(String[] args) {
        // do nothing
    }

  /**
    * 不指定类型
    */
  public void noSpecifyType(){
    GlmapperGeneric glmapperGeneric = new GlmapperGeneric();
    glmapperGeneric.set("test");
    // 需要强制类型转换
    String test = (String) glmapperGeneric.get();
    System.out.println(test);
  }

  /**
    * 指定类型
    */
  public void specifyType(){
    GlmapperGeneric<String> glmapperGeneric = new GlmapperGeneric();
    glmapperGeneric.set("test");
    // 不需要强制类型转换
    String test = glmapperGeneric.get();
    System.out.println(test);
  }
}

上面这段代码中的 specifyType 方法中 省去了强制转换，可以在编译时候检查类型安全，可以用在类，方法，接口上。

二、泛型中的通配符

       常用的T,E,K,V,？，本质上这些都是通配符，没啥区别，只不过是编码时的一种约定俗成的东西。比如上述代码中的 T ，我们可以换成 A-Z 之间的任何一个 字母都可以，并不会影响程序的正常运行，但是如果换成其他的字母代替 T ，在可读性上可能会差一些。通常情况下，T，E，K，V，？是这样约定的：

• ？表示不确定的 java 类型

• T (type) 表示具体的一个java类型

• K V (key value) 分别代表java键值中的Key Value

• E (element) 代表Element

• //水果盘
  public class Plate<T> {
      private T item;
  
      public T getItem() {
          return item;
      }
  
      public void setItem(T item) {
          this.item = item;
      }
  }
  

   //Lev 1
      class Food { }
      //Lev 2
      class Fruit extends Food { }
      class Meat extends Food { }
      //Lev 3
      class Apple extends Fruit { }
      class Banana extends Fruit { }
      class Pork extends Meat { }
      class Beef extends Meat { }
      //Lev 4
      class RedApple extends Apple { }
      class GreenApple extends Apple { }

   

1、上界通配符<？extends E>

      用法： 用 extends 关键字声明，表示参数化的类型是E或E的子类，只能get不能set。

     用途：方法参数声明

//<? extends Fruit>测试：不能存只能取，取出来的东西是Fruit或Fruit的子类对象，可以向上转型，放在Fruit和Fruit的父类中，或者做强制转换
        Plate<? extends Fruit> extendsFruitPlate = new Plate<>();
//        extendsFruitPlate.setItem(fruit);//error
//        extendsFruitPlate.setItem(apple);//error
//        extendsFruitPlate.setItem(food);//error
        Fruit getFruit2=extendsFruitPlate.getItem();
        Apple getApple2= (Apple) extendsFruitPlate.getItem();
        Food food2=extendsFruitPlate.getItem();

2.下界通配符<?super E>

用法：用super关键字声明，表示参数化的类型是E或E的子类，能set,get要做类型转换

用途：

 Plate<? super Fruit> supperFruitPlate = new Plate<>();//能存放包括Fruit和以Fruit为父类的所有元素
        supperFruitPlate.setItem(apple);
        supperFruitPlate.setItem(fruit);
        supperFruitPlate.setItem(redApple);
//        supperFruitPlate.setItem(meat);//error
//        supperFruitPlate.setItem(food);//error：不能放Fruit的父类
        Fruit getFruit = (Fruit) supperFruitPlate.getItem();
        Apple getApple = (Apple) supperFruitPlate.getItem();
        Object object = supperFruitPlate.getItem();
        Food food1= (Food) supperFruitPlate.getItem();

参考：【1】java泛型通配符详解

【2】Java泛型解惑之 extends T>和 super T>上下界限