Variable implémentant deux interfaces

Quelle est la portée de la variable?

Il y a trois possibilités ici.

A) la variable n'est qu'une variable locale. Dans ce cas, vous avez presque déjà la réponse ... il vous suffit de déclarer un paramètre de type pour la méthode englobante pour ce type:

interface ItfA { Number propA(); };
interface ItfB { Number propB(); };

class Main {

  private <T extends ItfA & ItfB> T getT() {
     return null;
  }

  private <TT extends ItfA & ItfB> void doStuffWithT() {
     TT theT = getT();
     System.err.println(theT.propA());
     System.err.println(theT.propB());
  }

}

B) La portée est la vie d'un objet et dans ce cas est un champ membre. La réponse évidente est de rendre la classe générique et le paramètre de type ont la même contrainte &:

interface ItfA { Number propA(); };
interface ItfB { Number propB(); };

class Main<T extends ItfA & ItfB> {

  T theT;

  public void setT(T newT) {
     theT = newT;
  }

  public void doStuffWithT() {
     System.err.println(theT.propA());
     System.err.println(theT.propB());
  }

}

C) La portée est le live du programme, alors la variable est un membre de classe statique. Ici, vous n'avez pas de solution générique.

C.1) Evidemment, si la classe des valeurs que vous allez gérer est connue, vous utiliserez simplement cette classe comme type de champ.

C.2) Sinon, vous pouvez contraindre le code à gérer uniquement les classes qui implémentent une interface qui étend ItfA et ItfB. Cette interface, dites ItfAB. Serait de type de champ.

C.3) Maintenant, qu'en est-il de ne pas imposer cette contrainte? Qu'en est-il de permettre au code de gérer les objets de n'importe quelle classe qui implémentent ces interfaces?

Malheureusement, il n'existe pas de solution claire à cela:

C.3.a) Vous pouvez taper le champ Object et fournir des méthodes pour y accéder comme ItfA ou comme ItfB (masquant essentiellement le casting).

C.3.b) Ou, au lieu de contenir directement une référence à l'objet, vous utilisez un objet proxy qui implémente ces interfaces et délègue les appels à ces méthodes d'interface à la valeur typée d'origine "T". La classe de ce proxy pourrait elle-même être un générique acceptant une valeur <T extends ItfA & ItfB> arbitraire (similaire à l'exemple B. ci-dessus).