ऊपरी बाउंड के साथ मिलान कैप्चर पर टूटी हुई जांच टाइप करें?

Question

तरह

public class Play { 
    public static void main(String[] args) throws Exception { 
     outer(Integer.class, inner("abc")); 
    } 

    static <C> void outer(Class<C> c, List<? super C> s){ 
    } 

    static <C> List<C> inner(C c) { 
     return null; 
    } 
} 

एक कक्षा बनाएं और यह जावा 8 में कम्पाइल हो गया! (दोनों ग्रहण 4.5 और JDK1.8_25 में) https://ideone.com/Q9JLHP

ग्रहण में, सीमा सही ढंग से अनुमान लगाया जाता है, लेकिन कैसे कर सकता है outer के कब्जा Supplier<? super Integer> कभी तर्क Supplier<String> से संतुष्ट कर दिया गया ??

संपादित करें: यह स्पष्ट है कि यह जावा 8-विशिष्ट है और उदाहरण को कम भ्रमित कर दिया गया है।

Answer 1

inner("abc") कंपाइलर के विवेकानुसार, String के किसी भी सुपरटेप के Supplier के रूप में व्याख्या किया जा सकता है। - उदाहरण के लिए,

Supplier<Object> inner = inner("abc"); 

काम करता है ठीक है, क्योंकि "abc"भी एक Object है। यही हो रहा है: inner आपको Supplier<Object> लौटा रहा है।