¿Por qué Eclipse compila esto, pero javac no?

Question

Tenemos algunas pruebas unitarias que se compilan y ejecutan bien en Eclipse 3.4, pero cuando intentamos compilarlas usando javac, falla. He logrado reducir el código a algo pequeño y autónomo, por lo que no tiene dependencias externas. El código en sí no tiene mucho sentido porque es todo fuera de contexto, pero eso no importa - sólo hay que averiguar por qué javac no le gusta esto:

public class Test { 

    public void test() { 
     matchOn(someMatcher().with(anotherMatcher())); 
    } 

    void matchOn(SubMatcher matcher) {} 

    SubMatcher someMatcher() { 
     return new SubMatcher(); 
    } 

    Matcher anotherMatcher() { 
     return null; 
    } 
} 

interface Matcher <U, T> {} 

class BaseMatcher implements Matcher { 
    public BaseMatcher with(Matcher<?,?> matcher) { 
     return this; 
    } 
} 

class SubMatcher extends BaseMatcher { 
    @Override 
    public SubMatcher with(Matcher matcher) { 
     return this; 
    } 
} 

He tratado con JDK 1.5.0_10 y 1.6.0_13, con el mismo resultado:

Test.java:6: matchOn(test.SubMatcher) in test.Test cannot be applied to (test.BaseMatcher) 
       matchOn(someMatcher().with(anotherMatcher())); 
       ^
1 error 

creo que esto es perfectamente válido de Java. El método SubMatcher.with() devuelve un tipo más específico que BaseMatcher.with(), pero el compilador parece pensar que el tipo de devolución es BaseMatcher. Sin embargo, es posible que el compilador de Eclipse esté permitiendo incorrectamente algo que no debería ser.

¿Alguna idea?

Answer 1

en BaseMatcher es necesario que especifique los parámetros de tipo:

public SubMatcher with(Matcher<?, ?> matcher) { 

con el fin de permitir que javac para que coincida con su método de with

PS

en mi humilde opinión es un error del compilador Eclipse

Answer 2

Compruebe con qué jre o jdk está compilando tanto en Eclipse como en el terminal. Tal vez podría ser el problema de versión.

Answer 3

Funciona para mí:

 
$ java -version 
openjdk version "1.7.0-internal" 
OpenJDK Runtime Environment (build 1.7.0-internal-****-2009_07_23_10_21-b00) 
OpenJDK 64-Bit Server VM (build 16.0-b06, mixed mode) 
$ javac -XDrawDiagnostics Test.java 
$ 

Recuerdo vagamente un informe de errores, pero no puedo darle un enlace ahora.

Answer 4

lo hice construir con éxito mediante la adición de <?,?>-Matcher en SubMatcher.with:

class SubMatcher extends BaseMatcher { 
    @Override 
    public SubMatcher with(Matcher<?,?> matcher) { 
     return this; 
    } 
} 

Sin esto, la firma del método es diferente de la base. Me pregunto si hay un error en la comprobación @Override que no se da cuenta de esto.