為什么java在將字符串的arraylist對象傳遞給泛型方法時推斷序列化

Question

1. static <T> T pick(T a1, T a2) { return a2; }
2. Serializable s = pick("d", new ArrayList<String>());

如果我正在引用String或任何其他類型。 編譯器拋出錯誤。

你能幫我理解為什么java推斷它為Serializable？

Answer 1

• 作為參數a1 ，你傳遞的是String類型的"d" 。
• 作為參數a2 ，你傳遞new ArrayList<String>()型ArrayList<String>

最接近的String和ArrayList的常見超類型是Serializable 。 如果你寫了它也會工作：

Object s = pick("d", new ArrayList<String>());

Answer 2

在函數pick中，結果與參數a1和a2的類型相同。 在第二行，Java編譯器嘗試推斷參數a1和a2的公共類型T1 。 函數調用的結果將是T1類型。 因此， a1具有類型String，而a2具有類型ArrayList 。 這兩種類型都實現了Serializable接口。 因此， T1將從Serializable繼承，您可以在第二行開始時編寫Serializable 。 你不能在那里寫String，因為String不是String和ArrayList的常用超類型。