模棱两可的重载方法调用已解决

Question

当我调用时，call('a'); 它会输出“char”，这很好，因为 char 原始类型将优先于将其装箱为 Character。

static void call(char i){
    System.out.println("char");
}

static void call(Character i){
    System.out.println("Character");
}

call('a', 'a'); 的调用为何不明确？

static void call(char i, Character j){
    System.out.println("char");
}

static void call(Character i, Character j){
    System.out.println("Character");
}

我的想法是第二个参数编译器必须使用 Boxing，而第一个参数完美匹配是 char 原始类型，因此对 call('a','a'); 的调用可以解析为 call(char i, Character j) 方法。

显然我理解错了，请高人解释一下。

一些解释此类示例的链接会有所帮助。

Answer 1

call('a', 'a'); 的调用为何不明确？

因为为了使(char i, Character j) 重载适用，围绕拳击的规则开始发挥作用 - 并且此时 两个 调用都适用。这是确定方法签名的第二阶段(JLS 15.12.2)：

1. 第一阶段（第 15.12.2.2 节）执行重载解决方案，不允许装箱或拆箱转换，或使用可变参数方法调用。如果在此阶段没有找到适用的方法，则处理继续到第二阶段。

2. 第二阶段（第 15.12.2.3 节）执行重载解决方案，同时允许装箱和拆箱，但仍排除使用可变参数方法调用。如果在此阶段没有找到适用的方法，则处理继续到第三阶段。

所以在第 2 阶段，两种方法都适用，但确定最具体方法 (JLS 15.12.2.5) 的规则不会使任何一种调用都比彼此更具体。这不是“未装箱比装箱更具体”的问题 - 而是“我可以在没有任何装箱的情况下解决这个问题”之前的问题，然后是“我可以用装箱解决这个问题”。

Answer 2

答案在JLS 15.12.2 Compile-Time Step 2: Determine Method Signature：

对于带有char 和Character 的第一个call 方法，编译器只需要第一阶段就可以知道要调用哪个方法。在第一阶段，它不会混合盒装类型和原始类型：

第一阶段（第 15.12.2.2 节）执行重载决议，不允许装箱或拆箱转换，或使用变量 arity 方法调用。如果在此阶段没有找到适用的方法，则处理继续到第二阶段。

但是，在您使用 2 个参数（char 和 Character，以及 Character 和 Character）的调用中，编译器需要进入 第二 阶段以尝试区分它们，并且在那个特定点上，两种方法都有效：

第二阶段（第 15.12.2.3 节）执行重载解决方案，同时允许装箱和拆箱，但仍排除使用可变参数方法调用。