Java泛型类使用详解

Java泛型类必须显式声明类型参数如class Box<T>，位置紧邻类名；实例化需传具体类型实参如Box<String>；静态成员不可引用类型参数；继承时可固定实参或延续泛型；所有泛型信息在运行时被擦除。

泛型类定义时必须声明类型参数

Java 泛型类不是“自动泛型”的，你得在类名后显式用 <T> 或 <E> 这样的占位符声明类型参数，否则编译器不认。这个声明位置很关键——必须紧挨着类名，不能写在继承或实现子句后面。

常见错误是漏掉尖括号，比如写成 class Box implements Serializable，结果 Box 依然是原始类型，无法约束内部字段类型。

• class Box<T> 是合法起点；class Box<T extends Number> 可加边界限制
• 多个参数用逗号分隔：class Pair<K, V>
• 类型参数名只是约定俗成：T（Type）、E（Element）、K/V（Key/Value），但编译器只看语法，不校验语义

实例化泛型类必须传入具体类型实参

创建对象时，尖括号里填的是实际类型（如 String、Integer），不是变量或表达式。JVM 在运行时会擦除这些信息，所以你不能在运行时靠 new T() 直接构造实例——这是类型擦除带来的硬限制。

典型报错：Cannot instantiate the type Box<T>，就因为写了 new Box<T>()。

• 正确写法：Box<String> box = new Box<>();（Java 7+ 支持菱形运算符）
• 错误写法：new Box<T>()、new Box<?>()、new Box<Object>()（后者虽能编译，但失去泛型约束意义）
• 若需运行时获取类型，得靠反射传入 Class<T> 参数，比如 new Box<String>(String.class)

泛型类中静态成员不能引用类型参数

因为类型参数属于实例层面，而静态字段/方法属于类本身，在类型擦除后所有 Box<String>、Box<Integer> 共享同一份静态资源。所以编译器直接禁止 static T value 或 static void doSomething(T t) 这类写法。

试图绕过会触发错误：Illegal static declaration in inner class 或更直白的 non-static type variable T cannot be referenced from a static context。

• 静态方法想用泛型？得自己声明方法级类型参数：public static <T> T getFirst(List<T> list)
• 静态字段只能用具体类型（如 static final String DEFAULT = "N/A"）或无界通配符（如 static List<?> EMPTY_LIST）
• 别把 private static T cache 当缓存方案——它根本编译不过

子类继承泛型类时要决定是否继续泛型化

继承泛型类有两种常见路径：一是固定类型实参（如 class StringBox extends Box<String>），二是延续泛型（如 class NamedBox<T> extends Box<T>）。选错会导致子类丧失灵活性或强制类型转换。

容易忽略的是：父类泛型边界会被子类继承，但不会自动放宽。比如父类是 Box<T extends Comparable<T>>，子类若写 class IntBox extends Box<Integer> 没问题，但写 class RawBox extends Box<Object> 就会编译失败。

• 固定类型实参 → 子类变具体，适合封装场景（如 StringList）
• 延续泛型 → 子类保持抽象，适合构建通用组件（如 ObservableBox<T>）
• 混用可能出问题：若父类是 Box<T>，子类写 class SafeBox<T> extends Box<T> 没问题；但若父类是 Box<Number>，子类就不能再用 <T> 去覆盖，只能继承为具体类型

类型擦除是根因，所有泛型行为都绕不开它。写的时候看着是 Box<String>，运行时就是 Box；所以别指望靠 instanceof 判断 box instanceof Box<String>——它永远是 false。