क्या यह सी # 4 में एक कॉन्वर्स बग है?

Question

कोड के निम्नलिखित भाग में मुझे elements से baseElements पर अनुमानित रूप से डालने में सक्षम होने की उम्मीद है क्योंकि TBaseIBase पर स्पष्ट रूप से परिवर्तनीय है।

public interface IBase { } 
public interface IDerived : IBase { } 
public class VarianceBug 
{ 
    public void Foo<TBase>() where TBase : IBase 
    { 
     IEnumerable<TBase> elements = null; 
     IEnumerable<IDerived> derivedElements = null; 
     IEnumerable<IBase> baseElements; 

     // works fine 
     baseElements = derivedElements; 

     // error CS0266: Cannot implicitly convert type 
     // 'System.Collections.Generic.IEnumerable<TBase>' to 
     // 'System.Collections.Generic.IEnumerable<IBase>'. 
     // An explicit conversion exists (are you missing a cast?) 
     baseElements = elements; 
    } 
} 

हालांकि, मुझे टिप्पणी में उल्लिखित त्रुटि मिलती है।

कल्पना से हवाला देते हुए:

एक प्रकार T<A1, …, An> विचरण-परिवर्तनीय एक प्रकार T<B1, …, Bn> अगर T या तो एक इंटरफेस या एक प्रतिनिधि प्रकार संस्करण प्रकार पैरामीटर T<X1, …, Xn> साथ घोषणा की, और प्रत्येक संस्करण प्रकार पैरामीटर के लिए है करने के लिए है निम्न में से Xi एक रखती है:

• Xi covariant है और एक अंतर्निहित संदर्भ या पहचान रूपांतरणसे मौजूद हैBi को

• Xi contravariant है और एक अंतर्निहित संदर्भ या पहचान रूपांतरण Bi से करने के लिए Ai

• Xi अपरिवर्तनीय है मौजूद है और एक पहचान रूपांतरण Bi

जाँच करने के लिए Ai से मौजूद है मेरा कोड, यह spec के साथ संगत प्रतीत होता है:

• IEnumerable<out T> एक अंतरफलक प्रकार

• IEnumerable<out T> संस्करण प्रकार मानकों के साथ घोषित किया जाता है

• TTBase से IBase

को covariant

एक अंतर्निहित संदर्भ रूपांतरण मौजूद है

तो - क्या यह सी # 4 कंपाइलर में एक बग है?

Answer 1

भिन्नता केवल संदर्भ-प्रकारों के लिए काम करती है (या पहचान रूपांतरण है)। यह ज्ञात नहीं है कि TBase संदर्भ प्रकार है जब तक आप : class जोड़ें:

public void Foo<TBase>() where TBase : class, IBase 

के बाद से मैं एक लिख सकते हैं:

public struct Evil : IBase {} 

Answer 2

मार्क सही है - मैं तो बस के बारे में एक ही प्रतिक्रिया पेस्ट करने के लिए किया गया था।

देखें सहप्रसरण & contravariance पूछे जाने वाले प्रश्न:

http://blogs.msdn.com/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx

पूछे जाने वाले प्रश्न से:

"विचरण समर्थित है तभी एक प्रकार पैरामीटर एक संदर्भ प्रकार है।"

विचरण मूल्य प्रकार के लिए समर्थित नहीं है

निम्नलिखित संकलन नहीं करता है या तो:

// int is a value type, so the code doesn't compile. 
IEnumerable<Object> objects = new List<int>(); // Compiler error here.