Java泛型边界通过extends（上界）和super（下界，仅限通配符）约束类型参数范围，确保编译期类型安全并支持调用边界方法；上界允许多边界且extends泛指继承或实现，下界仅用于通配符表达写入语义，泛型方法可独立声明带边界类型参数，边界影响类型擦除与可用操作。
Java 泛型边界通过 extends（上界）和 super（下界，仅限通配符）来约束类型参数可接受的范围，确保编译期类型安全，同时支持调用边界类型定义的方法。
上界限制：用 extends 限定子类型
上界表示类型参数必须是某个类或接口的子类型（包括自身）。语法为 <T extends Number> 或 <T extends Comparable<T>>。注意：extends 在这里泛指“继承或实现”，既可用于父类，也可用于接口。
- 允许在泛型代码中安全调用边界类型声明的方法，比如
doubleValue()（来自Number）或compareTo()（来自Comparable） - 可声明多边界，格式为
<T extends A & B & C>，其中A必须是类且排在最前，B、C等必须是接口 - 常见用途：泛型工具方法（如
max、sort）、需要统一行为抽象的泛型容器
下界限制：仅通过通配符 ? super T 实现
Java 不允许对类型参数本身直接声明下界（如 <T super Integer> 是非法语法），但可通过通配符 List<? super Integer> 表达“接受 Integer 及其所有父类型”的语义，典型用于写入场景（PECS 原则中的 “Consumer”）。
- 你只能向
List<? super Integer>中添加Integer或其子类实例（如1、new Integer(5)），但不能安全读出具体类型（只能当作Object） - 不能用于泛型类或方法的类型参数声明，仅适用于变量、形参、返回值等使用位置
- 常见用途：泛型集合的“消费者”方法，如
Collections.<T>addAll(Collection<? super T>, T...)
泛型方法中独立声明带边界的类型参数
泛型方法可在方法签名中单独声明带边界的类型参数，与所在类是否泛型无关。例如：
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
public static <T extends Comparable<T>> T findMax(List<T> list) { ... }
该方法要求传入的 List 元素类型必须可比较，编译器据此允许调用 t1.compareTo(t2)，而无需强制转型或运行时检查。
- 方法级边界不影响类的类型参数，两者可共存、可不同
- 边界越精确，类型安全性越高；但过度约束会降低复用性，需权衡
- 若需同时约束多个能力（如“既是
Number又实现了Serializable”），就用多边界<T extends Number & Serializable>
实际编码中容易忽略的关键点
边界不是装饰，它直接影响擦除后生成的字节码和可用操作。
- 未加边界时，类型参数被擦除为
Object，无法调用子类特有方法；加上extends Number后，擦除目标变为Number，可安全调用其 public 方法 - 通配符的上下界不可混用（
? extends T & super S不合法），也不能和具体类型并列（List<String & ? extends CharSequence>错误） - 泛型类声明中的边界只约束构造时传入的类型；方法内部仍需按边界逻辑处理，不能绕过限制做不安全转换
