泛型类型擦除与通配符边界的探秘之旅
在Java的世界里，泛型无疑是一把双刃剑，既带来了类型安全的保障，又隐藏着类型擦除的神秘面纱。今天，我们将踏上一次探秘之旅，深入探讨泛型类型擦除与通配符边界的奥秘。
类型擦除：隐藏在幕后的魔术师
泛型在Java中引入的初衷是为了提供更强的类型检查机制，然而，为了兼容老版本的代码，Java采用了类型擦除的技术。所谓类型擦除，即在编译阶段，泛型信息会被擦除，替换为它们的原生类型（raw type）。例如，List<String>在编译后会被擦除为List。
List<String> stringList = new ArrayList<String>();
List<Integer> integerList = new ArrayList<Integer>();
System.out.println(stringList.getClass() == integerList.getClass()); // 输出 true上述代码中，stringList和integerList的类类型在运行时是相同的，都是ArrayList。这种机制虽然保证了向后兼容性，但也带来了一些问题，比如无法在运行时获取泛型的具体类型信息。
通配符边界：灵活的约束者
为了弥补类型擦除带来的灵活性缺失，Java引入了通配符边界。通配符边界分为上界通配符（<? extends T>）和下界通配符（<? super T>），它们为泛型提供了更加灵活的类型约束。
上界通配符：继承的约束
上界通配符<? extends T>表示某个类型的上界是T，即该类型可以是T或T的子类。这在处理泛型集合时非常有用，可以确保集合中的元素类型是安全的。
public void process(List<? extends Number> numbers) {
for (Number number : numbers) {
System.out.println(number);
}
}
List<Integer> integers = Arrays.asList(1, 2, 3);
process(integers); // 正确
List<String> strings = Arrays.asList("a", "b", "c");
process(strings); // 编译错误在上面的例子中，process方法可以接受Number及其子类的列表，但不能接受String类型的列表。
下界通配符：派生的约束
下界通配符<? super T>表示某个类型的下界是T，即该类型可以是T或T的父类。这在需要向集合中添加元素时非常有用。
public void addNumbers(List<? super Integer> list) {
list.add(1);
list.add(2);
list.add(3);
}
List<Number> numbers = new ArrayList<>();
addNumbers(numbers); // 正确
List<String> strings = new ArrayList<>();
addNumbers(strings); // 编译错误在上述代码中，addNumbers方法可以接受Integer及其父类的列表，但不能接受String类型的列表。
类型擦除与通配符边界的协同
类型擦除与通配符边界的结合，为Java泛型提供了强大的表达能力。通过类型擦除，我们保证了向后兼容性；通过通配符边界，我们增强了类型约束的灵活性。
在实际开发中，合理利用这两者，可以编写出既安全又灵活的代码。例如，在处理泛型集合时，使用上界通配符可以确保读取操作的安全性，而使用下界通配符可以确保写入操作的安全性。
public void readAndWrite(List<? super Integer> list) {
list.add(1); // 安全写入
Number number = (Number) list.get(0); // 安全读取，需显式转型
}
List<Number> numbers = new ArrayList<>();
readAndWrite(numbers); // 正确泛型类型擦除与通配符边界，犹如一对默契的搭档，在Java的类型系统中扮演着重要的角色。理解它们的原理和用法，不仅能提升我们的编程能力，还能让我们在应对复杂类型问题时游刃有余。希望这次探秘之旅，能为你揭开泛型世界的神秘面纱，带给你新的启示。
phper