errore javac: tipi non convertibili con generici?

Question

Ci sono molte altre domande SO che parlano di generici che compilano OK con il compilatore di Eclipse ma non javac (ad esempio Java: Generics handled differenlty in Eclipse and javac e Generics compiles and runs in Eclipse, but doesn't compile in javac) - tuttavia questo sembra leggermente diverso.

ho un enum classe:

public class LogEvent { 
    public enum Type { 
     // ... values here ... 
    } 
    ... 
} 

e ho un'altra classe con un metodo che prende in oggetti arbitrari di tipi discendenti da Enum:

@Override public <E extends Enum<E>> void postEvent(
    Context context, E code, Object additionalData) 
{ 
    if (code instanceof LogEvent.Type) 
    { 
     LogEvent.Type scode = (LogEvent.Type)code; 
    ... 

Questo funziona bene in Eclipse, ma quando eseguo una costruzione pulita con ant, ricevo un paio di errori, uno sulla riga instanceof, l'altro sulla linea di trasmissione:

443: inconvertible types 
    [javac] found : E 
    [javac] required: mypackage.LogEvent.Type 
    [javac]   if (code instanceof LogEvent.Type) 
    [javac]   ^

445: inconvertible types 
    [javac] found : E 
    [javac] required: com.dekaresearch.tools.espdf.LogEvent.Type 
    [javac]    LogEvent.Type scode = (LogEvent.Type)code; 
    [javac]            ^

Perché questo accade e come posso aggirare questo problema in modo che venga compilato correttamente?

Answer 1

Non so perché sta accadendo, ma una soluzione è facile:

@Override public <E extends Enum<E>> void postEvent(
    Context context, E code, Object additionalData) 
{ 
    Object tmp = code; 
    if (tmp instanceof LogEvent.Type) 
    { 
     LogEvent.Type scode = (LogEvent.Type)tmp; 
    ... 

E 'brutto, ma funziona ...

Answer 2

Per poter utilizzare instanceof entrambi gli operandi sono di ereditare/implementare la stessa classe/interfaccia.
E non può essere lanciato su LogEvent.Type

Non so come sia l'intero metodo, ma questo dovrebbe risolvere il problema utilizzando interfacce e non Generics.

public interface EventType { } 
public class LogEvent { 
    public enum Type implements EventType {} 
} 

public void postEvent(Context context, EventType code, Object additionalData) { 
    if(code instanceof LogEvent.Type) { 
    } 
} 

Answer 3

Forse è perché hai dichiarato e come qualcosa che si estende Enum <E>. Non posso dire di averlo capito completamente, ma sembra che limiti l'insieme dei tipi a qualche sottoinsieme che non può includere LogEvent.Type per qualche motivo. O forse è solo un bug nel compilatore. Sarei felice se qualcuno potrebbe spiegare più chiaramente, ma qui è quello che si può fare:

public <E extends Enum<?>> void postEvent(E code) 
{ 
    if (code instanceof LogEvent.Type) 
    { 
     LogEvent.Type scode = (LogEvent.Type)code; 
     ... 
    } 
    ... 

questo funziona ed è più elegante di una semplice fusione a un oggetto.

Answer 4

Ho avuto un problema simile e aggiornato da jdk1.6.0_16 a jdk1.6.0_23 e è andato via senza modifiche al codice.