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

泛型类定义时必须声明类型参数
Java 泛型类不是“自动泛型”的,你得在类名后显式用 或 这样的占位符声明类型参数,否则编译器不认。这个声明位置很关键——必须紧挨着类名,不能写在继承或实现子句后面。
常见错误是漏掉尖括号,比如写成 class Box implements Serializable,结果 Box 依然是原始类型,无法约束内部字段类型。
-
class Box是合法起点;class Box可加边界限制 - 多个参数用逗号分隔:
class Pair - 类型参数名只是约定俗成:
T(Type)、E(Element)、K/V(Key/Value),但编译器只看语法,不校验语义
实例化泛型类必须传入具体类型实参
创建对象时,尖括号里填的是实际类型(如 String、Integer),不是变量或表达式。JVM 在运行时会擦除这些信息,所以你不能在运行时靠 new T() 直接构造实例——这是类型擦除带来的硬限制。
典型报错:Cannot instantiate the type Box,就因为写了 new Box。
立即学习“Java免费学习笔记(深入)”;
- 正确写法:
Box(Java 7+ 支持菱形运算符)box = new Box(); - 错误写法:
new Box、() new Box>()、new Box(后者虽能编译,但失去泛型约束意义) - 若需运行时获取类型,得靠反射传入
Class参数,比如new Box(String.class)
泛型类中静态成员不能引用类型参数
因为类型参数属于实例层面,而静态字段/方法属于类本身,在类型擦除后所有 Box、Box 共享同一份静态资源。所以编译器直接禁止 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 staticT getFirst(List list) - 静态字段只能用具体类型(如
static final String DEFAULT = "N/A")或无界通配符(如static List> EMPTY_LIST) - 别把
private static T cache当缓存方案——它根本编译不过
子类继承泛型类时要决定是否继续泛型化
继承泛型类有两种常见路径:一是固定类型实参(如 class StringBox extends Box),二是延续泛型(如 class NamedBox)。选错会导致子类丧失灵活性或强制类型转换。
容易忽略的是:父类泛型边界会被子类继承,但不会自动放宽。比如父类是 Box,子类若写 class IntBox extends Box 没问题,但写 class RawBox extends Box 就会编译失败。
- 固定类型实参 → 子类变具体,适合封装场景(如
StringList) - 延续泛型 → 子类保持抽象,适合构建通用组件(如
ObservableBox) - 混用可能出问题:若父类是
Box,子类写class SafeBox没问题;但若父类是Box,子类就不能再用去覆盖,只能继承为具体类型
Box,运行时就是 Box;所以别指望靠 instanceof 判断 box instanceof Box——它永远是 false。










