精确的重载解析过程--为什么f(1)对f（int...arg）和f（long...arg）的调用没有歧义？

Question

我觉得这些都是适用的：

JLS 15.12.2.4。阶段3：通过变量调用确定适用的方法

JLS 15.12.2.5。选择最具体的方法

void f(Integer... arg) { System.out.println("Integer..."); }

void f(int... arg) { System.out.println("int..."); }

void test() {
    f((short)1); // int... called 
    f(1); // c.ERR

null

• int...（找到完全匹配，但不要停下来，继续搜索！）
• 长…，浮…，双…（不匹配=>尝试拳击）
• 整数...（现在不明确）、number...、object...

由于发现了两个可能的匹配-我们有一个编译错误。

void f(long... arg) { System.out.println("long..."); }

void f(int... arg)  { System.out.println("int..."); }

void test() {
    f((byte)1); // int... called 
    f(1);       // int... called 
}

f(byte)-第三阶段(varargs)=>尝试以下步骤：

null

我似乎明白15.12.2。编译时步骤2：确定方法签名。但是在我的例子中，我们有“第三阶段(§15.12.2.4)允许重载与可变度方法、装箱和解装箱相结合。”-但这是一个细节问题。

Answer 1

至于评论

要使一个参数比另一个参数更具体，该参数的类型必须是另一个方法参数的子类型。

请注意，这适用于基元类型，请参见https://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.10规范中给出的关系意味着int是比long更具体的类型。