Java™ 教程（有界类型参数）

有界类型参数有时你可能希望限制可用作参数化类型中的类型参数的类型，例如，对数字进行操作的方法可能只想接受Number或其子类的实例，这是有界类型参数的用途。要声明有界类型参数，请列出类型参数的名称，然后是extends关键字，后跟其上限，在此示例中为Number，请注意，在此上下文中，extends在一般意义上用于表示“extends”（如在类中）或“implements”（如在接口中）。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方法。多个边界前面的示例说明了使用带有单个边界的类型参数，但是类型参数可以有多个边界：<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泛型方法和有界类型参数有界类型参数是通用算法实现的关键，请考虑以下方法，该方法计算数组T[]中大于指定元素elem的元素数。public static <T> 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<T>接口限定的类型参数：public interface Comparable<T> { public int compareTo(T o);}生成的代码将是：public static <T extends Comparable<T>> int countGreaterThan(T[] anArray, T elem) { int count = 0; for (T e : anArray) if (e.compareTo(elem) > 0) ++count; return count;}上一篇：泛型方法下一篇：泛型、继承和子类型