Java 8 CompletableFuture renvoyant un sous-type de la déclaration

Question

Désolé pour le titre pauvre, si quelqu'un a une meilleure idée je suis ouvert à la suggestion. Je jouais avec le CompletableFuture et je suis tombé sur quelque chose d'étrange.

Disons que vous avez 2 classes: A et B où B extends A, donc B est un sous-type de A.

Maintenant, Déclarons un CompletableFuture:

CompletableFuture<A> promiseofA = CompletableFuture.supplyAsync(() -> new B()); 

Cela fonctionne parce B étant un sous-type de A est conforme à la déclaration du CompletableFuture. Maintenant, si je veux ajouter une étape exceptionally, j'ai une compilation exception:

CompletableFuture<A> promiseOfA = CompletableFuture.supplyAsync(() -> new B()) 
                .exceptionally(ex -> new B()); 

Dans ce cas, Java se plaint, déclarant que:

Compilation error[ java.util.concurrent.CompletableFuture<B> cannot be converted to java.util.concurrent.CompletableFuture<A>] 

Pourquoi est-il fonctionne sans l'étape excepionally et pas avec ça?

Answer 1

Cela ne fonctionne pas lorsque vous ajoutez exceptionally car cela dépend complètement de l'avenir de la source pour sa saisie.

Cela signifie qu'exceptionnellement, il voit que le futur source est CompletableFuture<B>, alors le type qu'il renvoie DOIT être CompletableFuture<B>.

Si vous spécifiez que la source est réellement CompletableFuture<A> (CompletableFuture.<A>supplyAsync(...)), elle sera recompilée correctement. C'est un problème avec la déduction de type générique en Java.

Answer 2

I ajouté générique qui s'étend A avec à titre exceptionnel, et l'erreur de compilation a disparu:

CompletableFuture<? extends A> promiseOfA1 = CompletableFuture.supplyAsync(() -> new B()) 
      .exceptionally(ex -> new B());