सामान्य चर

Question

पर कास्टिंग मैं सामान्य और कास्टिंग समझता हूं लेकिन मैं सामान्य कास्टिंग को समझ नहीं पा रहा हूं। मैंने सोचा कि मैं केवल विशिष्ट प्रकार अप करने के लिए या नीचे inheritence पेड़ के माध्यम से डाल सकता है, लेकिन यह मुझे गलत साबित कर दिया:

ArrayList<?> cislo = (ArrayList<? extends Number>) new ArrayList<Integer>(); 

यह सबसे अच्छा उदाहरण नहीं हो सकता है, लेकिन उम्मीद है कि आप मेरी बात मिल जाएगा। यह कैसे काम करता है? किस प्रकार इसे कास्ट किया जाता है?

Answer 1

कलाकार अनावश्यक है।

कार्य

ArrayList<?> list = new ArrayList<Integer>(); 
ArrayList<? extends Number> list2 = new ArrayList<Integer>(); 

किसी भी स्पष्ट कास्टिंग की आवश्यकता नहीं है।

वाइल्डकार्ड प्रकार "क्या अधिक सामान्य" ठोस प्रकार से/"कम विशिष्ट" प्रकार के होते हैं, और upper bounded wildcard types (? extends Number की तरह) unbounded ones (?) की तुलना में अधिक विशिष्ट हैं।

वाइल्डकार्ड प्रकारों के बीच संबंधों के बारे में अधिक जानकारी Oracle Tutorial on Wildcards and Subtyping में मिल सकती है।

JLS इस निर्दिष्ट करने के प्रासंगिक भाग 4.10.2. Subtyping among Class and Interface Types

है एक सामान्य प्रकार घोषणा सी (एन> 0) को देखते हुए, पैरामिट्रीकृत प्रकार सी, जहां ती (1 ≤ मैं n ≤) के प्रत्यक्ष supertypes = टी 1, Fn ...,:

• डी, जहां विकास के लिए एक सामान्य प्रकार है जो सामान्य प्रकार सी और θ का एक सीधा महाप्रकार है प्रतिस्थापन [F1 है: एक प्रकार है, निम्न में से सभी कर रहे हैं : = Tn]।
• सी, जहां सी में टीआई (1 ≤ i ≤ n) (§4.5.1) शामिल है।

[...]

जो, 4.5.1. Type Arguments of Parameterized Types

एक प्रकार तर्क टी 1 एक अन्य प्रकार के तर्क टी 2 शामिल करने के लिए कहा जाता है, लिखा टी 2 < = टी 1 के लिए संदर्भित करता है, तो सेट टी 2 द्वारा दर्शाए गए प्रकारों का उल्लेखनीय रूप से निम्नलिखित नियमों के रिफ्लेक्सिव और ट्रांजिटिव क्लोजर के तहत टी 1 द्वारा निर्दिष्ट प्रकारों के सेट का एक सबसेट है (जहां <: सबटाइपिंग (§4.10) दर्शाता है:

• ? टी < = विस्तारित करता है? एस अगर टी <: एस

• ? टी < = विस्तारित करता है?

[...]

तो यह परिभाषा ArrayList<? extends Number> द्वारा ArrayList<Integer> और ArrayList<?> के महाप्रकार है कच्चे प्रकार को छोड़कर किसी भी ArrayList<> के महाप्रकार है।

एक प्रकार के चर के लिए असाइनमेंट जो सुपरर्ट टाइप है उसे कास्टिंग की आवश्यकता नहीं होती है।

---

एक डाली आवश्यक हो तो आप एक अलग तरह के कुछ प्रदान करना चाहते हैं है:

Object list = new ArrayList<Integer>(); 
//...somewhere else - the compiler does not know that list is always an ArrayList, but we tell it that we know what we are doing 
List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning, but works 

कि कलाकारों के बाद, आप जैसे कर सकते हैं सूची से तत्व प्राप्त करें और उन्हें Number एस के रूप में देखें। कलाकारों रनटाइम पर विफल हो जाएगा यदि आप फेंकने

java.lang.ClassCastException: java.util.HashSet cannot be cast to java.util.List

---

में समस्या आने पर शुरू करते हैं जो List<? extends Number>

Object list = new HashSet<Integer>(); 
    List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning 

की एक उप प्रकार नहीं है list संदर्भ के लिए कुछ और रन टाइम पर विफल रहता है आवंटित जब सामान्य प्रकार से मेल नहीं खाता:

List<String> stringList = new ArrayList<String>(); 
stringList.add("hi"); 
Object list = stringList; 
List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning, but (sadly) works 

Number n = numbers.get(0); //fails: java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Number 

ऐसा इसलिए होता है क्योंकि रनटाइम पर, सूची-प्रकार मिलानों का मिटा। भी the tutorial on erasure