Les génériques et le super

Bonsoir à tous,

Je faisais quelques expérimentations sur les génériques et je suis tombé sur une subtilité que je ne parviens pas à comprendre :

Code:

---

1 2 3 4

public <X extends IOException> int maMethode4(X r){ return 0 ; }

---

cette méthode compile

mais pas celle ci :

Code:

---

1 2 3 4

public <X super IOException> int maMethode4(X r){ return 0 ; }

---

Quelque chose d'évident doit m’échapper ...
Sauriez vous m'éclairer ?

merci d'avance
Bonne soirée

Le super ne s'utilise pas dans les définitions de type paramétré. Il s'utilise dans les limites de paramètre de type indéfini.

Exemple :

Code:

---

1 2	List<? super IOException> troublesList; troublesList = new ArrayList<Throwable>();

---

ou bien

Code:

---

1 2 3

private void uneMethode(List<? super IOException> list) { list.add(new IOException()); }

---

Bref, ce qu'on voit bien, là, c'est que c'est toujours un ? et pas un X ou autre chose qu'un ?

Le système de sous-typage aurait peu de sens si on pouvait utiliser super dans les définitions de type paramétré.