私はOptionalと匿名クラスを使用して奇妙な問題に遭遇しました：

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() {
        });
    }
}

最初の2つのメソッドはエラーでコンパイルされません

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

どちらもインターフェースを実装しているため、Bar3つのアプローチすべてが機能することを期待していました。3番目のオプションで問題が修正される理由もわかりません。誰かがこれを説明できますか？

タイプウィットネスを使用して、最初の2つのタイプを補足できます。

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

これにより、コンパイラはの戻りを期待していることOptional<Bar>を確認できます。＃orElseは、Bar

あなたは、そのインターフェースにバーが必要であることをオプションに伝える必要があります。

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

場合 compiles1

変数が型を持っているので、あなたOptionalは総称型を持ってBarいます。barBar

Foo$1作成した型の匿名クラスはBarスーパー型として持つため、メソッドはコンパイルされます。

場合 doesNotCompile

ここでは、Optionalジェネリック型を持っているFoo$1、あなたはタイプのオブジェクトを渡すためにしようとしているFoo$2にorElse持っていないものをFoo$1スーパータイプとして。したがって、コンパイルエラーです。

場合 doesNotCompile2

同様にdoesNotCompile、Optionalジェネリック型を持っているFoo$1、あなたは合格しようとしているbar、型の変数Barに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() {
        });
    }
}