Java泛型
泛型提供了编译时类型安全监测机制，该机制允许程序员在编译时检测到非法的类型。
本质：
泛型本质是指
类型参数化，也就是说所操作的数据类型被指定为一个参数。
允许在定义类、接口、方法时使用类型形参，当使用时指定具体类型。所有使用该泛型参数的地方都被统一化，保证类型一致。如果未指定具体类型，默认是Object类型。
集合体系中的所有类都增加了泛型，泛型也主要用在集合。
泛型基础
1、泛型类()
除了在类名后面添加了类型参数声明部分，泛型类的声明和非泛型类的声明类似。
泛型类的类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数， 这些类被称为参数化的类或参数化的类型。
public class Box<T> {
private T t;
public void add(T t) {
this.t = t;
}
public T get() {
return t;
}
2、泛型方法（）
// 泛型方法 printArray
public static < E > void printArray( E[] inputArray )
{
for ( E element : inputArray ){
System.out.printf( "%s ", element );
}
}
该方法在调用时可以接受不同类型的参数。根据传递给泛型方法的参数类型，编译器适当的处理每一个方法调用。
- 表示该通配符所代表的类型是T类型的子类。
- 表示该通配符所代表的类型是T类型的父类。
泛型的上限和下限
泛型的上限：
- 格式：类型名称<? extends 类>对象名称
- 意义：只能接收该类及其子类
泛型的下限： - 格式：类型名称<? super类>对象名称
- 意义：只能接收该类及其父类
3、类型通配符
类型通配符一般是使用?代替具体的类型参数。例如List<?>在逻辑上是List
4、类型擦除
Java中的泛型基本上都是在编译器这个层次来实现的，泛型是提供给Javac编译器使用的，它用于限定结合的输入类型，让编译器在源代码级别上就挡住想集合中插入非法数据。编译完成带有泛型的Java程序后，生成的class文件（Java字节代码）不再带有泛型信息，因此是程序运行效率不受影响，这个过程叫做类型擦除。
如在代码中定义的List<Object>和List<String>等类型，在编译之后 都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。
类型擦除的基本过程也比较简单，首先是找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上界的话，则使用这个上界。把代码中的类型参数都替换 成具体的类。
由于类型被擦除了，为了维持多态性，编译器自动生成了桥接办法。
编写不易，转载注明出处：https://www.cnblogs.com/lmh15054109/p/14416639.html
