Re: [問題] 請問泛型的問題

[JustinHere (良葛格)]

※ 引述《jtorngl (DDFL)》之銘言：
: 請問 Collection 不支援 covariance (還是該說泛型不支援 covariance)
: 所以 summary 只能傳入 List<Number> 的物件
: 而不能傳入 List<Integer>、List<Double>, ...
:     public double summary(List<Number> nums) {

你只能傳 List<Number>，不能傳 List<Integer> 等…

: 為了讓這段程式能達到類似 covariance 機制
: 所以會使用 wildcard
:     public double wildcardSummary(List<? extends Number> nums) {

你可以傳 List<Number>、List<Integer> 等…

: 不過泛型使用 extends 一樣可以做到不是嗎
:     private <E extends Number> double genericsSummary(List<E> nums) {

你必須先確定 E 真正的型態，而這個 E 只能是 Number 的子類，一旦 E 確認了
，例如 Number，那麼你就只能傳 List<Number>…

是的，這也可以解決 List<? extends Number> 能解決的問題，不過語法意義上
是不同的，只不過兩者正好涵蓋了相同的問題。

因為正好能解決相同問題，就簡潔度來說， List<? extends Number> 會是我想
要的寫法，因為只要出現一次角括號…

另一方面，若是個 instance method，通常會以類別上的型態限定為主，例如：

public class Test<E> {
        public E foo(List<? extends Number> nums)
        {
                return null;
        }
}

會在方法前使用型態限定，通常是在 static method 時，例如：

public class Test {
        public static <E extends Number> Some foo(E e)
        {
                return null;
        }
}


: 目前能想到的只有，wildcard 有 super 來達到 contravariance
: 但是泛型只支援 extends 而沒有支援 super
: 那如果沒有要 contravariance 的效果
: 有什麼情況是 wildcard 才能做到，而泛型還是不能編譯的？

不要從能不能編譯來看，很多情況其實都可以通過編譯，你要看你想解決什麼
，以及可讀性哪個比較好。

: 目前看一些文章，在方法的參數，要限制參數型態邊界時
: 幾乎都是使用 List<? extends Number>
: 好像比較少看到 <E extends Number> ... List<E>
: 看了一下 JDK 的 List interface
:     boolean addAll(Collection<? extends E> c);
: 是因為限制的參數型態都是動態，才只能用 wildcard 嗎？

不是，理由上面說過，你想看到更多 <E extends Number> 的應用，可以找找
有 static method 的類別，例如 Collections..

static <T extends Object & Comparable<? super T>>
    T maxCollection<? extends T> coll)

static <T extends Comparable<? super T>>
    void sortList<T> list)

: 以JDK 的 List 介面來說
:    public interface List<E> extends Collection<E>
:    有一個方法是 boolean containsAll(Collection<?> c);
:
:    如果是這樣定義的
:    boolean containsAll(Collection<E> c);
:
:    那當我們建立 List<String> strs = Arrays.asList("1", "2");
:    那這個 strs 的 containsAll 方法，只能用來比較 String 集合了
:
:    反之因為使用 ? 定義
:    boolean containsAll(Collection<?> c); 這樣定義
:    所以 strs 還是可以用來比對各種型態的集合

這就是兩者應用上的差別之一…instance method 通常會以類別上宣告的型態來限定，
因為閱讀上比較簡單。

也可以進一步看看這邊的文件：
https://openhome.cc/Gossip/JavaEssence/WildCard.html

--
良葛格學習筆記
http://openhome.cc

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.10.69.16 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/java/M.1598789899.A.696.html
※ 編輯: JustinHere (39.10.69.16 臺灣), 08/30/2020 20:24:35
※ 編輯: JustinHere (39.10.69.16 臺灣), 08/30/2020 20:25:04
推 qrtt1: 是良葛格!
推 jtorngl: 感謝良葛格的說明，Java SE8 技術手冊有買，不過第18章沒
→ jtorngl: 翻XD，學習筆記的靜態方法泛型倒是有看不懂的地方，就是
從 Java SE 9 技術手冊開始，我有把 Producer Extends，Producer Extends 的說明加
進去，這也是個理解的方向。

→ jtorngl: BeanUtil.<Student>getBean(...) 的用法，在方法名稱前面
→ jtorngl: 加上 <型別> 只是為了鍊呼叫，不加會編譯錯誤
因為單純做 method chain，沒有變數型態可以參數，就得明確指定泛型的型態：

BeanUtil.<Student>getBean(
                     data, "cc.openhome.Student").getName();

若有變數型態可參考就不用，因為編譯器可以從變數的型態來推斷，例如文件中
就有個例子：

Student student = BeanUtil.getBean(data, "cc.openhome.Student");


※ 編輯: JustinHere (110.26.97.16 臺灣), 08/31/2020 17:42:52
推 jtorngl: public static <T> T obtain(T t) { return t; }
→ jtorngl: 我有試著練習一個泛型方法
→ jtorngl: GenericMethod.staticObtain("abc").toUpperCase();
→ jtorngl: GenericMethod.<String>obtain("abc").toUpperCase();
→ jtorngl: 發現沒加 <String> 還是可以編譯和執行，所以有點搞不懂
因為你的 obtain 是：
public static <T> T obtain(T t) { return t; }

T 用在參數上，之後的呼叫中，"abc" 已經告訴編譯器，T 的型態是 String 了…

至於文件上的 static method 是：
public static <T> T getBean(Map<String, Object> data, String clzName)

之後的呼叫中，沒有任何來源可以告訴編譯器，T 的型態是什麼，你就得主動提供…


→ jtorngl: JDK java-11-openjdk-11.0.8.10-2.windows.redhat.x86_64
→ jtorngl: 沒加<String> 不是打錯，是推文長度不夠，改名忘了改到
推 jtorngl: 我練習是 staticObtain()，推文長度不足才改 obtain()
推 tw11509: java 8之後大部分的情況就不用加了，編譯器會自己推斷出
→ tw11509: 來
編譯時期型態推斷是一直在加強，不用一直糾結在這部份，必須得提供時就提供，只要
你不是不明就理地直接 cast 就行。

※ 編輯: JustinHere (27.247.130.217 臺灣), 09/01/2020 07:53:47
推 jtorngl: 感謝良葛格說明，原來是方法的參數沒有型態讓編譯知道
→ jtorngl: static <T> T jsonToObj(String json, Class<T> clazz)
→ jtorngl: 我使用的方法都會在方法參數帶<T>，所以不知道那種用法
→ jtorngl: 這種型態推斷蠻強大的，但就和初學lambda一樣，對語法
→ jtorngl: 不熟悉時，會覺得為什麼可以這樣啊?!