यह जावा फ़ंक्शन कहां से अपने सामान्य प्रकार का अनुमान लगाता है?

Question

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

public static void main(String[] args) { 
    System.out.print(get()); 
} 

public static <T> T get() 
{ 
    return (T) getObj(); 
} 

public static Object getObj() 
{ 
    return Boolean.FALSE; 
} 

Answer 1

प्रकार अनुमान callsite के आधार पर होता है।

हालांकि, टाइप करें केवल वापसी प्रकारों पर लागू होता है यदि वापसी मान किसी चर को असाइन किया गया हो। यह spec

में लिखा है विधि परिणाम एक संदर्भ में होता है जहां यह काम रूपांतरण के अधीन किया जाएगा, तो [...]

अन्यथा, किसी भी अनसुलझे प्रकार पैरामीटर हमेशा बन Object।
आपके उदाहरण में, यह काम करेगा, क्योंकि print(Object) अधिभार है।

दूसरी ओर, इस कोड को देखो: क्योंकि संकलक print() को देख पहले Object लौटने के रूप में get() infers

print(get()); 

public void print(Boolean x) { } 

public <T> T get() { 
    return (T) Boolean.FALSE; 
} 

यह एक संकलन त्रुटि दे देंगे।

Answer 2

कोड आप टी लिखा में बाध्य नहीं कुछ भी करने के लिए है। जब भी आप get विधि का आह्वान करते हैं तो जावा एक प्रकार को टी असाइन करेगा और यह उस प्रकार को देखेगा जिसे आप वापस पाने की उम्मीद कर रहे हैं ... लेकिन ऐसा लगता है कि अगर आप स्पष्ट रूप से घोषित करते हैं कि आप किस प्रकार की प्रतीक्षा कर रहे हैं। निम्न उदाहरण को देखो:

public static void jump(String a) { 
} 

public static <T> T get() { 
    return (T) null; 
} 

public static void main(String[] args) { 
    //This works quite well, generic parameter T is inferred to be String 
    String blah = get(); 
    jump(blah); 
} 

दूसरी ओर

public static void jump(String a) { 
} 

public static <T> T get() { 
    return (T) null; 
} 

public static void main(String[] args) { 
    //This doesn't work, Java does not bind T to anything hence Object is used... and no jump for object is found 
    jump(get()); 
} 

पर कम से कम इस यह कैसे जावा पर काम करता है 6.