[Generics] super & extends

Comment définir un paramètre de généricité pour qu'il soit à la fois une super-classe de A et une sous-classe de B?

Pour qu'il soit le sous-type de plusieurs types, on fait

Code:

---

class MaClass<T extends A & B>

---

Mais pour mélanger le surtypage et sous-typage?

Je pense que ce n'est pas possible, on ne peut spécifier que la relation d'héritage. Si tu veux autoriser uniquement les super-classes de A ET les sous-classes de B, il faut donc écrire une classe C qui hérite de B, et faire hériter A de C.

A -> C -> B (Désolé, ce n'est pas terrible comme diagramme UML :lol: )

Code:

---

class MaClasse<T extends C> {}

---

Citation:

---

Envoyé par had35

Je pense que ce n'est pas possible, on ne peut spécifier que la relation d'héritage. Si tu veux autoriser uniquement les super-classes de A ET les sous-classes de B, il faut donc écrire une classe C qui hérite de B, et faire hériter A de C.

A -> C -> B (Désolé, ce n'est pas terrible comme diagramme UML :lol: )

Code:

---

class MaClasse<T extends C> {}

---

---

Le problème c'est que la classe C peut-être quelconque...

Par exemple, tu as une interface Flux, implémentée par FluxDirect, dont hérite Chaine.
Flux <- FluxDirect <- Chaine

Tu veux spécifier dans flux que toutes les sous-classes doivent implémenter Comparable<?>, mais où, ? n'est pas quelconquecar par exemple on ne veut pas implémenter Comparable<Integer> (ce qui n'aurait aucun sens)...
Et on ne veut pas non plus forcément obliger à pouvoir comparer tous les flux entre eux (seulement les chaines de type A avec les chaines de type A par exemple)...

Je crois voir ce que tu veux dire.

Dans l'exemple que je t'ai donné, C n'est pas un type quelconque, c'est toi qui le défini et le fait hériter et implémenter des types que tu veux traiter dans ton template MaClasse.

Code:

---

1 2 3 4

class C extends Chaine implements Comparable<Chaine> {}   class MaClasse<T extends C> {}

---

Cela obligera les utilisateurs de MaClasse à instancier C ou à en hériter, mais je ne crois pas que ce soit possible de faire autrement.

En réfléchissant à ton problème, je me rend compte que ce que je te propose n'apporte rien :oops: Tu faisais référence au tutoriel de Romain Guy.

Je effectué des essais de compilation, apparement, le mot-clé super ne peut être utilisé que pour spécifier les arguments requis par une méthode et non pour définir un type générique.