可变参数构造函数_may_冲突，但会编译

Question

我有两个可以很好地编译的构造函数，但是我希望Java抱怨歧义的可能性。

public Foo(int id, Bar bar, String name, String description){
}

public Foo(int id, Bar bar, String... values){
}

是什么赋予了？

Answer 1

Java允许这些方法存在，因为它有关于如果两种方法都适用将被调用的规则。具体来说，将选择固定arity方法（不带...），而不是可变arity方法（带...）。

的JLS，第15.12.2，确定这是选择方法时指出以下：

第一阶段（第15.12.2.2节）执行重载解析，不允许装箱或拆箱转换，也不允许使用可变Arity方法调用。如果在此阶段未找到适用的方法，则处理将继续进行到第二阶段。

这保证了，由于引入了可变arity方法，隐式装箱和/或拆箱，在Java SE
5.0之前的Java编程语言中有效的任何调用都不会被认为是模棱两可的。但是，声明可变可变方法（第8.4.1节）可以更改为给定方法方法调用表达式选择的方法，因为可变可变方法在第一阶段被视为固定可变方法。例如，在已经声明了m（Object）的类中声明m（Object
…）会导致不再为某些调用表达式（例如m（null））选择m（Object），例如m（Object [] ）更具体。

第二阶段（第15.12.2.3节）在允许装箱和拆箱的同时执行重载解析，但仍排除使用可变arity方法调用。如果在此阶段未找到适用的方法，则处理将继续进行到第三阶段。

这样可以确保如果通过固定arity方法调用适用方法，则永远不会通过可变arity方法调用选择方法。

第三阶段（第15.12.2.4节）允许将重载与可变arity方法，装箱和拆箱相结合。

（强调我的）

示例代码：

class Bar{}

public class Foo{
   public static void main (String [] args){
      Foo main = new Foo(1, new Bar(), "name", "description");
      Foo main2 = new Foo(2, new Bar(), "name");
      Foo main3 = new Foo(3, new Bar(), "name", "description", "otherValues");
      Foo main4 = new Foo(4, new Bar());    
   }

   public Foo(int id, Bar bar, String name, String description) {
      System.out.println("name and description!");
   }

   public Foo(int id, Bar bar, String... values) {
      System.out.println("values!");
   }
}

打印输出：

name and description!
values!
values!
values!

…表明Java会选择固定的arity方法。