सी # कंपाइलर

Question

की जेनिक्स, विरासत, और असफल विधि संकल्प आज मैं एक संकलन मुद्दे में भाग गया जो मुझे परेशान करता था। इन दो कंटेनर वर्गों पर विचार करें।

public class BaseContainer<T> : IEnumerable<T> 
{ 
    public void DoStuff(T item) { throw new NotImplementedException(); } 

    public IEnumerator<T> GetEnumerator() { } 
    System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() { } 
} 
public class Container<T> : BaseContainer<T> 
{ 
    public void DoStuff(IEnumerable<T> collection) { } 

    public void DoStuff <Tother>(IEnumerable<Tother> collection) 
     where Tother: T 
    { 
    } 
} 

पूर्व परिभाषित करता है DoStuff(T item) और DoStuff <Tother>(IEnumerable<Tother>) विशेष रूप से के साथ बाद भार के यह सी # के covariance/contravariance के अभाव के आसपास पाने के लिए (4 जब तक मैंने सुना है)।

इस कोड

Container<string> c = new Container<string>(); 
c.DoStuff("Hello World"); 

एक नहीं बल्कि अजीब संकलन त्रुटि पूरी करता है। विधि कॉल से <char> की अनुपस्थिति पर ध्यान दें।

प्रकार 'चार' सामान्य प्रकार या विधि 'Container.DoStuff (System.Collections.Generic.IEnumerable)' के रूप में प्रकार पैरामीटर 'Tother' नहीं किया जा सकता। 'Char' से 'string' तक कोई मुक्केबाजी रूपांतरण नहीं है।

अनिवार्य रूप से, संकलक Container.DoStuff<char>(IEnumerable<char>) क्योंकि string औजार IEnumerable<char> में DoStuff(string) करने के लिए अपने कॉल जाम करने के बजाय BaseContainer.DoStuff(string) का उपयोग कर रहा है।

एक ही रास्ता है कि मैं इस संकलन बनाने के लिए मिल गया है व्युत्पन्न वर्ग के लिए DoStuff(T) जोड़ना है

public class Container<T> : BaseContainer<T> 
{ 
    public new void DoStuff(T item) { base.DoStuff(item); } 

    public void DoStuff(IEnumerable<T> collection) { } 

    public void DoStuff <Tother>(IEnumerable<Tother> collection) 
     where Tother: T 
    { 
    } 
} 

क्यों संकलक IEnumerable<char> के रूप में एक स्ट्रिंग जाम करने जब 1) यह जानता है कि यह कर सकते हैं 'कोशिश कर रहा है टी (संकलन त्रुटि की उपस्थिति को देखते हुए) और 2) इसमें बेस क्लास में एक विधि है जो ठीक से संकलित करती है? क्या मैं सी # में जेनेरिक या वर्चुअल विधि सामग्री के बारे में कुछ गलत समझ रहा हूं? क्या new DoStuff(T item) से Container जोड़ने के अलावा कोई अन्य फ़िक्स है?

Answer 1

संपादित

ठीक है ... मुझे लगता है कि मैं अब अपने भ्रम की स्थिति को देखते हैं। आप उम्मीद करते थे कि DoStuff (स्ट्रिंग) को पैरामीटर को एक स्ट्रिंग के रूप में रखा होगा और बेसक्लास विधि सूची को पहले उपयुक्त हस्ताक्षर की तलाश में चला गया था, और किसी अन्य प्रकार के पैरामीटर को डालने का प्रयास करने के लिए उस फ़ॉलबैक को विफल कर दिया था।

लेकिन यह दूसरी तरफ हुआ ... इसके बजाय Container.DoStuff(string) चला गया, "वहां एक बेस क्लास विधि है जो कि बिल को फिट करती है, लेकिन मैं एक आईनेमरेबल में परिवर्तित करने जा रहा हूं और इसमें क्या उपलब्ध है इसके बारे में दिल का दौरा पड़ता है बजाय वर्तमान वर्ग ...

हममम ... मैं कर रहा हूँ यकीन है कि जॉन या मार्क इस विशेष कोने मामले

मूल

