泛型是Java、C#等语言中实现类型参数化的核心机制，它让代码在编译期获得类型安全，同时保持代码的通用性和可复用性。 通过泛型，我们可以定义具有类型参数的类、接口和方法，在使用时再指定具体类型，这一特性在集合框架中广泛使用，也是现代Java开发的基础技能,掌握它能让你的代码更健壮。
泛型有什么用？泛型存在的核心价值
泛型出现之前，集合类只能使用Object来代表任意类型，取出元素时强制转换，这种写法容易在运行时抛出ClassCastException，错误隐蔽且难以调试，泛型从根本上改变了这一局面,将类型检查从运行时提前到编译期。
类型安全：编译期就能发现错误
使用泛型后，编译器能检查类型一致性。List<String>被明确告知只能存放String对象，如果放入其他类型，编译会直接报错，这避免了运行时异常，减少了调试时间，在大型项目中，这种编译期检查能显著降低故障率,提高代码质量。
消除强制转换：代码更简洁
从List<String>中取出的元素自动是String类型，无需手动转换，代码变得更干净，阅读性提升，减少了强制转换可能带来的安全隐患，过去使用(String) list.get(0)，现在直接String s = list.get(0),简洁且安全。
代码复用：泛型让算法更通用
泛型类和方法可以针对多种类型工作，一个泛型排序方法只要类型实现了Comparable接口，就能排序，这避免了为每种类型单独写排序逻辑，提高了代码复用率，泛型也是模板方法模式的基础,让框架设计更灵活。
泛型与继承的区别：为什么泛型不是协变的？
理解泛型与继承的差异，是掌握泛型的关键，在Java中，数组是协变的，而泛型不是，这意味着，
Integer[]是Number[]的子类型，但List<Integer>并不是List<Number>的子类型,这一设计基于类型安全考虑。
协变与类型安全
如果泛型也协变，会出现类型安全问题，假设List<Integer>是List<Number>的子类型，那么我们可以将List<Integer>赋值给List<Number>变量，然后通过该变量加入一个Double对象，而实际列表是List<Integer>，这就破坏了类型安全,Java设计者决定泛型默认不可变。
通配符实现协变和逆变
为了在需要时获得灵活性，Java提供了通配符。? extends T表示类型是T或T的子类，实现协变；? super T表示类型是T或T的父类，实现逆变，在读取和写入场景中，需要合理选择通配符，遵循PECS原则（Producer Extends, Consumer Super）。void copy(List<? extends T> src, List<? super T> dest) 正是这种原则的典型应用。
数组与泛型的协变对比
| 特性 | 数组 | 泛型 |
|---|---|---|
| 协变 | 是 | 否（默认） |
| 类型安全机制 | 运行时抛出ArrayStoreException | 编译期类型检查 |
| 通配符支持 | 无 | 有，通过extends和super |
| 使用场景 | 简单类型固定长度 | 集合框架、通用算法 |
泛型类型擦除：原理与影响
Java泛型是通过类型擦除实现的，这意味着泛型类型信息在编译后会被擦除，只保留原始类型，这一设计兼顾了与旧版本Java的兼容性,但也带来了一些限制。
类型擦除原理
编译器在编译时，会将泛型类型参数替换为它们的限定类型（如果有限定）或Object。List<String>编译后变成List，编译器会插入必要的强制转换来保证类型安全，行业共识认为，类型擦除是Java泛型实现的关键设计选择,它平衡了兼容性和类型安全。
桥接方法
在子类覆盖父类的泛型方法时，编译器可能会生成桥接方法，以保持多态，一个继承自Comparable<Date>的类，编译器会生成一个桥接方法来处理原始类型Comparable，桥接方法调用最高层的具体实现,确保多态正常。
泛型通配符使用场景：上界与下界的区别
使用通配符时，需要明确上界（extends）和下界（super）的区别，上界通配符通常用于读取数据，因为你可以安全地读取为T类型，但不能写入（除了null），下界通配符通常用于写入数据，因为你可以安全地写入T类型或子类型，但读取时只能读取为Object。List<? extends Number>可以读取Number，但不能写入；List<? super Integer>可以写入Integer,读取只能得到Object。
泛型编程实战：常见问题与最佳实践
在实际开发中,泛型还有一些常见问题和最佳实践值得注意。
如何定义泛型类和方法
- 定义泛型类时，在类名后加类型参数，如
class Box<T> {}。 - 定义泛型方法时，在返回类型前加类型参数，如
<T> void method(T t) {}。 - 静态方法不能使用类的泛型参数,必须定义自己的泛型参数。
泛型数组的创建问题
不能直接创建泛型数组，如new T[10]会编译错误，通常的解决方法是创建原始类型数组然后转型，或者使用ArrayList等集合代替。(T[]) new Object[10],但需要小心类型安全。
类型擦除带来的限制
由于类型擦除，不能使用instanceof检查泛型类型，也不能创建泛型类型的实例，这些限制需要在设计时考虑,使用工厂模式来创建泛型实例。
接轨Java泛型面试题
在Java泛型面试题中，类型擦除、通配符、泛型与继承的区别是高频考点，掌握这些，应付面试基本没有问题，业内专家指出，泛型是现代编程语言的重要特性,深入理解其原理能帮助开发者写出更优雅的代码。
泛型常见问题Q&A
泛型方法中如何定义多个类型参数？
在方法的返回类型前使用尖括号列出多个类型参数，用逗号分隔。<T, U> void method(T t, U u) {...}，调用时，编译器会根据实际参数推断类型,也可以显式指定类型参数。
泛型数组为什么不能直接创建？
因为泛型数组在运行时无法确定具体类型，会破坏类型安全。new List<String>[10]在擦除后变成new List[10]，可以通过类型检查，但编译器禁止这种创建，以避免潜在的ArrayStoreException，通常使用ArrayList或@SuppressWarnings来绕过。
泛型类型擦除对性能有影响吗？
几乎没有运行时性能影响，因为擦除主要发生在编译期，运行时使用原始类型，没有额外开销，但泛型不能用于基本类型，需要装箱，这可能会带来微小性能损耗，但多数情况下可忽略，据Oracle文档,泛型的设计目的是提升类型安全而非性能。
首发原创文章，作者：王坚，如若转载，请注明出处：https://idctop.com/article/528777.html
