Java泛型和类型推断

Question

从Sun Tutorials for generics

类型推断

为了说明这最后一点，在下面的例子中，推理 确定第二个参数被传递到拾取方法的类型为 字符串：

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

Origirally我认为我dea就是你可以使用任何参数代替T，只要它以String结尾。例如ArrayList<ArrayList<String>>

但后来我发现下面还有编译罚款：
Serializable s = pick("d", new ArrayList<Integer>());
似乎T推断是一个Serializable而不是String？

那么什么是语句的含义

推理判断的第二个参数传递给挑 方法String类型的

Answer 1

在这种情况下，3种类型是Serializable，String,ArrayList<String>。

• Serializable不延长任何
• String实现Serializable其他无关的东西
• ArrayList<String>实现Serializable其他无关的东西

所以适用于所有3个最具体的类型是Serializable。

例如，如果您将调用替换为Serializable s = pick("d", new Object());，则不会再进行编译，因为最具体的类型现在是Object，并且您无法将Object转换为Serializable。