javac error: ¿tipos inconvertibles con genéricos?

generics compiler-errors

Question

Hay varias otras preguntas de SO que hablan sobre los genéricos que compilan OK con el compilador de Eclipse pero no javac (es decir, Java: los genéricos se manejan de manera diferente en Eclipse y javac y Generics compila y ejecuta en Eclipse, pero no se compila en javac ). Como uno ligeramente diferente.

Tengo una clase de enum :

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

y tengo otra clase con un método que toma objetos arbitrarios de tipos descendientes de 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;
    ...

Esto funciona bien en Eclipse, pero cuando hago una compilación construida con ant , obtengo un par de errores, uno en la línea de instanceof y el otro en la línea de lanzamiento:

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]                                                  ^

¿Por qué sucede esto y cómo puedo solucionar este problema para que se compile correctamente?

Answer 1

No sé por qué está sucediendo, pero una solución es fácil:

@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;
    ...

Es feo, pero funciona ...

Answer 2

Para utilizar instanceof ambos operandos tienen que heredar / implementar la misma clase / interfaz.
E simplemente no se puede convertir a LogEvent.Type

No sé cómo se ve tu método completo, pero esto debería resolver tu problema usando interfaces y no Genéricos.

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

Quizás sea porque has declarado E como algo que extiende Enum <E>. No puedo decir que lo entiendo completamente, pero parece que limita el conjunto de tipos a algún subconjunto que no puede incluir LogEvent.Type por algún motivo. O tal vez es sólo un error en el compilador. Estaría feliz si alguien pudiera explicarlo más claramente, pero esto es lo que puedes hacer:

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

Esto funciona y es más elegante que simplemente lanzar a un objeto.

Answer 4

Tuve un problema similar y actualicé de jdk1.6.0_16 a jdk1.6.0_23 y se fue sin ningún cambio de código.