opzionale <> e tipo di ritorno restringimento

Question

In Java < 8, restituendo oggetti "non sicuri" (oggetti o nullo), sono stato in grado di specializzarsi tipo di ritorno in sottoclasse:

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

In Java 8, se voglio a fare il mio API "più sicuro", dovrei tornare Optional<A> invece di "raw" A:

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

Ma non compila! Perché Optional<B> non è una sottoclasse di Optional<A>.

Come dovrei risolvere questo problema?

Answer 1

È possibile utilizzare i caratteri jolly.

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

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

ho potuto fare solo Optional<B> ma usando Optional<? extends B> permette un'altra interfaccia di estendere Sub e fare la stessa cosa.

Personalmente, penso che questo sia un po 'un disastro, e sarebbe preferibile semplicemente restituire A o B o null se necessario.

Answer 2

cambiare il vostro limiti genitore di utilizzare i caratteri jolly:

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

La ragione per cui il codice non funziona ora è dovuto al fatto che i generici sono invarianti. B è un A, ma Optional<B> non è un Optional<A>.