कवर विशिष्ट सी # युक्ति पैराग्राफ के साथ इस बिंदु पर झंकार करने में सक्षम होगा

दोनों तरीके एक आईनेमरेबल कर्नल की अपेक्षा करते हैं लीक्शन

आप एक व्यक्तिगत स्ट्रिंग पास कर रहे हैं।

संकलक कि स्ट्रिंग ले रही है और जा रहा है,

ठीक है, मैं एक स्ट्रिंग है, दोनों ही तरीकों से एक IEnumerable<T> उम्मीद करते हैं, तो मैं एक IEnumerable<char> में इस स्ट्रिंग बारी होगा ... हो गया

ठीक है, पहली विधि की जाँच करें ... हममम ... इस वर्ग के एक Container<string> है, लेकिन मैं एक IEnumerable<char> तो यह सही नहीं है की है।

चेक दूसरी विधि, हममम .... मैं एक IEnumerable<char> लेकिन चार स्ट्रिंग को लागू नहीं करता है तो यह है कि नहीं सही या तो ।

कंपाइलर त्रुटि

तो क्या # रों ठीक है, अच्छी तरह यह पूरी तरह से निर्भर करता है आपके क्या प्राप्त करना चाहते ... निम्न दोनों मान्य होगा, अनिवार्य रूप से, अपने प्रकार के उपयोग में सिर्फ सही नहीं है आपका अवतार

 Container<char> c1 = new Container<char>(); 
     c1.DoStuff("Hello World"); 

     Container<string> c2 = new Container<string>(); 
     c2.DoStuff(new List<string>() { "Hello", "World" }); 

Answer 2

मुझे लगता है कि इस तथ्य के साथ कुछ करना है कि char एक मान प्रकार है और स्ट्रिंग एक संदर्भ प्रकार है। ऐसा लगता है कि आप

TOther : T 

और char स्ट्रिंग से प्राप्त नहीं होते हैं।

Answer 3

कंपाइलर आईनेमेरेबल <T> पर पैरामीटर से मिलान करने का प्रयास करेगा। स्ट्रिंग प्रकार IENumerable <char> लागू करता है, इसलिए यह मानता है कि टी "char" है।

उसके बाद, कंपाइलर अन्य शर्त "जहां अन्य टी: टी" की जांच करता है, और वह स्थिति पूरी नहीं होती है। इसलिए संकलक त्रुटि।

Answer 4

मेरा GUESS, और यह एक अनुमान है क्योंकि मुझे वास्तव में पता नहीं है, यह पहली बार विधि कॉल को हल करने के लिए व्युत्पन्न कक्षा में दिखता है (क्योंकि आपका ऑब्जेक्ट व्युत्पन्न प्रकार का है)। यदि, और केवल अगर यह नहीं हो सकता है, तो यह इसे हल करने के लिए आधार वर्ग विधियों को देखने के लिए आगे बढ़ता है। आपके मामले में, क्योंकि यह

DoStuff <Tother>(IEnumerable<Tother> collection) 

ओवरलोड का उपयोग करके इसे हल कर सकता है, इसलिए इसे उसमें जाम करने की कोशिश की गई। तो यह पैरामीटर के संबंध में इसे हल कर सकता है, लेकिन फिर यह बाधाओं पर एक झगड़ा हिट करता है। उस बिंदु पर, यह पहले से ही आपके अधिभार को हल कर चुका है, इसलिए यह आगे नहीं दिखता है, लेकिन सिर्फ एक त्रुटि फेंकता है। सही बात?

Answer 5

के रूप में एरिक Lippert बताया गया है, संकलक DoStuff<Tother>(IEnumerable<Tother>) where Tother : T {} विधि को चुनता है, क्योंकि यह की कमी की जाँच से पहले तरीकों चुनता है। चूंकि स्ट्रिंग IEnumerable<> कर सकती है, इसलिए संकलक उस बच्चे वर्ग विधि से मेल खाता है। कंपाइलर सी # विनिर्देश में वर्णित अनुसार सही ढंग से काम कर रहा है।

