जावा 7 जेनेरिक प्रकार अनुमान: वापसी मूल्य बनाम विधि तर्क

Question

क्यों कंपाइलर फ़ंक्शन रिटर्न प्रकार के मामले में String टाइप पैरामीटर का सही ढंग से अनुमान लगाने में सक्षम है।

public class Generics { 
    public static void main(String[] args) { 
     method(new ArrayList<>()); 
    }  

    private static void method(List<String> list) { 

    } 
} 

इस मामले में त्रुटि है:

public class Generics { 
    private static List<String> function() { 
     return new ArrayList<>(); 
    } 
} 

लेकिन जब प्रकार अनुमान लगाने के लिए यह असफल एक विधि पैरामीटर है

The method method(List<String>) in the type Generics is not applicable 
for the arguments (ArrayList<Object>) 

Answer 1

यह स्थानों में से एक है, जहां प्रकार निष्कर्ष है अभी तक उम्मीद के रूप में काम नहीं करता है।

दुर्भाग्यवश यह व्यवहार पूरी तरह से मान्य और अनुरूप है।

यह उचित है कि संकलक प्रकार अनुमान लगाने के लिए सक्षम होना चाहिए लगता है जब परिणाम:

अच्छी खबर यह है कि Java 8, improved type inference (JEP 101) शामिल होंगे तो इन परिस्थितियों संकलन चाहिए आप इसकी अपेक्षा बस के रूप में है इस तरह के एक सामान्य विधि आविष्कार की एक और विधि [...] को पारित किया जाता है।

दुर्भाग्यवश, जेडीके 5/6/7 में इसकी अनुमति नहीं है - प्रोग्रामर के लिए उपलब्ध एकमात्र विकल्प एक स्पष्ट प्रकार-तर्क का उपयोग करना है।

अलावा प्रत्यक्ष सुधार (जिन्हें आप यहाँ उल्लेख की तरह अर्थात स्थितियों) से, यह परिवर्तन भी (प्रकार की जानकारी का एक बहुत कुछ लिखे बिना अर्थात) और अधिक कुशलता से Lambdas (JEP 126) का उपयोग करने में सक्षम होने के लिए आवश्यक है।

Answer 2

JLS में inferring unresolved type arguments पर अनुभाग जटिल है, लेकिन मैं समझता हूँ कि पहले मामले की हीरे की एक जगह है जहाँ यह एक काम रूपांतरण के अधीन है, जबकि दूसरे मामले में यह एक विधि में होता है में होता है आमंत्रण रूपांतरण, जो विभिन्न नियमों का पालन करता है।