Java回顾---泛型

泛型概述

所谓泛型，就是允许在定义类、接口、方法时使用类型形参，这个类型形参将根据声明变量、创建对象、调用方法时的实参动态地指定。

Java泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

泛型方法

泛型方法，该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型，编译器适当地处理每一个方法调用。

下面是定义泛型方法的规则：

• 所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的）。
• 每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
• 类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
• 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。

泛型类和泛型接口和泛型方法都是类似的，不再多说。

泛型的优点

增加泛型支持后的集合可以在编译期检查集合中元素的类型，限制其他类型的对象加入集合。这样可以让代码更加简洁，程序更加健壮（运行时不会产生ClassCastException）。

Java的泛型的原理

泛型是通过**类型擦除来实现的，编译器在编译时**擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。擦除后默认存储的数据类型是Object。

java为什么要使用伪泛型？

因为Java最开始的版本是不支持泛型的，为了兼容以前的版本而不得不使用泛型擦除。

限定通配符和非限定通配符

限定通配符对类型进行了限制。有两种限定通配符，一种是<? extends T>，它通过确保类型必须是T的子类来设定类型的上界；另一种是<? super T>，它通过确保类型必须是T的父类来设定类型的下界。泛型类型必须用限定内的类型来进行初始化，否则会导致编译错误。

另一方面<?>表 示了非限定通配符，因为<?>可以用任意类型来替代