जे # जेनरिक के साथ ओवरलोडिंग: बग या फीचर?

Question

चलिए निम्नलिखित सरलीकृत उदाहरण हैं:

void Foo<T>(IEnumerable<T> collection, params T[] items) 
{ 
    // ... 
} 

void Foo<C, T>(C collection, T item) 
    where C : ICollection<T> 
{ 
    // ... 
} 

void Main() 
{ 
    Foo((IEnumerable<int>)new[] { 1 }, 2); 
} 

कंपाइलर कहता है:

प्रकार 'System.Collections.Generic.IEnumerable' सामान्य प्रकार या विधि में प्रकार पैरामीटर 'सी' के रूप में उपयोग नहीं किया जा सकता है 'UserQuery.Foo (सी, टी)'। 'System.Collections.Generic.IEnumerable' से 'System.Collections.Generic.icollection' से कोई अंतर्निहित संदर्भ रूपांतरण नहीं है।

अगर मैं Main को बदलता हूं:

void Main() 
{ 
    Foo<int>((IEnumerable<int>)new[] { 1 }, 2); 
} 

यह ठीक काम करेगा। क्यों संकलक सही अधिभार का चयन नहीं करता है?

Answer 1

आपके प्रश्न का उत्तर यहां दिया गया है।

http://blogs.msdn.com/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx

कृपया यह भी लगभग एक लाख की टिप्पणियां मुझे बता कि मैं इस मुद्दे पर कुछ दिलचस्प अतिरिक्त टिप्पणी के लिए गलत हूँ पढ़ें।

Answer 2

मेरा अनुमान है कि संकलक सामान्य बाधा का उपयोग करने से पहले सबसे अच्छा मैच चुनता है। आपके उदाहरण में बाधा के साथ विधि बेहतर है क्योंकि इसमें params अंतिम पैरामीटर नहीं है।

संपादित करें - एरिक लिपर्ट ने इसे अपने उत्तर में पुष्टि की।