Question

每this question，Java将选择＆＃34;最具体的＆＃34;尝试在不明确的重载构造函数之间进行选择时的选项。在这个例子中：

public class Test{
    private Test(Map map){
        System.out.println("Map");
    }
    private Test(Object o){
        System.out.println("Object");
    }
    public static void main(String[] args){
        new Test(null);
    }
}

它会打印

＆＃34;地图＆＃34;

但是，我试图找出具体的＆＃34;最具体的＆＃34;手段。我认为这意味着＆＃34;最不模糊的＆＃34;，因为＆＃34;可能指的是尽可能少的类型。＆＃34;在此上下文中，Object可能是任何不是原语的内容，而Map可能只是Map或? extends Map。基本上，我假设选择了接近继承树的叶子的类。当一个类是另一个类的子类时，这是有效的：

public class Test{
    private Test(A a){
        System.out.println("A");
    }
    private Test(B b){
        System.out.println("B");
    }
    public static void main(String[] args){
        new Test(null);
    }
}

class A{}

class B extends A{}

＆＃34; B＆＃34;

然后我想出了这个：

public class Test{
    private Test(A a){
        System.out.println("A");
    }
    private Test(E e){
        System.out.println("E");
    }
    public static void main(String[] args){
        new Test(null);
    }
}

class A{}

class B extends A{}

class C{}

class D extends C{}

class E extends D{}

我认为它应该打印E，因为E可能只引用一种已知类型，而A可能引用两种（A和{{1} }）。但它给出了一个模棱两可的参考错误。

它是如何实际选择构造函数的？我通读了the docs，但坦率地说，我无法完全理解其如何确定特异性。我希望能够说明为什么它无法确定B比E更具体。

Answer 1

它不是基于可转换为参数类型的类型数量 - 它是否由于隐式转换而对一个重载有效的值是否对另一个重载有效。

例如，有String到Object的隐式转换，但反过来并非如此，因此String比{{1}更具体}}

同样地，从Object到B的隐式转换，但反过来并非如此，因此A比B更具体

然而，A和A都没有比另一个更具体 - 没有从E到A的转换，也没有来自E的转换到E。这就是重载解析失败的原因。

JLS的相关位实际上是15.12.2.5，其中包括这可能使您更容易理解：

非正式的直觉是，如果第一个方法处理的任何调用都可以传递给另一个没有编译时错误的调用，那么一个方法比另一个方法更具体。

所以如果你有：

void foo(String x) void foo(Object x)处理的每个调用都可以由foo(String)处理，但情况并非相反。（例如，您可以拨打foo(Object)并且foo(new Object())无法处理。）

Answer 2

在声明JSL§15.12.2.5答案后，

非正式的直觉是，一种方法更具体 另一个，如果第一个方法处理的任何调用都可以传递没有编译时错误的另一个。

案例1

您可以在构造函数中传递任何内容val v1 = sqlContext.parquetFile("hdfs://myhost:8020/user/hive/warehouse/db/blogs/yymmdd={[0-9]*}")，而我们无法在第一个构造函数中传递Object以外的任何内容。因此，无论我在Map构造函数中传递的是什么，都可以由Map构造函数处理，这就是为什么Object变得特定于mote的原因。

案例2

自Test(Map map)扩展B以来，此处A构造函数变得更加具体。由于继承，我们可以在Test(B b)中传递B。

案例3

在这种情况下，没有直接转换来描述更具体的方法，并导致歧义。

Answer 3

此行为是因为E并不比A更具体，因为它们属于不同的层次结构，无法进行比较。因此，当您传递null时，Java无法知道要使用哪个层次结构。

Java：在重载的构造函数之间进行选择

3 个答案: