泛型的使用

泛型的使用

0、泛型原理

类型擦除机制

虚拟机并不知道泛型，采用擦拭法，编译时都编译成Object，并且根据泛型实现安全的强制转型。

//编译前有泛型
public class Pair<T> {
    private T first;
    private T last;
}
//编译后变成Object
public class Pair {
    private Object first;
    private Object last;
}

//编译前有泛型
Pair<String> p = new Pair<>("Hello", "world");
String first = p.getFirst();

//编译后变成强转
Pair p = new Pair("Hello", "world");
String first = (String) p.getFirst();

PECE 原则

Producer Extends, Consumer Super

• Producer extends: 如果我们需要一个 List 提供类型为 T 的数据(即希望从 List 中读取 T 类型的数据), 那么我们需要使用 ? extends T, 例如 List<? extends Integer>. 但是我们不能向这个 List 添加数据.

• Consumer Super: 如果我们需要一个 List 来消费 T 类型的数据(即希望将 T 类型的数据写入 List 中), 那么我们需要使用 ? super T, 例如 List<? super Integer>. 但是这个 List 不能保证从它读取的数据的类型.

1、添加泛型

• 类上添加

  public class Pair<T> {}
  

• 方法上添加

  public <U> void show(U key){}
  

  注意：成员方法可以使用类上定义的泛型或是自己另外定义泛型，静态方法只能自己定义泛型。

2、泛型的继承

//采用同样的泛型传给父类
public class Student<T extends Model> extends Persion<T>{}

//采用确定的类型传给父类
public class Student extends Persion<Model>{}

3、泛型界限通配符

<T extends R>

上界通配符(Upper Bounds Wildcards)

对于 List<? super Integer> l1:

• 正确的理解: ? super Integer 限定的是泛型参数. 令 l1 的泛型参数是 T, 则 T 是 Integer 或 Integer 的父类, 因此 Integer 或 Integer 的子类的对象就可以添加到 l1 中.
• 错误的理解: ? super Integer限定的是插入的元素的类型, 因此只要是 Integer 或 Integer 的父类的对象都可以插入 l1 中

<T super R>

下界通配符(Lower Bounds Wildcards)

• 正确的理解: ? extends Integer 限定的是泛型参数. 令 l2 的泛型参数是 T, 则 T 是 Integer 或 Integer 的子类, 进而我们就不能找到一个类 X, 使得 X 是泛型参数 T 的子类, 因此我们就不可以向 l2 中添加元素. 不过由于我们知道了泛型参数 T 是 Integer 或 Integer 的子类这一点, 因此我们就可以从 l2 中读取到元素(取到的元素类型是 Integer 或 Integer 的子类), 并可以存放到 Integer 中.

• 错误的理解: ? extends Integer 限定的是插入元素的类型, 因此只要是 Integer 或 Integer 的子类的对象都可以插入 l2 中

4、不确定的通配符

？ 表示不确定其泛型是什么，可以配置在方法上，但不能配置到类上进行公共使用。