Réponse douteuse d'une question de la certification Java Oracle

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

Code:

---

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

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

Merci thelvin