स्ट्रिंग एक संकलन त्रुटि

Question

मुझे पता है के रूप में बिना एक सूची को सौंप दिया जाता है, जावा में जेनरिक के मुख्य उद्देश्यों में से एक प्रदान कर रहा है संकलन-समय प्रकार सुरक्षा। यदि यह संकलित हो जाता है, तो कोड बिना किसी समस्या के चलाएगा।

तो फिर निम्नलिखित कोड संकलित किया जा रहा है?

public static void main(String[] args) { 
    String s = getList(); 
} 

private static <T extends List> T getList() { 
    return (T)new ArrayList(); 
} 

यह ठीक संकलित करता है। मेरा प्रकार-सुरक्षित संकलन कहां है? getList() विधि में String कक्षा के साथ कुछ भी सामान्य नहीं है।

Answer 1

यह एक प्रकार विलोपन समस्या से प्रति, लेकिन लगभग विपरीत नहीं है: जब सिस्टम वास्तविक प्रकार जानता है आप क्रम में एक समस्या हो,, लेकिन संकलन समय पर नहीं। इस संकलन का कारण यह है कि List एक इंटरफ़ेस है। जहां तक ​​संकलक का संबंध है, String का एक उपवर्ग वास्तव में उस इंटरफ़ेस को लागू सकता है, इसलिए संकलक कारण है कि वैध क्रम स्थितियों हो सकता है, जहां वास्तविक वस्तु लौटे एक String भी एक List है। संकलक इस बात पर विचार नहीं करता है कि स्ट्रिंग अंतिम है, और इस प्रकार वास्तव में List बनाने के लिए असंभव है-String कक्षा को कार्यान्वित करना असंभव है।

क्यों अंतिम संकलन के दौरान नहीं माना जाता है के रूप में, सवाल का बोहेमियन की टिप्पणी एक अच्छा विवरण देता है।