当Java Integer类为final时,T在第一个示例中如何扩展Integer?
T
只能是Integer
,因此这里的“扩展”纯粹是象征性的。(我从旁注开始,因为,实际上,这是一个泛型无用的示例。我真的不知道为什么本教程认为这是一个有用的演示。不是。)
假设相反T extends Number
:
class Example<T extends Number> {
private T num;
void setNum(T num) { this.num = num; }
T getNum() { return num; }
}
因此,泛型的要点通常是可以执行以下操作:
Example<Integer> e = new Example<>();
e.setNum( Integer.valueOf(10) );
// returning num as Integer
Integer i = e.getNum();
// and this won't compile
e.setNum( Double.valueOf(10.0) );
泛型是参数多态的一种形式,从本质上讲,泛型使我们可以对所涉及的类型进行通用性的代码重用。
那么界限的意义何在?
这里的bound表示T
必须为Number
或的子类Number
,因此我们可以Number
在的实例上调用的方法T
。Number
不幸的是,它本身是一个通常无用的基类(由于精度方面的考虑),但是它可能会让我们做一些有趣的事情,例如:
class Example<T extends Number> extends Number {
// ^^^^^^^^^^^^^^
...
@Override
public int intValue() {
return num.intValue();
}
// and so on
}
例如,更常见的是查找T extends Comparable<T>
使我们能够使用进行更有意义的操作T
。我们可能会有类似的内容:
// T must be a subclass of Number
// AND implement Comparable
Example<T extends Number & Comparable<T>>
implements Comparable<Example<T>> {
...
@Override
public int compareTo(Example<T> that) {
return this.num.compareTo(that.num);
}
}
现在我们的Example
班级有了自然的秩序。即使我们不知道T
类体内的实际内容,也可以对其进行排序。
如果我们结合这些概念,那:
我们可以构建如下结构:
static <T extends Comparable<T>> T min(T a, T b) {
return (a.compareTo(b) < 0) ? a : b;
}
{
// returns "x"
String s = min("x", "z");
// returns -1
Integer i = min(1, -1);
}