क्षमा करें, लेकिन आप नहीं कर सकते।
वाइल्डकार्ड घोषणा का List<? extends Number> foo3
अर्थ है कि चर foo3
प्रकार के परिवार से किसी भी मूल्य को पकड़ सकता है (किसी विशिष्ट प्रकार के मूल्य के बजाय)। इसका अर्थ है कि इनमें से कोई भी कानूनी कार्य है:
List<? extends Number> foo3 = new ArrayList<Number>; // Number "extends" Number
List<? extends Number> foo3 = new ArrayList<Integer>; // Integer extends Number
List<? extends Number> foo3 = new ArrayList<Double>; // Double extends Number
तो, यह देखते हुए, List foo3
उपरोक्त संभावित ArrayList
असाइनमेंट के बाद आप किस प्रकार का ऑब्जेक्ट जोड़ सकते हैं, यह कानूनी होगा :
- आप जोड़ नहीं सकते
Integer
क्योंकि foo3
एक पर इंगित किया जा सकता है List<Double>
।
- आप जोड़ नहीं सकते
Double
क्योंकि foo3
एक पर इंगित किया जा सकता है List<Integer>
।
- आप जोड़ नहीं सकते
Number
क्योंकि foo3
एक पर इंगित किया जा सकता है List<Integer>
।
आप किसी भी वस्तु को नहीं जोड़ सकते List<? extends T>
क्योंकि आप इस बात की गारंटी नहीं दे सकते कि List
यह वास्तव में किस तरह की ओर इशारा कर रहा है, इसलिए आप इस बात की गारंटी नहीं दे सकते कि उस वस्तु की अनुमति है List
। एकमात्र "गारंटी" यह है कि आप इसे केवल पढ़ सकते हैं और आपको एक T
उप-वर्ग प्राप्त होगा T
।
रिवर्स लॉजिक super
उदाहरण के लिए लागू होता है List<? super T>
। ये कानूनी हैं:
List<? super Number> foo3 = new ArrayList<Number>; // Number is a "super" of Number
List<? super Number> foo3 = new ArrayList<Object>; // Object is a "super" of Number
आप विशिष्ट प्रकार T (जैसे Number
) को नहीं पढ़ सकते List<? super T>
क्योंकि आप इस बात की गारंटी नहीं दे सकते हैं कि List
यह वास्तव में किस तरह का है। आपके पास एकमात्र "गारंटी" है कि आप इंगित की जा रही सूची की अखंडता का उल्लंघन किए बिना प्रकार T
(या किसी भी उपवर्ग T
) का मूल्य जोड़ सकते हैं ।
इसका आदर्श उदाहरण निम्नलिखित है Collections.copy()
:
public static <T> void copy(List<? super T> dest,List<? extends T> src)
ध्यान दें कि src
सूची घोषणा का उपयोग किस प्रकार extends
मुझे संबंधित सूची प्रकारों के परिवार से किसी भी सूची को पारित करने की अनुमति देता है और फिर भी यह गारंटी देता है कि यह T के प्रकार T या उपवर्गों के मूल्यों का उत्पादन करेगा। लेकिन आप src
सूची में नहीं जोड़ सकते ।
dest
सूची घोषणा का उपयोग करता है super
मुझे संबंधित सूची प्रकार के एक परिवार से किसी भी सूची पारित करने के लिए अनुमति देने के लिए और अभी भी मुझे लगता है कि सूची में एक विशिष्ट प्रकार के टी के एक मूल्य लिख सकते हैं गारंटी। लेकिन यह विशिष्ट प्रकार के मूल्यों को पढ़ने के लिए गारंटी नहीं दी जा सकती है यदि मैं सूची से पढ़ता हूं।
तो अब, जेनरिक वाइल्डकार्ड के लिए धन्यवाद, मैं इनमें से किसी भी कॉल को उस एकल विधि से कर सकता हूं:
// copy(dest, src)
Collections.copy(new ArrayList<Number>(), new ArrayList<Number());
Collections.copy(new ArrayList<Number>(), new ArrayList<Integer());
Collections.copy(new ArrayList<Object>(), new ArrayList<Number>());
Collections.copy(new ArrayList<Object>(), new ArrayList<Double());
अपने दिमाग को व्यायाम करने के लिए इस भ्रामक और बहुत व्यापक कोड पर विचार करें। टिप्पणी की गई पंक्तियाँ अवैध हैं और यही कारण है कि रेखा के चरम दाईं ओर बताया गया है (उनमें से कुछ को देखने के लिए स्क्रॉल करने की आवश्यकता है:
List<Number> listNumber_ListNumber = new ArrayList<Number>();
//List<Number> listNumber_ListInteger = new ArrayList<Integer>(); // error - can assign only exactly <Number>
//List<Number> listNumber_ListDouble = new ArrayList<Double>(); // error - can assign only exactly <Number>
List<? extends Number> listExtendsNumber_ListNumber = new ArrayList<Number>();
List<? extends Number> listExtendsNumber_ListInteger = new ArrayList<Integer>();
List<? extends Number> listExtendsNumber_ListDouble = new ArrayList<Double>();
List<? super Number> listSuperNumber_ListNumber = new ArrayList<Number>();
//List<? super Number> listSuperNumber_ListInteger = new ArrayList<Integer>(); // error - Integer is not superclass of Number
//List<? super Number> listSuperNumber_ListDouble = new ArrayList<Double>(); // error - Double is not superclass of Number
//List<Integer> listInteger_ListNumber = new ArrayList<Number>(); // error - can assign only exactly <Integer>
List<Integer> listInteger_ListInteger = new ArrayList<Integer>();
//List<Integer> listInteger_ListDouble = new ArrayList<Double>(); // error - can assign only exactly <Integer>
//List<? extends Integer> listExtendsInteger_ListNumber = new ArrayList<Number>(); // error - Number is not a subclass of Integer
List<? extends Integer> listExtendsInteger_ListInteger = new ArrayList<Integer>();
//List<? extends Integer> listExtendsInteger_ListDouble = new ArrayList<Double>(); // error - Double is not a subclass of Integer
List<? super Integer> listSuperInteger_ListNumber = new ArrayList<Number>();
List<? super Integer> listSuperInteger_ListInteger = new ArrayList<Integer>();
//List<? super Integer> listSuperInteger_ListDouble = new ArrayList<Double>(); // error - Double is not a superclass of Integer
listNumber_ListNumber.add(3); // ok - allowed to add Integer to exactly List<Number>
// These next 3 are compile errors for the same reason:
// You don't know what kind of List<T> is really
// being referenced - it may not be able to hold an Integer.
// You can't add anything (not Object, Number, Integer,
// nor Double) to List<? extends Number>
//listExtendsNumber_ListNumber.add(3); // error - can't add Integer to *possible* List<Double>, even though it is really List<Number>
//listExtendsNumber_ListInteger.add(3); // error - can't add Integer to *possible* List<Double>, even though it is really List<Integer>
//listExtendsNumber_ListDouble.add(3); // error - can't add Integer to *possible* List<Double>, especially since it is really List<Double>
listSuperNumber_ListNumber.add(3); // ok - allowed to add Integer to List<Number> or List<Object>
listInteger_ListInteger.add(3); // ok - allowed to add Integer to exactly List<Integer> (duh)
// This fails for same reason above - you can't
// guarantee what kind of List the var is really
// pointing to
//listExtendsInteger_ListInteger.add(3); // error - can't add Integer to *possible* List<X> that is only allowed to hold X's
listSuperInteger_ListNumber.add(3); // ok - allowed to add Integer to List<Integer>, List<Number>, or List<Object>
listSuperInteger_ListInteger.add(3); // ok - allowed to add Integer to List<Integer>, List<Number>, or List<Object>
List<? extends Number>
"विभिन्न प्रकारों की वस्तुओं की सूची, जिसका सभी विस्तार करते हैंNumber
" का अर्थ नहीं है । इसका अर्थ है " एकल प्रकार की वस्तुओं की सूची जो फैली हुई हैNumber
"।