इंटरफेस कार्यान्वयन सुपर-क्लास

Question

विषय में सामान्य सवाल का एक व्यावहारिक उदाहरण के रूप में, मैं,

public boolean containsAll(Iterable<?> c) { /* ... */ } 

मैं समझ यह अनुमति दी जानी चाहिए साथ Set इंटरफ़ेस में containsAll विधि लागू करना चाहते हैं के बाद से CollectionIterable है जिसका अर्थ है containsAll इंटरफ़ेस आवश्यकता को कवर करेगा। इसी तरह, आमतौर पर बहस superclasses के साथ इंटरफेस को लागू करने में सक्षम होने लगता है जैसे यह काम करना चाहिए।

हालांकि, ग्रहण कोई रास्ता नहीं कहता है (केवल जावैक सीधे प्रयास नहीं किया है) - क्या कोई इसके कारण बता सकता है? मुझे यकीन है कि इस कल्पना में कुछ ऐसा है जो इसे बनाता है, लेकिन मैं आवश्यकता के लिए प्रेरणा को भी समझना चाहता हूं। या क्या मुझे Iterable<?> की तरह कुछ याद आ रहा है Collection<?> का सुपरक्लास नहीं है?

एक साइड सवाल के रूप में - दिया गया है कि मैं दो तरीकों की घोषणा कर रहा हूं Iterable हस्ताक्षर के साथ विधि हमेशा Collection तर्क के साथ कॉल पर प्राथमिकता दी जाएगी?

ग्रहण त्रुटि:

अगर मैं Collection हस्ताक्षर के साथ विधि, बस छोड़ने को दूर Iterable एक (त्रुटि के बाद देखें), मैं निम्नलिखित मिल:

The type BitPowerSet must implement the inherited abstract method Set<Long>.containsAll(Collection<?>)

सटीक कार्यान्वयन किया जा रहा है :

@Override public boolean containsAll(Collection<?> c) { 
    for (Object o : c) if (!contains(o)) return false; 
    return true; 
} 
public boolean containsAll(Iterable<?> c) { 
    for (Object o : c) if (!contains(o)) return false; 
    return true; 
} 

Answer 1

क्यों जावा इस प्रतिबंध है के रूप में मेरा अनुमान है, कहते हैं कि तुम है:

class A { 
    void foo(String s) { ... } 
} 

class B extends A { 
    // Note generalized type 
    @Override void foo(Object s) { ... } 
} 

अब अगर आप class C extends B है और यह foo ओवरराइड करने के लिए चाहता है, यह स्पष्ट नहीं है क्या तर्क यह लेना चाहिए।

कहते हैं उदाहरण के लिए C पहली बार में सीधे एक बढ़ाया, void foo(String s) अधिभावी, और फिर इसे इस मामले में बी का विस्तार करने के foo के सी के मौजूदा ओवरराइड अमान्य हो जाएगा, क्योंकि बी के foo सभी Object रों संभाल करने में सक्षम होना चाहिए, नहीं बदला गया था बस String एस।

Answer 2

चूंकि आप जिस इंटरफेस को लागू कर रहे हैं, वह (सार) घोषित करता है विधि containsAll(Collection<?>), आपको इसे इस सटीक हस्ताक्षर के साथ कार्यान्वित करना होगा। जावा आपको मूल से अधिक व्यापक पैरामीटर प्रकार के साथ एक विधि को कार्यान्वित/ओवरराइड करने की अनुमति नहीं देता है। यही कारण है कि जब आप Collection हस्ताक्षर के साथ अपनी विधि पर टिप्पणी करते हैं तो आपको वह त्रुटि मिलती है जो आप दिखाते हैं।

आप जिस त्रुटि को टिप्पणी नहीं करते हैं, उसे प्राप्त करने के लिए आप जिस अन्य त्रुटि का दावा करते हैं, उसे नहीं दिखाते हैं, लेकिन मुझे लगता है कि इसे संदिग्ध विधि ओवरलोडिंग के साथ कुछ करना पड़ सकता है।

Answer 3

तर्क प्रकार विधि हस्ताक्षर का हिस्सा हैं, इसलिए जेवीएम को ओवरराइड खोजने के लिए एक ही हस्ताक्षर के साथ एक विधि की आवश्यकता होती है। एक युक्त सभी (Iterable) में सभी (संग्रह) से भिन्न हस्ताक्षर होगा।

यदि मुझे सही याद है कि संकलक को इस सीमा के बावजूद जेनेरिक काम करने के लिए कुछ कामकाज का उपयोग करना है।

आपके दूसरे प्रश्न के लिए, कंपाइलर संग्रह तर्क पसंद करेगा क्योंकि यह इटेबल के उप-प्रकार है, इससे संग्रह विधि को इटेबल एक से अधिक विशिष्ट बनाता है।