当两个接口具有冲突的返回类型时，为什么一个方法成为默认方法？

Question

在Java8中，如果我有两个具有不同（但兼容）返回类型的接口，反射告诉我这两个方法中的一个是默认方法，即使我实际上没有将该方法声明为默认方法或提供方法体。

例如，以以下代码段为例：

package com.company;
import java.lang.reflect.Method;

interface BarInterface {}
class Bar implements BarInterface {}

interface FooInterface {
    public BarInterface getBar();
}

interface FooInterface2 extends FooInterface {
    public Bar getBar();
}

class Foo implements FooInterface2 {
    public Bar getBar(){
        throw new UnsupportedOperationException();
    }
}

public class Main {
    public static void main(String[] args) {
        for(Method m : FooInterface2.class.getMethods()){
            System.out.println(m);
        }
    }
}

Java 1.8生成以下输出：

public abstract com.company.Bar com.company.FooInterface2.getBar()
public default com.company.BarInterface com.company.FooInterface2.getBar()

这看起来很奇怪，不仅因为这两种方法都存在，还因为其中一种方法突然莫名其妙地变成了默认方法。

在Java7中运行相同的代码会产生一些不那么出乎意料的东西，尽管仍然令人困惑，因为这两个方法具有相同的签名：

public abstract com.company.Bar com.company.FooInterface2.getBar()
public abstract com.company.BarInterface com.company.FooInterface.getBar()

Java肯定不支持多个返回类型，所以这个结果仍然很奇怪。

下一个明显的想法是：“好吧，也许这是一个只适用于接口的特殊行为，因为这些方法没有实现。”

错。

class Foo2 implements FooInterface2 {
    public Bar getBar(){
        throw new UnsupportedOperationException();
    }
}

public class Main {
    public static void main(String[] args) {
        for(Method m : Foo2.class.getMethods()){
            System.out.println(m);
        }
    }
}

产量

public com.company.Bar com.company.Foo2.getBar()
public com.company.BarInterface com.company.Foo2.getBar()

这是怎么回事？为什么Java将这些方法列为单独的方法，其中一个接口方法如何成为没有实现的默认方法？

Answer 1

它不是您提供的默认方法，而是桥接方法。在您定义的父接口中。

public BarInterface getBar();

您必须有一个可以调用的方法来实现这一点。

例如

FooInterface fi = new Foo();
BarInterface bi = fi.getBar(); // calls BarInterface getBar()

但是，您还需要能够调用它的协变返回类型。

FooInterface2 fi = new Foo();
Bar bar = fi.getBar(); // calls Bar getBar()

这些都是相同的方法，唯一的区别是一个调用另一个并铸造返回值。它是在执行此操作的接口上具有默认实现的方法。

注意：如果您有多个级别的接口/类，并且每个接口/类都有不同的返回类型，那么方法的数量会累积。

它这样做的原因是JVM允许有多个返回类型不同的方法，因为返回类型是签名的一部分。也就是说，调用者必须声明它所期望的返回类型，而JVM实际上并不理解协变返回类型。