Question

运行Java 1.8 JavaSE-1.8（jdk1.8.0_20）

这堂课：

public class SimpleQuestion {

    public static void main(String[] args) {
        DoNothing();
        DoNothing2();
        DoNothing3();
        DoNothing4();
    }    

    public interface Interface1 {
        public void go();
    }

    public interface Interface2<X> {
        public X go2();
    }

    private static <X, T extends Interface2<X> & Interface1> void DoNothing() {
        return;
    }

    private static <X, T extends Interface2 & Interface1> void DoNothing2() {
        return;
    }

    private static <X, T extends Interface2<X>> void DoNothing3() {
        return;
    }

    private static <T extends Interface2<T> & Interface1> void DoNothing4() {
        return;
    }    

}

给出了编译错误：

SimpleQuestion类型中的方法DoNothing（）不适用于参数（）

为什么那个而不是DoNothing2,3和4？

Answer 1

错误消息似乎是指section 18.5.1 of the spec中定义的算法失败。

对于DoNothing，算法按如下方式进行（使用上述链接中的术语）：

类型参数

P1 = X

P2 = T extends Interface2<X> & Interface1

我将使用a1和a2作为相应的推理变量。
初始绑定集是

B0 = {a1 <: Object, a2 <: Interface2<a1>, a2 <: Interface1}
没有参数，因此此时不会添加额外的界限（B2 = B0）。
a1对a1有依赖关系，所以我们先尝试解析a1。它有一个适当的Object上限，所以我们将它实例化。合并a1 = Object涉及添加绑定

a2 <: Interface2<Object>
接下来我们解决了a2。这现在有两个适当的上限，所以我们将a2实例化为他们的glb：

a2 = Interface2<Object> & Interface1
现在每个变量都有一个实例，因此解析成功了。

因此，与错误消息相反，DoNothing的调用应该适用。这似乎是Java编译器中的一个错误。

泛型函数调用不在java 8中编译扩展多个接口

1 个答案: