java - 具有静态方法的泛型

Question

在没有任何 exceptoin 的情况下这是如何工作的？因为在这种情况下 T 必须相同，但其中之一是 String另一个是 ArrayList<Integer> .

public static void main(String[] args) {
    Serializable s = pick("d", new ArrayList<Integer>());   
    System.out.println("s:"+s);
}
static <T> T pick(T a1, T a2) {
    return a2;
}

Answer 1

编译器使用类型推断来确定 T 的类型。它选择适用于所有考虑的类型的最具体的类型。这里，类型为 s是 Serializable ，然后您传入 String和一个ArrayList<Integer> 。两者 String 和 ArrayList 是 Serializable ，没有其他关系，因此推断类型为 T是 Serializable .