Eine schlechte Interaktion zwischen selbstreferentiellen Typen und begrenzten Wildcards

Question

Dieser Fall scheint ein anderer zu sein, in dem der Java-Compiler von Eclipse javac vernichtet. Die einzige Frage ist für mich, ob es sich um einen Bug in JLS oder Javac handelt.

interface EndoFunctor< C, FC extends EndoFunctor< C, FC > > { /*...*/ } 
interface Algebra< C, FC extends EndoFunctor< ? extends C, FC > > { /*...*/ } 

Die zweite Zeile stellt in Eclipse, aber nicht in javac mit der Meldung kompilieren, dass „Typ-Parameter FC nicht innerhalb seiner gebunden“.

FC wird deklariert, um EndoFunctor < zu erweitern? erweitert C, FC>, und die Grenze an FC ist, dass es EndoFunctor < D, FC> für die abgeleitete D erweitern, die in diesem Fall ist? erweitert C. Ich denke, javac erkennt nicht, dass der Platzhalter denselben unbekannten Typ in beiden Kontexten darstellt. Eclipse macht das zwar!

Offenbar folgende bekommt, um das Problem in javac:

interface EndoFunctor< C, FC extends EndoFunctor< ? extends C, FC > > { /*...*/ } 

aber dies ist eine lockere Definition als ich für diese Schnittstelle werden soll.

konnte ich auch versuchen,

interface Algebra< C, D extends C, FC extends EndoFunctor< D, FC > > 

aber dieser Ansatz zwingt mich überall durch, dass zusätzliche Parameter vom Typ D zu tragen.

Was ist zu tun?

Answer 1

Was ist zu tun?

Hier sind ein paar pragmatische Lösungen.

• Versuchen javac aus der aktuellen Patch-Version von Java 7. Ich erinnere mich an Anhörung bestimmter javac Compiler-Fehler in Java 6, die nur in Java 7 fixiert wurden mit ... aber ich weiß nicht, von einer Liste. (Und die Java Bugs Database ist hoffnungslos zu suchen ...)

• Ertragen Sie es, und verwenden Sie eine der beiden Alternativen, die Sie bereits gefunden haben, die "arbeiten".