了解java中的有界泛型。重点是什么?

了解java中的有界泛型。重点是什么?,java,generics,parameterized-types,bounded-types,Java,Generics,Parameterized Types,Bounded Types,我试图理解有界类型,但没有完全理解它们的要点 有一组有界泛型提供了此用例: 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<T extends Integer> {

    private T n;

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

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

    // ...
}
然后,任何扩展/实现
Integer
的类都可以与该类一起使用

还有一个附带问题:当Java
Integer
类是final时,在第一个示例中,
T
如何扩展
Integer

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

T
只能是
Integer
,因此这里的“extends”纯粹是符号。(我从旁注开始,因为实际上,这是一个泛型无用的例子。我真的不知道为什么教程认为这是一个信息丰富的演示。事实并非如此。)


相反,假设
textendsumber

class Example<T extends Number> {
    private T num;

    void setNum(T num) { this.num = num; }
    T    getNum()      { return num;     }
}
例如,更常见的是找到
TextendsComparable
,这让我们可以用
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);
    }
}

你是对的。愚蠢的例子。在这种情况下,泛型没有任何意义。事实上,
Integer
是final,这让情况更糟!这是对这个例子的一个很好的解释。有一个吹毛求疵的说法:“
T
最多只能是
Number
”,因为“
T
必须是
Number
Number
的一个子类”。一个需要明确的新想法、概念或方法必须与现有的方法和工具进行对比。我在这个答案中看不到类似的东西。例如,如果我们对构造函数采用了我们想要的类型的方法,例如问题的示例(而不是使用泛型),那么:Integer i=e.getNum()必须使用类型转换进行更改:Integer i=(Integer)e.getNum(),因为编译器不知道e.getNum()是数字的什么子类型。请同时添加逗号分隔边界的示例。
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) );
class Example<T extends Number> extends Number {
//                              ^^^^^^^^^^^^^^
    ...
    @Override
    public int intValue() {
        return num.intValue();
    }
    // and so on
}
// 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);
    }
}
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);
}