了解Java中的有界泛型。重点是什么？

Question

public class NaturalNumber<T extends Integer> {

    private T n;

    public NaturalNumber(T n)  { this.n = n; }

    public boolean isEven() {
        return n.intValue() % 2 == 0;
    }

    // ...
}

public class NaturalNumber {

    private Integer n;

    public NaturalNumber(Integer n)  { this.n = n; }

    public boolean isEven() {
        return n.intValue() % 2 == 0;
    }

    // ...
}

Answer 1

当Java Integer类是final时，T如何在第一个示例中扩展Integer？

t只能是整数，所以这里的“extends”纯粹是符号。（我从旁白开始，因为事实上，这是一个泛型毫无用处的例子。我真的不知道教程为什么认为这是一个信息丰富的演示。事实并非如此。）

假设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) );

这里的绑定意味着t必须是number或number的子类，因此我们可以在t的实例上调用number的方法。不幸的是，number本身通常是一个无用的基类（出于精度考虑），但它可以让我们做一些有趣的事情，比如：

class Example<T extends Number> extends Number {
//                              ^^^^^^^^^^^^^^
    ...
    @Override
    public int intValue() {
        return num.intValue();
    }
    // and so on
}

例如，查找T ；extends ；可比较 更为常见，这使我们可以使用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);
    }
}

现在我们的示例类有一个自然的顺序。我们可以对它进行排序，尽管我们不知道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);
}