有界类型参数
有时你可能希望限制可用作参数化类型中的类型参数的类型,例如,对数字进行操作的方法可能只想接受Number或其子类的实例,这是有界类型参数的用途。
要声明有界类型参数,请列出类型参数的名称,然后是extends关键字,后跟其上限,在此示例中为Number,请注意,在此上下文中,extends在一般意义上用于表示“extends”(如在类中)或“implements”(如在接口中)。
public class Box {
private T t;
public void set(T t) {
this.t = t;
}
public T get() {
return t;
}
public 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 integerBox = new Box();
integerBox.set(new Integer(10));
integerBox.inspect("some text"); // error: this is still String!
}
}
通过修改我们的泛型方法来包含这个有界类型参数,编译现在将失败,因为我们的inspect调用仍然包含一个String:
Box.java:21: inspect(U) in Box cannot
be applied to (java.lang.String)
integerBox.inspect("10");
^
1 error
除了限制可用于实例化泛型类型的类型之外,有界类型参数还允许你调用边界中定义的方法:
public class NaturalNumber {
private T n;
public NaturalNumber(T n) { this.n = n; }
public boolean isEven() {
return n.intValue() % 2 == 0;
}
// ...
}
isEven方法通过n调用Integer类中定义的intValue方法。
多个边界
前面的示例说明了使用带有单个边界的类型参数,但是类型参数可以有多个边界:
具有多个边界的类型变量是边界中列出的所有类型的子类型,如果其中一个边界是类,则必须首先指定它,例如:
Class A { /* ... */ }
interface B { /* ... */ }
interface C { /* ... */ }
class D { /* ... */ }
如果未首先指定边界A,则会出现编译时错误:
class D { /* ... */ } // compile-time error
泛型方法和有界类型参数
有界类型参数是通用算法实现的关键,请考虑以下方法,该方法计算数组T[]中大于指定元素elem的元素数。
public static int countGreaterThan(T[] anArray, T elem) {
int count = 0;
for (T e : anArray)
if (e > elem) // compiler error
++count;
return count;
}
该方法的实现很简单,但它不能编译,因为大于运算符(>)仅适用于基本类型,如short、int、double、long、float、byte和char,你不能使用>运算符来比较对象,要解决此问题,请使用由Comparable接口限定的类型参数:
public interface Comparable {
public int compareTo(T o);
}
生成的代码将是:
public static > int countGreaterThan(T[] anArray, T elem) {
int count = 0;
for (T e : anArray)
if (e.compareTo(elem) > 0)
++count;
return count;
}