作者johnny94 (32767)
看板java
標題[問題] Recursive type parameter
時間Thu Feb 28 21:43:32 2019
最近在看 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 搞暈了，感覺自己還是沒有搞懂
泛型的用法...
--
1F：→ pastfox:我認識一個蘿莉睡覺時會渾身發抖醒來 因此叫他渾抖蘿 06/14 21:48
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 153.150.177.211
※ 文章網址: https://webptt.com/m.aspx?n=bbs/java/M.1551361417.A.2B5.html
2F：→ ssccg: 就看extend的那個type裡面哪邊用到T啊 03/01 00:07
3F：→ ssccg: 如果希望用到T的會變成繼承的物件，就要extend Class<T> 03/01 00:07
4F：→ ssccg: 類別 03/01 00:08
5F：→ ssccg: 否則extend Class就相當於extend Class<Object> 03/01 00:08
6F：→ ssccg: 至於你說回傳型態都變成 Builder那應該是bug 03/01 00:09
7F：→ ssccg: 看錯，<T extends Builder>的話回傳就會是build沒錯 03/01 00:11
8F：推 adrianshum: 不傳type param 那款我覺得是不該出現啦。 03/01 09:24
9F：→ johnny94: 樓上兩位這樣解釋我瞬間懂了…感謝！ 03/01 09:52