當(dāng)Java Integer類為final時(shí)，T在第一個(gè)示例中如何擴(kuò)展Integer？

T只能是Integer，因此這里的“擴(kuò)展”純粹是象征性的。（我從旁注開始，因?yàn)椋瑢?shí)際上，這是一個(gè)泛型無用的示例。我真的不知道為什么本教程認(rèn)為這是一個(gè)有用的演示。不是。）

假設(shè)相反T extends Number：

class Example<T extends Number> { private T num; void setNum(T num) { this.num = num; } T getNum() { return num; }}

因此，泛型的要點(diǎn)通常是可以執(zhí)行以下操作：

Example<Integer> e = new Example<>();e.setNum( Integer.valueOf(10) );// returning num as IntegerInteger i = e.getNum();// and this won’t compilee.setNum( Double.valueOf(10.0) );

泛型是參數(shù)多態(tài)的一種形式，從本質(zhì)上講，泛型使我們可以對(duì)所涉及的類型進(jìn)行通用性的代碼重用。

那么界限的意義何在？

這里的bound表示T必須為Number或的子類Number，因此我們可以Number在的實(shí)例上調(diào)用的方法T。Number不幸的是，它本身是一個(gè)通常無用的基類（由于精度方面的考慮），但是它可能會(huì)讓我們做一些有趣的事情，例如：

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

例如，更常見的是查找T extends Comparable<T>使我們能夠使用進(jìn)行更有意義的操作T。我們可能會(huì)有類似的內(nèi)容：

// T must be a subclass of Number// AND implement ComparableExample<T extends Number & Comparable<T>>implements Comparable<Example<T>> { ... @Override public int compareto(Example<T> that) {return this.num.compareto(that.num); }}

現(xiàn)在我們的Example班級(jí)有了自然的秩序。即使我們不知道T類體內(nèi)的實(shí)際內(nèi)容，也可以對(duì)其進(jìn)行排序。

如果我們結(jié)合這些概念，那：

我們可以構(gòu)建如下結(jié)構(gòu)：

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);}解決方法

我試圖理解有界類型，而不是完全掌握它們的要點(diǎn)。

有一個(gè)提供此用例的有限泛型示例：

public class NaturalNumber<T extends Integer> { private T n; public NaturalNumber(T n) { this.n = n; } public boolean isEven() {return n.intValue() % 2 == 0; } // ...}

如果要限制可以作為參數(shù)化類型的類，為什么不將所有參數(shù)化全部忘掉而擁有：

public class NaturalNumber { private Integer n; public NaturalNumber(Integer n) { this.n = n; } public boolean isEven() {return n.intValue() % 2 == 0; } // ...}

然后，任何擴(kuò)展/實(shí)現(xiàn)的類Integer都可以與此類一起使用。

還有一個(gè)附帶的問題：當(dāng)Java 類是final 時(shí)，如何T擴(kuò)展Integer第一個(gè)示例Integer？