Java泛型通过类型参数实现编译期类型安全、减少强转、提升复用性；泛型类用<T>声明，仅支持引用类型；泛型方法独立于类泛型，需显式声明<T>；类型擦除导致运行时无泛型信息。

Java 泛型通过把类型当成参数来用，让类、接口和方法能适配多种数据类型，同时在编译期就做类型检查，避免运行时出错。核心不是“写得更炫”，而是让代码更安全、更少强转、更容易复用。

泛型类的定义与使用

泛型类是在类名后加 <T>（或 E、K、V 等）声明类型参数，之后可在字段、方法参数、返回值中直接使用该标识符。

• 定义时不能用基本类型（如 int），只能用包装类（如 Integer）、String、自定义类等引用类型
• 实例化时必须指定具体类型，例如 Box<String> box = new Box<>();，JDK 7+ 支持菱形运算符省略右侧类型
• 泛型类中的普通方法（如 public T getValue()）不叫“泛型方法”，因为 T 来自类声明，不是方法自己声明的
• 泛型类可继承普通类或实现泛型/非泛型接口，但子类若未指定具体类型，则仍需保留泛型参数（如 class IntBox extends Box<Integer>）

泛型方法的定义与使用

泛型方法是独立于所在类是否泛型的——只要方法签名前显式声明 <T>，它就是泛型方法。

• 语法格式：public <T> T methodName(T param)，<T> 必须紧挨返回类型前
• 类型参数可多个，用逗号分隔，如 <K, V>；也可带边界，如 <T extends Comparable<T>>
• 调用时通常由编译器自动推断类型（如传入 String，就按 String 处理），也可显式指定：Utils.<String>print("hello")
• 静态方法也能是泛型方法，但不能直接访问类的泛型参数（因为静态属于类，而泛型类型是实例化的）

常见误区提醒

泛型只存在于编译期，运行时会被擦除（即类型擦除）。这意味着：

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

立即学习“Java免费学习笔记（深入）”；

• List<String> 和 List<Integer> 在 JVM 中都是 List，无法通过反射获取泛型实际类型
• 不能用泛型类型创建数组，如 new T[10] 编译报错；也不能用 instanceof T 判断类型
• 通配符（如 ? extends Number）和泛型参数（如 <T extends Number>）语义不同：前者用于变量声明，后者用于类/方法定义

一个完整小例子

定义一个泛型工具类，含泛型方法和泛型类：

public class DataWrapper {
  private T data;
  public DataWrapper(T data) { this.data = data; }
  public T getData() { return data; }

  // 静态泛型方法
  public static <E> void print(E item) { System.out.println(item); }

  // 带上界约束的泛型方法
  public <U extends Comparable<U>> boolean isBigger(U a, U b) { return a.compareTo(b) > 0; }
}

使用时：

DataWrapper<String> wrapper = new DataWrapper<>("test");
DataWrapper.print(123); // 推断为 Integer
wrapper.isBigger(5, 3); // 推断为 Integer