covariante Tipo de retorno en la interfaz no compilar a través javac

Question

que tienen la siguiente estructura:

public interface BarReturn {} 
public interface FooReturn {} 
public interface FooBarReturn extends FooReturn, BarReturn {} 

public interface Foo { 
    FooReturn fooBar(); 
} 

public interface Bar { 
    BarReturn fooBar(); 
} 

public interface FooBar extends Foo, Bar { 
    FooBarReturn fooBar(); 
} 

javac un error con el siguiente mensaje:

FooBar.java:2: types Bar and Foo are incompatible; both define fooBar(), but with unrelated return types 
public interface FooBar extends Foo, Bar { 
    ^
1 error 

Sin embargo, Eclipse puede compilar bien, y en la medida de como puedo ver, debería compilarse: el método fooBar() de FooBar satisface el contrato del método fooBar() de Foo y Bar mediante el uso de retornos covariantes.

¿Es esto un error en la compilación Eclipse o en javac? ¿O hay una forma de convencer a javac para compilarlo? Como referencia, mis opciones de javac son las siguientes:

javac -d /tmp/covariant/target/classes -sourcepath /tmp/covariant/src/main/java: /tmp/covariant/src/main/java/Foo.java /tmp/covariant/src/main/java/BarReturn.java /tmp/covariant/src/main/java/FooBarReturn.java /tmp/covariant/src/main/java/Bar.java /tmp/covariant/src/main/java/FooReturn.java /tmp/covariant/src/main/java/FooBar.java -g -nowarn -target 1.6 -source 1.6 

Answer 1

Está ampliando tanto Foo como Bar en su interfaz FooBar. Como tal, estás heredando dos métodos con tipos de devolución incompatibles. La co-varianza de Java solo está permitida cuando sigue la sustitución de Liskov. Aka, los tipos de candidato principales deben ser una subclase del tipo de devolución anulada.

En el ejemplo anterior algo como esto debe de compilación:

public interface BarReturn {} 
public interface FooReturn {} 
public interface FooBarReturn extends FooReturn, BarReturn {} 

public interface Foo { 
    FooReturn fooBar(); 
} 

public interface FooBar extends Foo{ 
    FooBarReturn fooBar(); 
} 

Answer 2

The JLS (§9.4.1) dice:

Es posible para una interfaz de heredar varios métodos con firmas de anulación equivalente (§ 8.4.2). Tal situación no en el propio causa un error en tiempo de compilación. La interfaz se considera heredar todos los métodos. Sin embargo, uno de los métodos heredados debe debe ser de tipo de retorno sustituible por cualquier otro método heredado; de lo contrario, se produce un error en tiempo de compilación (La lanza cláusulas no causan errores en este caso.)

, así que diría que es javac derecha. Pero esto parece una jerga de abogado para mí, así que podría estar equivocado.

Answer 3

Una respuesta en este javaranch discussion parece sugerir que es un error de javac. Sin embargo, el referido bug url no parece funcionar.

Answer 4

Como solución alternativa, se podría hacer

interface Foo1 extends Foo { 
    FooBarReturn fooBar(); 
} 
interface Bar1 extends Bar { 
    FooBarReturn fooBar(); 
} 
public interface FooBar extends Foo1, Bar1 { } 

No es bonita, pero debe hacer el truco.

Answer 5

Tuve el mismo problema y parece estar bien al usar el JDK 7 de Oracle.

Answer 6

Esto es bug in Sun's Java 6 compiler.