Java的泛型

1.什么是泛型

  java泛型于JDK5中引入，提供了编译期类型安全检测机制，如开发者能在编译器检测到非法的类型。泛型即参数化类型，使操作的数据类型被指定成一个参数。

2.泛型的使用场景

  当不存在泛型时，通常使用Object的引用来实现参数任意化，即不确定类型的参数可以用同一个类型传递和使用。但这样必须要在使用时显示的强制类型转换，而这种转换就要求开发人员对参数实际类型了解的情况下开发，当转型错误时，在IDE中可能不会显示错误，只有在运行期间才会报错，这本身就是一个安全隐患。

  泛型好处就是可以在编译期检查类型安全，并且所有强制转型都是安全和隐式的。

3.泛型的类型

  类型参数（又称类型变量）用作占位符，指示在运行时为类分配类型。泛型常用的类型参数有T，E，K，V。这些类型参数换成A-Z中任意一个字母都可以，只是可读性会弱一点，通常常用类型参数的约定如下：

  T：Type，表示具体的一个java类型。

  E：Element，元素。

  K  V：Key  Value，代表java键值对中键和值。

  S  U  V等：多参数状态中第2、3、4参数类型

  通配符在编写未知类型的代码很有用。通配符问号（？）可用于表示未知类型（无界限通配符类型）。

4.泛型的类型限制

  上界通配符：< ? extends E >，用extends关键字声明，表示参数化类型可能是所指定的类型，或者子类。

  特点：如果传入的类型不是E或者E的子类，编译不会成功。泛型可以使用E的方法。如果有多个类型参数上限，用逗号分割。

 下界通配符：< ? super E>，用super进行声明，，表示参数化类型可能是指定的类型，或者父类，直至Object。

  特点：如果传入的类型不是E或者E的父类，编译不会成功。

5.T和？的区别

  ①T表示一个类型，可实例化，通常使用于泛型类和泛型方法的定义。？表示一个不确定的类型，不可实例化，通常用于泛型方法的调用代码和形参，不能用于定义类和泛型方法。

  ②T可以使用&符号设定多重边界，< T extends MultiLimitInterfaceA & MultiLimitInterfaceB> 表示类型T必须是MultiLimitInterfaceA和MultiLimitInterfaceB的共有子集。？不是一个确定的类型，所以不能进行多重限定。

  ③T只能使用上界限定，而？可以使用上界限定和下界限定。