Java类型擦除
Java作为一种静态类型语言，在编译过程中会对类型进行严格检查，以确保类型的安全性。然而，Java在泛型类型上引入了类型擦除的机制，这是为了向后兼容早期版本的Java语言。
什么是类型擦除
类型擦除是指在编译过程中，将泛型类型参数擦除为其边界类型或者Object类型。这意味着在运行时，泛型类型的参数信息是无法获得的。
例如，定义一个泛型类MyList：
public class MyList<T> {
private T value;
public void setValue(T value) {
this.value = value;
}
public T getValue() {
return value;
}
}
在使用MyList时，可以通过指定类型参数来创建不同类型的列表：
MyList<Integer> integerList = new MyList<>();
integerList.setValue(10);
Integer value = integerList.getValue();
在编译后的字节码中，类型擦除会将MyList<T>擦除为MyList，并且类型参数T也会被擦除。因此，上述代码在运行时会变为：
MyList integerList = new MyList();
integerList.setValue(10);
Integer value = (Integer) integerList.getValue();
可以看到，泛型类型参数T被擦除为Object类型，并且在获取值时需要进行强制类型转换。
类型擦除的影响
类型擦除对于Java的泛型类型有一些限制和影响。下面列举一些常见的情况：
无法在运行时获取泛型类型参数信息
由于类型擦除的存在，无法在运行时获取泛型类型参数的具体信息。例如，无法通过反射获取MyList<Integer>的类型参数为Integer。
无法创建泛型类型的实例
由于类型擦除，无法直接创建泛型类型的实例。例如，无法使用new T()创建一个泛型类型的对象，因为类型参数被擦除为Object。
泛型数组的类型检查不完整
由于类型擦除，无法创建泛型数组。Java编译器会在编译时插入强制类型转换，但这可能会导致运行时的ClassCastException异常。
泛型类型的继承与实例化
对于泛型类型的继承和实例化，类型擦除会导致一些差异。例如，无法创建一个List<Integer>的子类并将其赋值给List<Number>。
使用通配符
为了避免类型擦除带来的限制，Java提供了通配符的机制。通配符可以用来表示未知的类型参数，以增加泛型类型的灵活性。
public void printList(List<?> list) {
for (Object value : list) {
System.out.println(value);
}
}
上述代码中，我们使用?表示未知的类型参数，因此可以传递任意类型的列表给printList方法。
总结
Java中的类型擦除是为了向后兼容早期版本的Java语言而引入的机制。类型擦除使得泛型类型参数在编译后被擦除为其边界类型或Object类型，在运行时无法获取具体的类型参数信息。类型擦除对泛型类型的使用有一些限制和影响，例如无法在运行时获取类型参数信息、无法直接创建泛型类型的实例等。为了避免类型擦除带来的限制，可以使用通配符来增加泛型类型的灵活性。
甘特图如下所示：
gantt
dateFormat YYYY-MM-DD
title Java类型擦除甘特图
section 编码
泛型定义: 2022-01-01, 7d
编译: 2022-01-08, 3d
