最近在看 Effective Java,但是里面有一些泛型的地方不太了解,想请教一下各位
先来个我懂的:
static <T extends Comparable<T>> T max(T[]) { ... }
static <T extends Comparable> T max(T[]) { ... }
第一种跟第二种的差别应该是,第一种宣告确保只能跟 T 类的物件比较,
第二种的话就是可以跟任何物件比较,不限定是 T。
而在 Effective Java Item 2 里介绍的 Builder 中,书上这样子宣告类别:
abstract static class Builder<T extends Builder<T>> {
public T addTopping(Topping topping) { ... }
public abstract T self();
}
我想问一下这边使用 <T extends Builder<T>> 或 <T extends Builder>
的差别是什么呢?
我自己用 IntelliJ 看的时候,如果宣告成 <T extends Builder<T>>
addTopping 跟 self 的回传型态都是 T
若是宣告成 <T extends Builder> 的话回传型态都变成 Builder
实在是被这种 recursive type parameter 搞晕了,感觉自己还是没有搞懂
泛型的用法...