Kovariant Dönüş Türü JavaC

Question

yoluyla derleme değil, aşağıdaki yapıya sahiptir:

Javac aşağıdaki iletiyle başarısız

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(); 
} 

: Ancak

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 

Eclipse ince derlemek ve bildiğim kadarıyla yapabilirsiniz Görebildiğim gibi - FooBar'ın fooBar() yöntemi, hem Foo hem de Bar'ın fooBar() yönteminin kontratını kovaryant geri dönüşler kullanarak karşılamaktadır.

Bu, Eclipse derlemesinde veya javac'ta bir hata mı? Ya da javac'ı derlemek için ikna etmenin bir yolu var mı? Başvuru için benim Javac seçenekleri şuna benzer: Sen filanca arayüzünde Foo ve Bar hem uzatıyoruz

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

. Bu nedenle, uyumsuz dönüş türleriyle iki yöntemi miras aldınız. Java ko-varyansına sadece Liskov ikamesi uygulandığında izin verilir. Aka, geçersiz aday türlerinin hemen hemen geçersiz kılma türünün bir alt sınıfı olması gerekir. Bu gerektiği derleme gibi bir şey yukarıdaki örnekte

:

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) diyor ki:

bir arayüz geçersiz_kılınacak_ip_numarası eşdeğer imzalarla çeşitli yöntemler miras mümkündür (§ 8.4.2). 'da böyle bir durumun kendisi bir derleme zamanı hatasına neden olmaz. Arabirim, tüm yöntemleri devraldığı için olarak kabul edilir. Ancak, devralınan yöntemlerden biri 'un diğer herhangi bir kalıtsal yöntem için döndürülebilir tür olması gerekir; aksi takdirde bir derleme zamanı hatası (maddeleri bu durumda değil neden hataları yapmak atar.)

Bu yüzden o Javac doğru olduğunu söyleyebilirim oluşur. Ama bu bana avukat jargonuna benziyor, bu yüzden yanılıyor olabilirim.

Answer 3

Bu javaranch discussion numaralı yanıtın bir cevabın bir javac hatası olduğunu varsayar gibi görünüyor. Ancak, başvurulan bug url görünmüyor.

Answer 4

bir çözüm olarak,

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

oldukça Değil yapabilirdi ama hile yapmak gerekir.

Answer 5

Aynı sorun vardı ve Oracle'dan JDK 7'yi kullanarak iyi görünüyor.

Answer 6

Bu, bug in Sun's Java 6 compiler numaralı telefon.