java - 类型推断如何用于方法调用？

Question

考虑以下示例:

public class Learn {
    public static <T> T test (T a, T b) {
        System.out.println(a.getClass().getSimpleName());
        System.out.println(b.getClass().getSimpleName());
        b = a;
        return a;
    }

    public static void main (String[] args) {
        test("", new ArrayList<Integer>());
    }
}

在main方法，我正在调用 test用String和一个 ArrayList <Integer>目的。两者是不同的东西并分配一个 ArrayList至 String (通常)给出编译错误。

String aString = new ArrayList <Integer> (); // won't compile

但我在 test 的第 3 行正是这么做的并且程序编译并运行良好。首先我认为类型参数 T替换为与 String 兼容的类型和 ArrayList (如 Serializable )。但是两个println里面的语句test将“String”和“ArrayList”打印为 a 的类型和 b分别。我的问题是，如果 a是String和 b是ArrayList在运行时，我们如何分配 a至 b .

Answer 1

对于泛型方法，Java 编译器将 infer the most specific common type对于两个参数 a和 b .

The inference algorithm determines the types of the arguments and, if available, the type that the result is being assigned, or returned. Finally, the inference algorithm tries to find the most specific type that works with all of the arguments.

您没有将调用结果分配给 test任何东西，所以没有目标影响推理。

在这种情况下，即使是String和 ArrayList<Integer>有一个共同的父类(super class)型，Serializable , 所以 T被推断为 Serializable ，并且您始终可以将同一类型的一个变量分配给另一个变量。对于其他示例，您甚至可以找到 Object作为公共(public)父类(super class)型。

但仅仅因为你有 T 类型的变量被推断为 Serializable , 对象本身仍然是一个 String和一个 ArrayList , 所以获取他们的类(class)并打印他们的名字仍然打印 String和 ArrayList .您没有打印变量的类型；您正在打印对象的类型。