Warum beeinflusst die Verwendung von Rohtypvariablen Signaturen ohne Bezug auf Typparameter?

Question

Blick in einer anderen question ich in dieses faszinierende Verhalten der 1.8.0_112 Sun-Oracle-Compiler gestoßen (ich habe mit anderen nicht getestet):

import java.util.List; 

interface Alpha<T> { 
    List<Integer> intList(); 
} 

interface Beta { 
    List<Integer> intList(); 
} 

class Main { 

    public static void main(String[] args) { 

     Alpha rawAlpha = null; 
     Alpha<Character> charAlpha = null; 
     Alpha<?> qmAlpha = null; 
     Beta beta = null; 

     for (Integer i : charAlpha.intList()) {} 
     for (Integer i : qmAlpha.intList()) {} 
     for (Integer i : beta.intList()) {} 
     for (Integer i : rawAlpha.intList()) {} 
    } 
} 

Der Compiler nur for-Schleife in dem letzten fehlschlägt:

error: incompatible types: Object cannot be converted to Integer 
     for (Integer i : rawAlpha.intList()) {} 
            ^
1 error 

Also trotz dieser intList() Rückgabeliste Typ List<Integer> in Alpha hängt nicht von der Art Parameter T, so scheint es, dass die <Integer> Epochen Ed zur Kompilierzeit.

Beachten Sie, dass, wenn wir eine nicht-generische Schnittstelle Beta deklarieren, die theoretisch gleichbedeutend mit der Bezugnahme auf die rohe Alpha wäre, gibt es keine Probleme.

Ist dies das erwartete Verhalten? Kann jemand auf den Absatz über die Sprachspezifikation hinweisen, der diesen Punkt abdecken würde? Wenn dies kein Fehler ist, erscheint es zumindest anti-intuitiv und nicht-produktiv; vielleicht ist es der Vergleichbarkeit halber getan?

Answer 1

Die JLS Bit, das diese (etwas undeutlich) sagt, ist in JLS 4.8:

Der Typ einer Konstruktor (§8.8), Instanzmethode (§8.4, §9.4) oder nicht-statisches Feld (§8.3) ein rohen Typ C, die nicht von ihren Superklassen oder Superschnitt geerbt wird, ist der Typ, der roh in der generischen Deklaration der Löschung seiner Art entspricht

So C. entspricht, da rawAlpha a ist Rohtyp, der Typ rawAlpha.intList ist die Löschung List<Integer> intList(). Diese Löschung ist List intList().

Warum, ich habe kein Zitat praktisch, aber rohe Typen sind nur wirklich in Java für die Abwärtskompatibilität. Das bedeutet, dass sie nur so gut funktionieren müssen wie vor der Generik; Was Sie verlangen, ist Code, der nur ein bisschen besser funktioniert als früher. Es ist nicht unvernünftig, aber es ist nicht das, wofür sie sich entschieden haben. :-)