Bei der Verwendung von Optionals und anonymen Klassen ist ein seltsames Problem aufgetreten :

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

Die ersten beiden Methoden werden nicht mit dem Fehler kompiliert

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

Ich hatte das erwartet, da beide die Schnittstelle implementieren Bar alle drei Ansätze funktionieren . Ich kann auch nicht herausfinden, warum die dritte Option das Problem behebt. Kann mir das bitte jemand erklären?

Sie können den Typ der ersten beiden mit einem Typzeugen ergänzen:

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

Auf diese Weise kann der Compiler sehen, dass Sie eine Rückgabe von erwarten Optional<Bar>, die #orElse dann ableiten kann, um eine zu akzeptierenBar

Sie müssen dem Optional mitteilen, dass Sie eine Leiste für diese Schnittstelle wünschen.

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

Fall compiles1

Ihr Optionalhat den generischen Typ Bar, weil die Variable barden Typ hat Bar.

Die von Foo$1Ihnen erstellte anonyme Typklasse hatBar einen Supertyp, daher wird die Methode kompiliert.

Fall doesNotCompile

Hier Optionalhat der generische Typ Foo$1und Sie versuchen ein Objekt vom Typ Foo$2zu übergeben, orElsedas nicht hatFoo$1 als Supertyp hat. Daher der Kompilierungsfehler.

Fall doesNotCompile2

Ähnlich doesNotCompile, Optionalhat die allgemeine Art Foo$1und Sie versuchen , passieren bar, eine Variable vom Typ Barin orElsedem wiederum hat nicht Foo$1als Supertyp.

Vermeiden Sie diese Fehler

Fügen Sie Ihrem Anruf von einen Typzeugen hinzu Optional::of. Dies gibt Ihnen Optionalden generischen Typ 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() {
        });
    }
}