Sun JDK 1.5 non può errore dereferenzia con i generici

Question

Abbiamo una gerarchia di classi simile a questo:

public class TestDereference { 
private static MainInterface mi = new MainInterfaceImpl(); 

public static void main(String[] args) { 
    System.out.println(mi.getSubInterface().getField()); 
} 
} 

interface MainInterface { 
<T extends SubInterface> T getSubInterface(); 
} 

interface SubInterface { 
Field getField(); 
} 

class Field { 
@Override 
public String toString() { 
    return "Hooray!"; 
} 
} 

class SubInterfaceImpl implements SubInterface { 
Field f = new Field(); 

public Field getField() { 
    return f; 
} 

} 

class MainInterfaceImpl implements MainInterface { 
SubInterfaceImpl si = new SubInterfaceImpl(); 

public <T extends SubInterface> T getSubInterface() { 
    return (T) si; 
} 
} 

Le interfacce sono in realtà più di un'implementazione, ma non è questo il problema. Compilare questo con il compilatore Eclipse o Java 1.6 funziona bene (come visto su ideone). Ma se provo a compilare questo con Java 1.5 (che è uno dei requisiti del nostro progetto) dà il seguente errore:

TestDereference.java:12: test.SubInterface cannot be dereferenced 
       System.out.println(mi.getSubInterface().getField()); 
                ^

Si noti inoltre che non accade con JDK 1.6 utilizzando -target 1.5 sia, solo con JDK 1.5

Gli unici casi in cui si verifica questo errore che ho trovato sul web sono legati a fare le cose in questo modo:

double d = 2.0; 
d.toString(); 

dove è evidente quale sia il problema.

Ma nel mio caso dovrebbe funzionare, poiché è chiaro che getSubInterface() restituisce una classe di implementazione SubInterface che dispone del metodo getField().

Quindi questo è un bug del compilatore? E quali opzioni ho oltre a fare mi.<SubInterface>getSubInterface() ogni volta (che funziona, ma dal momento che Eclipse non lo segnala come un errore, la maggior parte delle persone nel team dimentica di farlo, e la maggior parte di loro usa solo JDK 1.6 così non lo fanno notalo anche quando compili con maven/cmd line)?

Answer 1

controllo bug: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=5003431

Opzione uno:

SubInterface si = mi.getSubInterface(); 
si.getField(); 

Opzione due:

mi.<SubInterface>getSubInterface().getField() 

Answer 2

Immagino che questo sia un bug corretto in Java6.

Riscrivere il principale metodo renderà le cose funzionano sia Java5 e 6 come segue:

public static void main(String[] args) { 
    SubInterface subInterface = mi.getSubInterface(); 
    System.out.println(subInterface.getField()); 
} 

Sembra Java5 ha bisogno il compito di ricavare correttamente il tipo T, anche se è già dichiarata si estende SubInterface. Java6 gestisce questo correttamente e non ha bisogno del compito aggiuntivo.