为什么编译器在调用一个不相关的接口类型时会选择这个带有类类型参数的泛型方法？

Question

考虑以下两个类和接口：

public class Class1 {}
public class Class2 {}
public interface Interface1 {}

为什么第二次mandatory调用重载方法与Class2, ifgetInterface1和与Interface1无关Class2？

public class Test {

    public static void main(String[] args) {
        Class1 class1 = getClass1();
        Interface1 interface1 = getInterface1();

        mandatory(getClass1());     // prints "T is not class2"
        mandatory(getInterface1()); // prints "T is class2"
        mandatory(class1);          // prints "T is not class2"
        mandatory(interface1);      // prints "T is not class2"
    }

    public static <T> void mandatory(T o) {
        System.out.println("T is not class2");
    }

    public static <T extends Class2> void mandatory(T o) {
        System.out.println("T is class2");
    }

    public static <T extends Class1> T getClass1() {
        return null;
    }

    public static <T extends Interface1> T getInterface1() {
        return null;
    }
}

我知道 Java 8破坏了与 Java 7 的兼容性：

$ /usr/lib/jvm/java-8-openjdk-amd64/bin/javac -source 1.7 -target 1.7 *java; /usr/lib/jvm/java-8-openjdk-amd64/bin/java Test
warning: [options] bootstrap class path not set in conjunction with -source 1.7
1 warning
T is not class2
T is not class2
T is not class2
T is not class2

使用 Java 8（也用 11 和 13 测试）：

$ /usr/lib/jvm/java-8-openjdk-amd64/bin/javac *java; /usr/lib/jvm/java-8-openjdk-amd64/bin/java Test                        
T is not class2
T is class2
T is not class2
T is not class2

Answer 1

Java 8 中的类型推断规则进行了重大修改，最显着的是目标类型推断得到了很大改进。因此，在 Java 8 之前，方法参数站点没有收到任何推断，默认为擦除类型（Class1forgetClass1()和Interface1for getInterface1()），而在 Java 8 中，会推断出最具体的适用类型。Java 8 的 JLS 引入了新的章节第 18 章。类型推断，这是 Java 7 的 JLS 中缺失的。

\n\n\n\n

最具体的适用类型<T extends Interface1>是<X extends RequiredClass & BottomInterface>，其中RequiredClass是上下文所需的类，BottomInterface是所有接口（包括 ）的底层类型Interface1。

\n\n

注意：每个 Java 类型都可以表示为SomeClass & SomeInterfaces. 因为RequiredClass是 的子类型SomeClass，并且BottomInterface是 的子类型SomeInterfaces，X所以是每个 Java 类型的子类型。因此，X是Java底层类型。

\n\n

X匹配public static <T> void mandatory(T o)和public static <T extends Class2> void mandatory(T o)方法签名，因为它X是 Java 底层类型。

\n\n

因此，根据\xc2\xa715.12.2，mandatory(getInterface1())调用最具体的mandatory()方法重载，public static <T extends Class2> void mandatory(T o)因为<T extends Class2>它比 更具体<T>。

\n\n

以下是如何显式指定getInterface1()类型参数以使其返回与public static <T extends Class2> void mandatory(T o)方法签名匹配的结果：

\n\n

public static <T extends Class2 & Interface1> void helper() {\n    mandatory(Test.<T>getInterface1()); // prints "T is class2"\n}\n

\n\n\n\n

最具体的适用类型<T extends Class1>是<Y extends Class1 & BottomInterface>，其中BottomInterface是所有接口的底部类型。

\n\n

Y匹配方法签名，但它与方法签名public static <T> void mandatory(T o)不匹配，因为不扩展。public static <T extends Class2> void mandatory(T o)YClass2

\n\n

所以mandatory(getClass1())调用public static <T> void mandatory(T o)方法。

\n\n

与 with 不同getInterface1()，您不能显式指定getClass1()类型参数以使其返回与public static <T extends Class2> void mandatory(T o)方法签名匹配的结果：

\n\n

                       java: interface expected here\n                                     \xe2\x86\x93\npublic static <T extends Class1 & C\xcc\xb2l\xcc\xb2a\xcc\xb2s\xcc\xb2s\xcc\xb22> void helper() {\n    mandatory(Test.<T>getClass1());\n}\n

\n