Discussion :

[pigpen]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

cette méthode compile

mais pas celle ci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[thelvin]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

ou bien

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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é.