泛型

泛型

概述

泛型，即“参数化类型”。就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定
义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

使用

泛型类

定义一个泛型类：
public class ClassName<T>{
private T data;
  public T getData() {
    return data;
 }
  public void setData(T data) {
    this.data = data;
 }
}

泛型接口

public interface IntercaceName<T>{
T getData();
}
实现接口时，可以选择指定泛型类型，也可以选择不指定， 如下：
指定类型：（指定之后Interface1类的方法只能写死成String的，相当于在这里终止泛型）
public class Interface1 implements IntercaceName<String> {
private String text;
   @Override
   public String getData() {
     return text;
   }
 }
不指定类型：（不指定的话方法仍然能够沿用泛型）
public class Interface1<T> implements IntercaceName<T> {
private T data;
   @Override
   public T getData() {
     return data;
   }
 }

泛型方法

private static <T> T 方法名(T a, T b) {}

泛型限制类型

1. 在使用泛型时， 可以指定泛型的限定区域 ，
- 例如： 必须是某某类的子类或 某某接口的实现类，格式：
<T extends 类或接口1 & 接口2>

注意：如果传入的类型是任意的往往很危险，可能导致有些操作不支持而产生异常。可以参考c++中的容器化编程思想，对所有传入的泛型用一个接口规定它们必须支持的操作，这样才能保证程序正常运行。

泛型通配符

类型通配符是使用？代替方法具体的类型实参。
1 <? extends Parent> 指定了泛型类型的上届，即传入的泛型必须是xxx的子类
2 <? super Child> 指定了泛型类型的下届，即传入的泛型必须是xxx的父类
3 <?> 指定了没有限制的泛型类型，类似于传入的类型定义为Object。但区别是<?>通配符在编译时必须全部替换成具体的类，可以使用具体的类的方法。

看下面这个例子：虽然Fruit是Apple的父类满足兼容原则，但是plate跟plate是两个平行的类，彼此之间没有继承关系，因此new的时候报错了

解决方法：（在声明的时候继续沿用泛型，没有把传入的类型写死，而在实例化的时候才最终确定）

作用

1、 提高代码复用率
2、 泛型中的类型在使用时指定，不需要强制类型转换（类型安全，编译器会检查类型）

注意：泛型是一种编译时多态！

在编译之后程序会采取去泛型化的措施。
也就是说Java中的泛型，只在编译阶段有效。
在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。