如果不同的Java泛型類型參數具有相同的名稱，為什么可以為其分配不同的類型？

Question

在oracle的官方java文檔Type Inference章節中，有一個這樣的例子：

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

在這種情況下，類型參數是T但是傳遞了兩種不同的類型，不應該a1的類型與a2相同嗎？

Answer 1

推理算法確定參數的類型，如果可用，還確定分配或返回結果的類型。 最后，推理算法試圖找到適用於所有參數的最具體類型。

對於您的示例，最具體的類型是Serializable ，它是String和ArrayList祖先。