歧义varargs方法

Question

public class Test {
    public static void main(String[] args) {
        method(1);
    }

    public static void method(int... x) {
        System.out.println("varargs");
    }

    public static void method(Integer... x) {
        System.out.println("single");
    }
}

有人能告诉我这些方法模棱两可的原因吗？提前谢谢你。

Answer 1

过载解决方案（JLS 15.2.2）中使用了3个阶段：

>

第一阶段(§15.12.2.2)执行重载解析，而不允许装箱或取消装箱转换，也不允许使用可变度方法调用。如果在此阶段没有找到适用的方法，则处理继续到第二阶段。

第二阶段(§15.12.2.3)在允许装箱和解装箱的同时执行重载解析，但仍然排除了可变度方法调用的使用。如果在此阶段没有找到适用的方法，则处理继续到第三阶段。

m2不是泛型的，m1和m2通过变量性调用而适用，其中m1的前k个变量性参数类型是S1，…，Sk，m2的前k个变量性参数类型是T1，…，Tk，对于所有i(1≤i≤k)的参数ei，类型Si比Ti更具体。另外，如果m2有K+1个参数，那么m1的K+1'可变度参数类型是m2的K+1'可变度参数类型的子类型。

在您的例子中，您有两个非泛型方法，它们可以通过变量调用来应用（即，它们都有varargs）。为了在调用方法(1)时选择其中一个方法，其中一个方法必须比另一个更具体。在您的情况下，每个方法只有一个参数，并且为了使其中一个参数比另一个参数更具体，该参数的类型必须是另一个方法参数的子类型。

由于int不是integer的子类型，并且integer不是int的子类型，所以这两个方法都不比其他方法更具体。因此，the method方法(int[])对于类型测试错误是不明确的。

public static void method(Object... x) {
    System.out.println("varargs");
}

public static void method(Integer... x) {
    System.out.println("single");
}