आपके द्वारा इच्छित विधि समाधान आदेश को DoStuff को extension method के रूप में कार्यान्वित करके मजबूर किया जा सकता है। एक्सटेंशन तरीकों के बाद आधार वर्ग तरीकों जाँच की जाती है, तो यह DoStuff के IEnumerable<Tother> के खिलाफ string मैच के लिए जब तक के बाद यह DoStuff<T> के खिलाफ यह मैच के लिए कोशिश की है की कोशिश नहीं करेंगे।

निम्नलिखित कोड वांछित विधि समाधान आदेश, covariance, और विरासत प्रदर्शित करता है। कृपया इसे एक नई परियोजना में कॉपी/पेस्ट करें।

यह सबसे बड़ी नकारात्मक पक्ष मैं की अब तक सोच सकते हैं कि आप अधिभावी तरीकों में base उपयोग नहीं कर सकते, लेकिन मुझे लगता है कि चारों ओर तरीके (पूछते हैं कि आप रुचि रखते हैं) कर रहे हैं।

BaseContainer: 
     base 
Container: 
     base 
     Container.DoStuff<Tother>() 
ContainerChild: 
     base 
     Container.DoStuff<Tother>() 
ContainerChildWithOverride: 
     base 
     ContainerChildWithOverride.DoStuff<Tother>() 
Covariance Example: 
     Container.DoStuff<Tother>() 

आपके आस-पास इस काम के साथ कोई समस्या देख सकते हैं:

using System; 
using System.Collections.Generic; 

namespace MethodResolutionExploit 
{ 
    public class BaseContainer<T> : IEnumerable<T> 
    { 
     public void DoStuff(T item) { Console.WriteLine("\tbase"); } 
     public IEnumerator<T> GetEnumerator() { return null; } 
     System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() { return null; } 
    }   
    public class Container<T> : BaseContainer<T> { } 
    public class ContainerChild<T> : Container<T> { } 
    public class ContainerChildWithOverride<T> : Container<T> { } 
    public static class ContainerExtension 
    { 
     public static void DoStuff<T, Tother>(this Container<T> container, IEnumerable<Tother> collection) where Tother : T 
     { 
      Console.WriteLine("\tContainer.DoStuff<Tother>()"); 
     } 
     public static void DoStuff<T, Tother>(this ContainerChildWithOverride<T> container, IEnumerable<Tother> collection) where Tother : T 
     { 
      Console.WriteLine("\tContainerChildWithOverride.DoStuff<Tother>()"); 
     } 
    } 

    class someBase { } 
    class someChild : someBase { } 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      Console.WriteLine("BaseContainer:"); 
      var baseContainer = new BaseContainer<string>(); 
      baseContainer.DoStuff(""); 

      Console.WriteLine("Container:"); 
      var container = new Container<string>(); 
      container.DoStuff(""); 
      container.DoStuff(new List<string>()); 

      Console.WriteLine("ContainerChild:"); 
      var child = new ContainerChild<string>(); 
      child.DoStuff(""); 
      child.DoStuff(new List<string>()); 

      Console.WriteLine("ContainerChildWithOverride:"); 
      var childWithOverride = new ContainerChildWithOverride<string>(); 
      childWithOverride.DoStuff(""); 
      childWithOverride.DoStuff(new List<string>()); 

      //note covariance 
      Console.WriteLine("Covariance Example:"); 
      var covariantExample = new Container<someBase>(); 
      var covariantParameter = new Container<someChild>(); 
      covariantExample.DoStuff(covariantParameter); 

      // this won't work though :(
      // var covariantExample = new Container<Container<someBase>>(); 
      // var covariantParameter = new Container<Container<someChild>>(); 
      // covariantExample.DoStuff(covariantParameter); 

      Console.ReadKey(); 
     } 
    } 
} 

यहाँ उत्पादन है?

Answer 6

मैं तुम्हें क्या हासिल करने की कोशिश कर रहे हैं पर वास्तव में स्पष्ट नहीं कर रहा हूँ, क्या आप से रोक सिर्फ दो तरीकों, DoStuff(T item) and DoStuff(IEnumerable<T> collection)?