使用超级/子类型重载方法/构造函数

Question

我对在某些情况下会调用哪个重载方法有一些疑问。

情况 1：

public void someMethod(Object obj){
    System.out.println("Object");
}
public void someMethod(InputStream is){
    System.out.println("InputStream");
}
public void someMethod(FilterInputStream fis){
    System.out.println("FilterInputStream");
}

我知道如果我传递一个 String 它会打印“Object”。但是，如果我向它传递一个输入流怎么办？如果我向它传递诸如 BufferedInputStream 之类的东西，它会变得更加混乱。这会调用 Object 1、InputStream 1、还是 FilterInputStream 1？方法出现的顺序重要吗？

情况 2：

这有点棘手，因为它利用了多个接口继承。 BlockingQueue 和 Deque 都不是彼此的子/超类型，但都是 BlockingDeque 的超类型。 Sun 通过接口添加了多重继承，因为它们不需要树结构。 BlockingDeque 的声明是
公共接口BlockingDeque扩展了BlockingQueue，Deque {。

public void someMethod(BlockingQueue bq){
    System.out.println("BlockingQueue");
}
public void someMethod(Deque bq){
    System.out.println("Deque");
}
public void someCaller(){
     BlockingDeque bd = new LinkedBlockingDeque();
     someMethod(bd);
}

这会调用 someMethod(BlockingQueue) 还是 someMethod(Deque) ？

情况 3：

您可以将这两者结合起来：

public void someMethod(Queue q){
    //...
}
public void someMethod(Deque q){
    //...
}
public void someMethod(List p){
    //...
}
public void someCaller(){
    someMethod(new LinkedList());
}

同样的问题：someMethod(Queue)、someMethod(Deque) 或 someMethod(List)？

情况 4：

通过引入两个参数，您也可以使事情变得非常复杂：

public void someMethod(Collection c1, List c2){
    //...
}
public void someMethod(List c1, Collection c2){
    //...
}
public void someCaller(){
    someMethod(new ArrayList(), new ArrayList());
}

这会调用 someMethod(Collection, List) 还是反之亦然？

情况 5：

当它们具有不同的返回类型时，情况会变得更糟：

public Class<?> someMethod(BlockingQueue bq){
    return BlockingQueue.class;
}
public String someMethod(Deque bq){
    return "Deque";
}
public void someCaller(){
     BlockingDeque bd = new LinkedBlockingDeque();
     System.out.println(someMethod(bd));
}

这些可能会变得非常糟糕。在这种情况下，someCaller 会打印什么？ someMethod(BlockingQueue).toString() 或 someMethod(Deque)？

Answer 1

一般来说，Java 将调用最窄的非二义定义，因此对于前几种情况，如果您传递窄类型，它将调用最窄的函数，如果您传递更宽的类型（例如 InputStream），您将获得更宽类型的函数（在InputStream 的情况 1 即为方法 2)。 这是一个简单的测试，以及请注意，向下转型会加宽类型，并调用更宽类型的方法。

核心问题是Java能否解析出唯一的函数来调用。因此，这意味着，如果您提供具有多个匹配项的定义，则需要匹配最高的已知类型，或者唯一匹配更宽的类型，而无需匹配更高的类型。基本上：如果您匹配多个函数，其中一个函数的层次结构需要更高，以便 Java 解决差异，否则调用约定绝对是不明确的。

当方法签名不明确时，Java 似乎会抛出编译错误。在我看来，案例 4 是典型的最糟糕的例子，所以我写了一个快速测试，并且实际上得到了预期的编译错误，抱怨要调用的函数匹配不明确。

情况 5 并没有使任何事情变得更好或更糟：Java 不使用返回类型来消除调用哪个方法的歧义，因此它不会帮助您 - 并且由于定义已经不明确，您仍然会得到编译错误。

因此，快速总结：

1. 使用普通 InputStream 调用时由于不明确的调用而导致编译错误，使用 FilteredInputStream 调用时使用第三个 def，使用实现 InputStream 但不是 FilteredInputStream 的内容调用时使用第二个 def，其他任何东西，第一个 def< /p>

2. 第二个 def< /p>

3. 不明确，将导致编译错误

4. 不明确，将导致编译错误

5. 不明确，会导致编译错误

最后，如果您怀疑自己正在调用您认为应该调用的定义，则应该考虑更改代码以消除不明确性或努力指定正确的类型参数来调用“正确的”函数。 Java 会告诉您何时无法做出明智的决定（当事情确实不明确时），但避免任何这些问题的最佳方法是通过一致且明确的实现。不要做奇怪的事情，比如案例 4，这样你就不会遇到奇怪的问题。

Answer 2

在重载函数的情况下，调用的方法将是引用所传递的对象时具有最受限制但兼容的参数类型的方法。另外需要注意的是，重载方法的绑定是在编译时决定的，而不是由运行时确定的对象类型决定的。

例如情况1：如果编译时输入是InputStream类型，则将调用第二个方法。 BufferedInputStream 将进入第二种方法。

情况 2：这在编译时失败，因为 BlockingDeque 引用类型不明确，并且参数可以适合这两种方法中的任何一种，因为它扩展了这两种类型

情况 3：这里没问题，第三种方法，因为 Linkedlist 与任何其他两个参数

案例 4：不明确，因为有了这些参数，我可以进入这两个方法中的任何一个，但无法辨别

案例 5：返回类型在重载方法中不起任何作用。情况 2 成立。

Answer 3

这与关于重载参数的问题有点相切，但是有一个非常明确的原因可以解释为什么情况 5“更糟糕”。

情况 5 是您使用称为协变返回类型的语言功能的情况。这最初并不存在于 Java 中，但我相信是在 v1.5 中添加的（部分是因为这个问题）。如果编译器无法确定正确的返回类型是什么，那么它就会失败，这就是本例中发生的情况。