这篇Java教程基于JDK1.8。教程中的示例和实践不会使用未来发行版中的优化建议。
有界类型参数
有时可能需要限制可以用作参数化类型中的类型参数的类型。例如,对Number进行操作的方法可能只想接受Number的实例或它的子类。这就是有界类型参数的用途。
要声明有界类型参数,请列出类型参数的名称,后跟extends关键字,然后是它的上限类,在本例中是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的调用仍然包含一个字符串:
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定义的intValue方法。
多界
前面的例子说明了单类型参数的使用,类型参数也可以有多个界限:
<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