hiệp biến Return Gõ vào giao diện không biên dịch qua Javac

Question

Tôi có cấu trúc sau:

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 không thành công với thông báo sau:

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 

Tuy nhiên, Eclipse có thể biên dịch nó tốt, và như xa như tôi có thể thấy nó nên biên dịch - FooBar của fooBar() phương pháp đáp ứng các hợp đồng của cả hai Foo và Bar của fooBar() phương pháp bằng cách sử dụng lợi nhuận covariant.

Đây có phải là lỗi trong bản dịch Eclipse hay trong javac không? Hoặc là có một cách để thuyết phục javac để biên dịch nó? Để tham khảo các tùy chọn javac của tôi trông giống như sau:

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

Bạn đang mở rộng cả Foo và Bar trong giao diện FooBar của mình. Như vậy bạn đang kế thừa hai phương thức với các kiểu trả về không tương thích. Java co-phương sai chỉ được phép khi nó sau Liskov thay thế. Aka, các loại ứng cử ghi đè phải là một lớp con của kiểu trả về bị ghi đè.

Trong ví dụ của bạn ở trên một cái gì đó giống như nên biên dịch này:

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) nói:

Có thể cho một giao diện kế thừa một số phương pháp với chữ ký ghi đè tương đương (§ 8.4.2). Tình huống như vậy không phải trong chính bản thân số gây ra lỗi biên dịch. Giao diện được xem là kế thừa tất cả các phương thức. Tuy nhiên, một trong các phương thức kế thừa phải là phải là kiểu trả về có thể thay thế được cho bất kỳ phương pháp được kế thừa nào khác; cách khác, một lỗi thời gian biên dịch xảy ra (The ném khoản không nguyên nhân sai sót trong trường hợp này.)

Vì vậy, tôi sẽ nói javac đó là đúng. Nhưng điều này trông giống như thuật ngữ luật sư với tôi, vì vậy tôi có thể sai.

Answer 3

Câu trả lời trong số javaranch discussion dường như gợi ý rằng đó là lỗi javac. Tuy nhiên, tham chiếu bug url dường như không hoạt động.

Answer 4

Là một khắc phục, bạn có thể làm

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

Không đẹp, nhưng nên làm các trick.

Answer 5

Tôi đã gặp vấn đề tương tự và có vẻ như tốt bằng cách sử dụng JDK 7 từ Oracle.

Answer 6

Đây là bug in Sun's Java 6 compiler.