Optional <> und Rückgabetyp Verengung

Question

In Java < 8, "unsichere" Objekte (Objekte oder null) zurückkehrte, konnte ich Rückgabetyp in Unterklasse spezialisieren:

class A {} 
class B extends A {} 
interface Sup { A a(); /* returns A instance, or null */ } 
interface Sub extends Sup { B a(); } 

In Java 8, wenn ich will zu meinen API „sicherer“ zu machen, sollte ich Optional<A> anstelle von „rohen“ A zurück:

interface Sup { Optional<A> a(); } 
interface Sub extends Sup { Optional<B> a(); } 

Aber nicht kompilieren! Weil Optional<B> keine Unterklasse von Optional<A> ist.

Wie soll ich dieses Problem lösen?

Answer 1

Sie könnten Platzhalter verwenden.

interface Sup { Optional<? extends A> a(); } 

interface Sub extends Sup { Optional<? extends B> a(); } 

Ich hätte es nur Optional<B> gemacht, aber mit Optional<? extends B> einem anderen Schnittstelle Sub erweitern kann und das gleiche zu tun.

Persönlich denke ich, das ist ein bisschen ein Durcheinander, und es wäre vorzuziehen, einfach A oder B, oder null wo notwendig zurückgeben.

Answer 2

Ändern Sie Ihre Eltern Grenzen Platzhalter zu verwenden:

Optional<? extends A> // parent 
Optional<? extends B> // child 

Der Grund, dass der Code nicht jetzt ist auf die Tatsache zurückzuführen ist, dass Generika arbeiten unveränderlich sind. B ist-ein A, aber Optional<B> ist kein Optional<A>.