कुछ सामान्य क्लास <? super T> जावा जेनेरिक प्रकारों में SomeClass <T> के बराबर क्यों नहीं है?

Question

मैंने संग्रह के लिए विशिष्टता देखी है।

public static <T> void sort(List<T> list, Comparator<? super T> c) 

"? super" क्यों आवश्यक है? यदि ClassBClassA को बढ़ाता है, तो क्या हमारे पास गारंटी नहीं होगी कि Comparator<ClassA> "? super" भाग के बिना, दो ClassB ऑब्जेक्ट्स की तुलना करने में सक्षम होगा?

दूसरे शब्दों में, यह कोड दिया गया है:

List<ClassB> list = . . . ; 
Comparator<ClassA> comp = . . . ; 
Collections.sort(list, comp); 

संकलक इतने स्मार्ट क्यों नहीं जानते हैं कि यह संग्रह .sort() की घोषणा के लिए "? super" निर्दिष्ट किए बिना भी ठीक है?

Answer 1

जोश ब्लोच ने इस वर्ष Google I/O पर एक बात की थी, जिसे Effective Java Reloaded कहा जाता है, जिसे आप दिलचस्प पाते हैं। यह "पेक्स" नामक एक नींबू के बारे में बात करता है (निर्माता extends, उपभोक्ता super), जो बताता है कि आप अपने इनपुट पैरामीटर में केवल ? extends T और ? super T का उपयोग क्यों करते हैं (केवल; कभी भी वापसी प्रकारों के लिए नहीं), और जब इसका उपयोग करना है।