Existe-t-il un moyen d'éviter la répétition de paramètres de type génériques lorsqu'un type peut être déduit de l'autre?

Question

Ceci est un exemple artificiel, mais plus simple à expliquer que mon code actuel:

public interface ContainerOwner<T, C extends Container<T>> { 
    // ... 
} 

Je voudrais éviter la répétition de T dans cette signature de type parce qu'il devient difficile à manier lorsque les paramètres eux-mêmes paramètres, pour exemple:

ContainerOwner< 
    Optional<Future<Map<String, Integer>>>, 
    List<Optional<Future<Map<String, Integer>>>> 
> foo; 

Dans cet exemple, j'ai l'impression que le premier paramètre pourrait être déduit de la seconde. Y a-t-il un truc pour faire ça?

Answer 1

Une façon pourrait être d'utiliser une sous-interface plus spécifique qui aura besoin un seul paramètre de type, quelque chose comme:

public interface ListOwner<T> extends ContainerOwner<T, List<T>> { 
} 

Alors votre code serait:

ListOwner<Optional<Future<Map<String, Integer>>>> foo;