Java：重载的方法解析和varargs —令人困惑的示例

Question

就在我以为我了解适用于varargs的JLS15.12时，这是这个示例：

package com.example.test.reflect;

public class MethodResolutionTest2 {
    public int compute(Object obj1, Object obj2) {
        return 42;
    }   
    public int compute(String s, Object... objects)
    {
        return 43;
    }

    public static void main(String[] args) {
        MethodResolutionTest2 mrt2 = new MethodResolutionTest2();
        System.out.println(mrt2.compute("hi",  mrt2));  
        System.out.println(mrt2.compute("hi",  new Object[]{mrt2}));    
        System.out.println(mrt2.compute("hi",  new Object[]{mrt2, mrt2, mrt2}));
    }
}

打印出来

42
43
43

我了解第一行：JLS15.12说方法解析是分阶段进行的，而阶段1和2忽略了varargs方法来确定是否存在兼容的方法，只有阶段1和2失败时才发生阶段3（包括varargs）。（请参阅JLS和此SO问题。）因此，compute(String s, Object... objects)如果compute(Object obj1, Object obj2)适用，将始终被忽略。

但是我不明白为什么其他两行打印43。An Object[]也是的实例Object，那么为什么它与varargs方法匹配？

编辑：

…还有这个

Object arg2 = new Object[]{mrt2};
System.out.println(mrt2.compute("hi", arg2));

版画42。

Answer 1

在8.4.1节中：

如果最后一个形式参数是类型的可变arity参数T，则考虑定义类型的形式参数T[]。

由于您显式提供了一个数组，因此这允许后两个调用在第一阶段中匹配变量arity方法，而无需考虑变量arity。