C# जेनेरिक अतिभारित विधि भेजने अस्पष्ट

Question

मैं सिर्फ एक स्थिति मारा जहां एक विधि प्रेषण अस्पष्ट था और सोचा कि अगर किसी को भी किस आधार संकलक पर समझा सकता है (.NET 4.0.30319) क्या

interface IfaceA 
{ 

} 

interface IfaceB<T> 
{ 
    void Add(IfaceA a); 
    T Add(T t); 
} 

class ConcreteA : IfaceA 
{ 

} 

class abstract BaseClassB<T> : IfaceB<T> 
{ 
    public virtual T Add(T t) { ... } 
    public virtual void Add(IfaceA a) { ... } 
} 

class ConcreteB : BaseClassB<IfaceA> 
{ 
    // does not override one of the relevant methods 
} 

void code() 
{ 
    var concreteB = new ConcreteB(); 

    // it will call void Add(IfaceA a) 
    concreteB.Add(new ConcreteA()); 
} 

कॉल करने के लिए ओवरलोड चुनता है किसी भी मामले में, संकलक मुझे चेतावनी क्यों नहीं देता है या यह संकलित क्यों करता है? किसी भी उत्तर के लिए आपको बहुत बहुत धन्यवाद।

Answer 1

यह C# 4 specification की धारा 7.5.3.2 में नियमों का पालन करती ("बेटर समारोह सदस्य") द्वारा अपनी पसंद के लिए मजबूर कर सकते हैं।

पहला (ठीक है, यह देखने के बाद कि दोनों विधियां लागू) हमें तर्क प्रकारों से पैरामीटर प्रकारों में रूपांतरणों की जांच करने की आवश्यकता है। इस मामले में यह काफी सरल है क्योंकि केवल एक तर्क है। तर्क प्रकार के पैरामीटर प्रकार में रूपांतरण का कोई भी रूपांतरण "बेहतर" नहीं है क्योंकि दोनों ConcreteA से IfaceA में परिवर्तित हो रहे हैं। इसलिए यह मापदंड के अगले सेट, इस सहित पर जाता है:

अन्यथा, यदि सांसद MQ की तुलना में अधिक विशिष्ट पैरामीटर प्रकार है, तो सांसद MQ से बेहतर है। चलो {आर 1, आर 2, ..., आरएन} और {एस 1, एस 2, ..., एसएन} अप्रतिबंधित और अप्रत्याशित पैरामीटर प्रकार एमपी और एमक्यू का प्रतिनिधित्व करते हैं। SX से विशिष्ट: सांसद की पैरामीटर प्रकार से MQ के अधिक विशिष्ट हैं, प्रत्येक पैरामीटर के लिए, RX नहीं कम SX से विशिष्ट है, और, कम से कम एक पैरामीटर के लिए, RX SX की तुलना में अधिक विशिष्ट है

• एक प्रकार पैरामीटर गैर-प्रकार पैरामीटर से कम विशिष्ट है।
• ...

तो भले ही रूपांतरण समान रूप से अच्छा है, IfaceA सीधे (बल्कि प्रतिनिधियों के माध्यम से की तुलना में) का उपयोग कर अधिभार समझा जाता है "बेहतर" क्योंकि प्रकार का एक पैरामीटर IfaceA अधिक विशिष्ट है T प्रकार के पैरामीटर से।

इस व्यवहार पर चेतावनी देने के लिए कंपाइलर प्राप्त करने का कोई तरीका नहीं है - यह केवल सामान्य अधिभार समाधान है।

Answer 2

क्योंकि संकलक सबसे विशिष्ट पहले चुनता है।

यदि आप ऐसा तरह फोन क्या होता है:

void code() 
{ 
    var concreteB = new ConcreteB(); 

    IfaceA x = concreteB.Add(new ConcreteA()); 
} 

Answer 3

यह कुछ हद तक मुझे की याद दिलाता है "प्रकार निष्कर्ष एक-गो-गो" Jon Skeet's BrainTeaser में। आप संकलक पर भरोसा नहीं करना चाहते हैं, तो आप बुला Add<ConcreteA>(new ConcreteA())