Optional.orElse 不使用匿名类型编译

Question

我在使用Optionals 和匿名类时遇到了一个奇怪的问题：

public class Foo {
    interface Bar {
    }

    void doesNotCompile() {
        Optional.of(new Bar() {
        }).orElse(new Bar() {
        });
    }

    void doesNotCompile2() {
        final Bar bar = new Bar() {
        };
        Optional.of(new Bar() {
        }).orElse(bar);
    }

    void compiles1() {
        final Bar bar = new Bar() {
        };
        Optional.of(bar).orElse(new Bar() {
        });
    }
}

前两种方法无法编译并报错

java: incompatible types: <anonymous test.Foo.Bar> cannot be converted to <anonymous test.Foo.Bar>

我预料到了，因为两者都实现了接口Bar，所有三种方法都可以工作。我也无法弄清楚为什么第三个选项可以解决问题。谁能解释一下？

Answer 1

您可以使用类型见证来补充前两个的类型：

Optional.<Bar>of(new Bar(){}).orElse(new Bar(){});

这使编译器可以看到您期望返回Optional<Bar>，然后#orElse 可以推断出接受任何Bar

Answer 2

您需要告诉 Optional 您想要该界面的 Bar。

Bar bar = new Bar();
Optional<Bar> o = Optional.of(new Bar() {}).orElse(bar);

Answer 3

案例compiles1

您的Optional 具有泛型类型Bar，因为变量bar 具有类型Bar。

您创建的Foo$1 类型的匿名类具有Bar 作为超类型，因此该方法可以编译。

案例doesNotCompile

这里，Optional 具有泛型类型Foo$1，而您正试图将Foo$2 类型的对象传递给orElse，它没有Foo$1 作为超类型。因此编译错误。

案例doesNotCompile2

类似于doesNotCompile，Optional 具有泛型类型Foo$1，而您正试图将bar（Bar 类型的变量）传递给orElse，而orElse 又没有Foo$1 作为超级类型。

---

避免这些错误

在您的 Optional::of 调用中添加类型见证人。这为您的Optional 提供了泛型类型Bar：

public class Foo {

    interface Bar {
    }

    void doesNotCompile() {
        Optional.<Bar>of(new Bar() {
        }).orElse(new Bar() {
        });
    }

    void doesNotCompile2() {
        final Bar bar = new Bar() {
        };
        Optional.<Bar>of(new Bar() {
        }).orElse(bar);
    }

    void compiles1() {
        final Bar bar = new Bar() {
        };
        Optional.of(bar).orElse(new Bar() {
        });
    }
}