सी # 4

Question

पर काम नहीं कर रहे पॉलीमोर्फिक तरीके मैं बस एक बहुत ही रोचक समस्या पर ठोकर खाई। निम्नलिखित कोड दे:

using System; 

class Program 
{ 
    class A { } 
    class B : A { } 

    private static void MyMethod(A a) /* first method */ 
    { 
     Console.WriteLine("A"); ; 
    } 

    private static void MyMethod(B b) /* second method */ 
    { 
     Console.WriteLine("B"); 
    } 

    static void Main(string[] args) 
    { 
     var a = new A(); 
     // Call first method 
     MyMethod(a); 

     A b = new B(); 
     // Should call the second method 
     MyMethod(b); 

     Console.ReadLine(); 
    } 
} 

मैं उम्मीद होती है कि दूसरी विधि क्योंकि चर के क्रम प्रकार बी क्यों कोड पहली विधि के बजाय कॉल कोई भी विचार है बुलाया जाएगा?

धन्यवाद, Tibi

कुछ स्पष्टीकरण: बहुरूपता कई रूपों जो करने के लिए आप जहां प्रणाली की घोषणा कुछ भी नहीं है का मतलब है।

विधि अधिभार पॉलिमॉर्फिज्म का एक रूप है, ad-hoc polymorphism।

जिस तरह से पॉलिमॉर्फिज्म सामान्य रूप से देर से बाध्यकारी का उपयोग करके लागू किया जाता है।

गतिशील इस समस्या के लिए कामकाज है।

तथ्य यह है कि यह सी # (या जावा) में काम नहीं कर रहा है, यह एक डिज़ाइन निर्णय है जिसे मैं समझना चाहता हूं कि क्यों बनाया गया था, और कोई भी जवाब इस प्रश्न का उत्तर नहीं दे रहा है।

/Tibi

Answer 1

डिफ़ॉल्ट रूप से सी # में विधि अधिभार, संकलन समय पर स्थिर रूप से निर्धारित किया जाता है। चूंकि आप टाइप ए के स्थाई रूप से टाइप किए गए चर पारित कर रहे हैं, इसलिए यह स्थिर रूप से ए ओवरलोड के साथ विधि से जुड़ जाएगा। इच्छित व्यवहार प्राप्त करने के लिए गतिशील कीवर्ड का उपयोग करें।

static void Main(string[] args) 
{ 
    dynamic d = new A(); 
    // Call first method 
    MyMethod(d); 

    d = new B(); 
    // Call the second method 
    MyMethod(d); 

    Console.ReadLine(); 
} 

Answer 2

इस बहुरूपता का एक उदाहरण बिल्कुल नहीं है। ऑब्जेक्ट पर विधियों को कॉल करते समय पॉलीमोर्फिज्म खेलने के लिए आता है, जब ऑब्जेक्ट को पैरामीटर के रूप में उपयोग नहीं किया जाता है। यह विधि ओवरलोडिंग का एक साधारण उदाहरण है।

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

यदि आप इसे दूसरी विधि का उपयोग करने के लिए मजबूर करना चाहते हैं, तो विधि कॉल में बी टाइप करने के लिए बी को कास्ट करना चाहते हैं।

MyMethod((B)b); 

Answer 3

यह दूसरी विधि बुला नहीं है क्योंकि खुद b के संदर्भ प्रकार A की है। b में B के उदाहरण का संदर्भ शामिल है, यह वास्तविक प्रकार B नहीं है, इसलिए A संदर्भ का उपयोग करने वाले अधिभार को चुना गया है।