Java 教程是为 JDK 8 编写的。本页中描述的示例和实践未利用在后续版本中引入的改进。
有时你可能希望限制可用作参数化类型中的类型实参的类型。例如,对数字进行操作的方法可能只想接受 Number
或其子类的实例。这就是 bounded type parameters (有界类型形参) 的用途。
要声明有界类型形参,请列出类型形参的名称,然后是 extends
关键字,后跟 upper bound (上界),在此示例中为 Number
。请注意,在此上下文中,extends
在一般意义上用于表示 "继承" (如在类中)或 "实现" (如在接口中)。
public class Box<T> { private T t; public void set(T t) { this.t = t; } public T get() { return t; } public <U extends Number> void inspect(U u){ System.out.println("T: " + t.getClass().getName()); System.out.println("U: " + u.getClass().getName()); } public static void main(String[] args) { Box<Integer> integerBox = new Box<Integer>(); integerBox.set(new Integer(10)); integerBox.inspect("some text"); // error: this is still String! } }
通过修改我们的泛型方法以包含此有界类型形参,编译现在会失败,因为我们调用 inspect
时仍包含 String
:
Box.java:21: <U>inspect(U) in Box<java.lang.Integer> cannot be applied to (java.lang.String) integerBox.inspect("10"); ^ 1 error
除了限制可用于实例化泛型类型的类型之外,有界类型形参还允许你调用边界中定义的方法:
public class NaturalNumber<T extends Integer> { private T n; public NaturalNumber(T n) { this.n = n; } public boolean isEven() { return n.intValue() % 2 == 0; } // ... }
isEven 方法通过 n 调用 Integer 类中定义的 intValue 方法。
前面的示例说明了使用带有单个边界的类型形参,但是类型形参可以具有 multiple bounds (多重边界):
<T extends B1 & B2 & B3>
具有多个边界的类型变量是边界中列出的所有类型的子类型。如果其中一个边界是类,则必须首先指定它。例如:
Class A { /* ... */ } interface B { /* ... */ } interface C { /* ... */ } class D <T extends A & B & C> { /* ... */ }
如果未首先指定边界 A,则会出现编译时错误:
class D <T extends B & A & C> { /* ... */ } // compile-time error