इंटरफ़ेस में covariant वापसी प्रकार javac

Question

के माध्यम से संकलन नहीं मैं निम्नलिखित संरचना है:

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 निम्न संदेश के साथ विफल रहता है:

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 

हालांकि, ग्रहण यह ठीक संकलन कर सकते हैं, और जहाँ तक जैसा कि मैं देख सकता हूं कि इसे संकलित करना चाहिए - FooBar की fooBar() विधि कॉन्वेंट रिटर्न का उपयोग करके Foo और Bar की fooBar() विधि दोनों के अनुबंध को संतुष्ट करती है।

क्या यह एक्लिप्स संकलन में या जावा में एक बग है? या क्या इसे संकलित करने के लिए जावैक को मनाने का कोई तरीका है? संदर्भ के लिए मेरे जावैक विकल्प इस तरह दिखते हैं:

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

आप अपने FooBar इंटरफ़ेस में Foo और Bar दोनों को विस्तारित कर रहे हैं। इस तरह आप असंगत रिटर्न प्रकारों के साथ दो विधियों को विरासत में ले रहे हैं। जावा सह-भिन्नता केवल तिलकोव प्रतिस्थापन के बाद ही अनुमति दी जाती है। उर्फ, ओवरराइडिंग उम्मीदवारों के प्रकार को ओवरराइड रिटर्न प्रकार का उप-वर्ग होना चाहिए।

इस चाहिए संकलन की तरह कुछ के ऊपर अपने उदाहरण में:

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) का कहना है:

यह एक अंतरफलक ओवरराइड-बराबर हस्ताक्षरों के साथ कई तरीकों के वारिस के लिए संभव है (§ 8.4.2)। ऐसी स्थिति में स्वयं संकलित-समय त्रुटि का कारण नहीं बनती है। इंटरफेस को पर सभी विधियों का वारिस माना जाता है। हालांकि, विरासत विधियों में से एक को किसी भी अन्य विरासत विधि के लिए प्रतिस्थापन योग्य होना चाहिए; अन्यथा, एक संकलन समय त्रुटि तब होती है (दॅ खंड इस मामले में नहीं कारण त्रुटियों कर फेंकता है।)

तो मैं कहूँगा कि javac सही है। लेकिन यह मेरे लिए वकील शब्दकोष की तरह दिखता है, इसलिए मैं गलत हो सकता था।

Answer 3

इस javaranch discussion में एक उत्तर यह सुझाव देता है कि यह एक जैविक बग है। हालांकि, संदर्भित bug url काम नहीं कर रहा है।

Answer 4

समाधान के लिए, आप

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

सुंदर नहीं कर सकता है, लेकिन चाल करना चाहिए।

Answer 5

मुझे एक ही समस्या थी और ओरेकल से जेडीके 7 का उपयोग करके यह ठीक लगता है।

Answer 6

यह bug in Sun's Java 6 compiler है।