Ist es möglich, Ober- und Untergrenzen für Typparameter in Java anzugeben?

Question

Ist es möglich, Ober- und Untergrenzen für Typparameter in Java anzugeben?

Ich fand a conversation in Sun's forum, in dem dieses Problem besprochen wurde (offenbar bevor das Generika-Feature abgeschlossen wurde), aber es gab keine endgültige Antwort.

Zusammengefasst ist es eine gültige Syntax, dies zu tun:

public class MyClass<T extends Number super Integer> 

?

Answer 1

Ich glaube nicht - so weit ich aus der Sprachspezifikation sagen kann, "Super" ist nur für Wildcard-Typen in erster Linie gültig. Die Syntax für Platzhalter schlägt auch können Sie nur eine Wildcard haben auch gebunden - so können Sie etwas nicht verwenden, wie dies entweder:

// Invalid 
void foo(List<? extends Foo super Bar> list) 

Auch wenn diese beiden sind in Ordnung:

// Valid 
void foo(List<? extends Foo> list) 

// Valid 
void foo(List<? super Bar> list) 

Wie in Kommentaren notiert, ist es möglich, mehrere oberen Grenzen - aber nur für Typparameter und Cast-Ausdrücke. Zum Beispiel:

// Valid 
<T extends Number & Comparable> void foo(List<T> list) 

Answer 2

Von Oracle's tutorial:

Hinweis: Sie können eine Obergrenze für einen Platzhalter angeben, oder Sie können eine untere Grenze angeben, aber Sie können nicht beide angeben.