如果不同的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的祖先。