Discussion :

[flamant]

Bonjour, j'ai une question d'un guide de préparation à la certification oracle qui est la suivante

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
Etant donné la méthode suivante
 
public static <E extends Number> List<? super E> process(List<E> nums)
 
un programmeur veut utiliser la méthode de la façon suivante
 
List<Number> input = ...;
List<Number> output = null;
output = process(input);
 
est-ce que ça compile ?

La réponse donné est que ca compile et je pense que c'est pas juste. En effet <E extends Number> ne peut pas s'appliquer pour E=Number

Pouvez vous me dire si ca compile ? Merci

[thelvin]

Marrant.

Alors non, ça ne compile pas, donc manifestement la réponse fournie est fausse.

Mais rien à voir avec le <E extends Number>. Il s'applique bel et bien dans le cas où E serait Number lui-même. Ça ne sert à rien d'exiger une extension stricte, ça nous dit rien de plus. <T extends Bidule> indique que T doit être un sous-type de Bidule ou Bidule lui-même. En gros, qu'avec un T, on peut faire tout ce qu'on pourrait faire avec un Bidule.

Non, si ça compile pas, c'est parce que List<? super E> c'est pas la même chose que List<E>.

Du coup, en appelant cette méthode avec en paramètre une List<Number>, on force le fait que le paramètre générique de la méthode est E = Number, ce qui fait que le type renvoyé, List<? super E>, sera résolu en type List<? super Number>.

Et on ne peut pas assigner ce List<? super Number> à une variable de type List<Number>.

Voilà voilà voilà.

[flamant]

Merci thelvin