什么是泛型(Generics),为什么使用它们?

Question

Accepted Answer

**Generics(泛型)** 让您编写类、接口和方法时可以使用调用者指定的**类型参数**——提供**编译时类型安全**并消除强制转换。它们为集合框架和可重用库提供动力。 ## 泛型解决的问题 ```java // ❌ before generics (or with raw types) — no type safety, requires casts List list = new ArrayList(); list.add("hello"); list.add(42); // oops — anything can go in String s = (String) list.get(1); // ClassCastException at RUNTIME! 💥 // ✅ with generics — the type is enforced at COMPILE time List list = new ArrayList<>(); list.add("hello"); list.add(42); // ❌ compile error — caught immediately String s = list.get(0); // no cast needed — known to be String ``` 泛型将类型错误从运行时(`ClassCastException`)移至**编译时**，并消除了手动强制转换的需要——使代码更安全、更清洁。 ## 泛型类和方法 ```java // a generic class — T is a type parameter filled in by the user public class Box { private T value; public void set(T value) { this.value = value; } public T get() { return value; } } Box b = new Box<>(); // T = String b.set("hi"); String x = b.get(); // typed, no cast // a generic method public static T firstElement(List list) { return list.get(0); } ``` ## 有界类型参数 ```java // T must be Number (or a subclass) — lets you call Number methods public static double sum(List list) { double total = 0; for (T n : list) total += n.doubleValue(); // safe — T is a Number return total; } ``` `` 限制类型参数,让您能够安全地使用该类型的成员。 ## 通配符 ```java List nums; // "some subtype of Number" — read (producer) List sink; // "Integer or a supertype" — write (consumer) // PECS: Producer Extends, Consumer Super ``` 通配符为应该接受多种类型的方法参数增加了灵活性。 ## 类型擦除(Java的注意事项) ```java // generics are a COMPILE-TIME feature — erased at runtime (for backward compatibility) List a = new ArrayList<>(); List b = new ArrayList<>(); a.getClass() == b.getClass(); // true — both are just ArrayList at runtime // consequence: can't do `new T()` or `instanceof List` ``` Java通过**类型擦除**实现泛型——类型参数在编译时存在,但在运行时被移除,这有一些限制。 ## 为什么这很重要泛型对现代Java至关重要——它们提供编译时类型安全(及早捕获类型错误,而不是作为运行时`ClassCastException`)、消除冗长容易出错的强制转换,并启用可重用的、类型灵活的代码。它们是整个集合框架(`List`、`Map`)和无数库的基础。理解泛型类/方法、有界参数、通配符(PECS)和类型擦除注意事项,让您既能正确使用泛型API,也能设计自己的可重用、类型安全的抽象——这是编写健壮、可维护Java的核心技能。