java泛型通过extends关键字实现上界限定,要求类型参数必须实现指定接口或继承指定类,支持多接口用&连接且类必须在前;约束使编译器能安全调用接口方法,仅编译期生效。

在 Java 中,可以通过泛型的 上界限定(Upper Bound) 实现对类型参数必须实现某个接口的约束,语法是使用 extends 关键字(即使接口也用 extends,这是 Java 泛型的语法约定)。
使用 extends 限定接口类型
泛型类声明时,在类型参数后加上 extends InterfaceName,即可要求传入的实际类型必须实现该接口。Java 允许一个类型参数同时限定多个接口,用 & 连接。
- 单接口约束:
class Box<t extends runnable> { ... }</t>→T必须实现Runnable - 多接口约束:
class Processor<t extends comparable> & Serializable> { ... }</t>→T必须同时实现Comparable和Serializable - 接口 + 类共存时,类必须写在最前面(如
<t extends number cloneable comparable>></t>),但 Java 泛型不支持多类继承,所以只能有一个类上界
限定后能做什么?
加了接口约束后,编译器就知道 T 具备该接口定义的方法,因此可以在泛型类内部安全调用这些方法,无需强制转型。
- 例如:
class TaskBox<t extends runnable> { void execute(T task) { task.run(); } }</t>→ 直接调用run()合法 - 若未加约束,
task.run()会编译报错,因为T默认上界是Object,没有run()方法 - 注意:约束只在编译期生效,运行时仍存在类型擦除,但已足够保障类型安全
常见误区提醒
不要混淆泛型约束和继承关系;也不要试图用 implements 关键字——Java 泛型中统一用 extends 表示上界,无论上界是类还是接口。
- ❌ 错误写法:
<t implements runnable></t>(语法错误) - ❌ 错误理解:
Box<string></string>能用于Box<t extends comparable></t>→ 实际上String实现了Comparable<string></string>,所以合法;但Box<date></date>也合法,而Box<stringbuilder></stringbuilder>不合法(未实现Comparable) - ✅ 正确做法:结合 IDE 提示或编译错误快速验证约束是否生效
配合通配符进一步灵活使用
除了在类声明中约束,还可以在方法参数中用带界通配符增强灵活性。比如:
-
void processAll(List extends Closeable> resources)→ 接收任意实现了Closeable的元素列表 -
<t extends autocloseable> void closeQuietly(T resource)</t>→ 泛型方法,约束更精确,还能在方法体内调用close()
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











