भाषा स्कैला कैसे करें जो सीओआरआर पर चलने वाले कॉन्विएन्ट रिटर्न प्रकार और "असली" वर्ग भिन्नता की आवश्यकता है?

Question

सीएलआर covariant return types या full variance (i. ई। कक्षाओं, न केवल इंटरफेस और प्रतिनिधियों के लिए लागू) का समर्थन नहीं करता है, लेकिन सीएलआर को लक्षित करने वाली भाषाएं हैं जो इनमें से एक या दोनों सुविधाओं का उपयोग करती हैं।

क्या सीएलआर के लिए इस कार्यक्षमता को सक्षम करने के लिए कुछ व्यावहारिक कामकाज है या क्या ये भाषाएं किसी प्रकार की पुनर्लेखन/मिटा/तकनीक को अपने फीचर सेट का पूरी तरह समर्थन करने के लिए करती हैं?

Answer 1

संभवतः जावा जिस तरह से करता है (जावा 5 भाषा स्तर पर कॉन्वर्स रिटर्न का समर्थन करता है, लेकिन JVM इसका समर्थन नहीं करता है): कृत्रिम तरीकों को जोड़कर। यहाँ कैसे जावा यह करता है: कहते हैं कि तुम इस तरह एक वर्ग है:

class Foo implements Cloneable { 
    @Override 
    public Foo clone() { 
     // ... 
    } 
} 

परदे के पीछे, दोclone तरीकों उत्पन्न हो: public Foo clone() (जो वास्तविक कोड होता है), और public Object clone() (जो केवल परिणाम देता है पूर्व की)। बाद की विधि (जिसे संश्लेषित किया गया है) यह है कि clone विधि JVM स्तर पर ओवरराइड हो जाती है।