Symbol wieloznaczny z górną granicą ostateczną

Question

Class<? extends Integer> będzie kompilowany dobrze, ale Integer jest ostatecznym typem, więc nie ma sensu używać go jako górnej granicy (nic nie będzie kiedykolwiek extend).

Jeśli spróbujesz użyć ostatecznej typ jako górną granicę dla parametru typu, otrzymasz ostrzeżenie kompilatora:

Parametr typu T nie powinna być ograniczona przez końcowego typu Integer. rodzaje końcowe nie mogą być dodatkowo rozszerzony

Dlaczego przy użyciu ostatecznej typ jako górną granicę dla wieloznaczny być idealnie czysty, ale rzucać ostrzeżenie dla parametru typu? Dlaczego Java pozwala nawet na ograniczanie symboli wieloznacznych końcowym górnym typem?

Answer 1

nie jest dozwolonym przydziałem jako Class<? extends Integer>.

Na przykład ten kompiluje:

Class<? extends Number> numberClass = Integer.class; 
Class<? extends Integer> integerClass = numberClass.asSubclass(Integer.class); 

To nie:

Class<? extends Number> numberClass = Integer.class; 
Class<Integer> integerClass = numberClass.asSubclass(Integer.class); 

Ja nie mogłem dostać ostrzeżenie kompilatora, jak to zrobić (chyba można podać przykład i szczegóły dotyczące twojego kompilatora?).