13

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

例如，采用以下代码片段：

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()

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

在 Java 7 中运行相同的代码会产生一些意想不到的结果，尽管仍然令人困惑，因为这两种方法具有相同的签名：

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 将这些作为单独的方法进行枚举，以及其中一种接口方法如何设法成为没有实现的默认方法？

4

1 回答 1

9

这不是default您提供的方法，而是一种桥接方法。在您定义的父接口中。

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()

这些是相同的方法，唯一的区别是一个调用另一个并转换返回值。该方法似乎具有default实现，因为它在执行此操作的接口上。

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

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

于 2015-11-23T21:23:46.390 回答