अमान्य भिन्नता: प्रकार पैरामीटर 'टी' को 'UserQuery.IItem <T> .ememist' पर contravariantly मान्य होना चाहिए। 'टी' covariant

Question

विधि को संकलित किए जाने पर संपत्ति को त्रुटि क्यों मिलती है?

public interface IFoo {} 
public interface IBar<out T> where T : IFoo {} 

public interface IItem<out T> where T: IFoo 
{ 
    // IEnumerable<IBar<T>> GetList(); // works 
    IEnumerable<IBar<T>> ItemList { get; set; } // Error! 
} 

त्रुटि:

Invalid variance: The type parameter 'T' must be contravariantly valid on 'UserQuery.IItem<T>.ItemList'. 'T' is covariant.

Answer 1

आप संकलक त्रुटि मिलती है, क्योंकि आप एक संपत्ति गेटर (get) और एक सेटर (set) है। प्रॉपर्टी गेटटर के पास T है, इसलिए out काम करता है, लेकिन प्रॉपर्टी सेटर में T होगा, इसलिए इसे in संशोधक की आवश्यकता होगी।

क्योंकि आप T आप सेटर हटाने की जरूरत पर out है और यह संकलन होगा:

public interface IItem<out T> where T : IFoo 
{ 
    // IEnumerable<IBar<T>> GetList(); // works 
    IEnumerable<IBar<T>> ItemList { get; } // also works 
} 

यदि आपका T एक in सामान्य तर्क उसके बाद निम्न काम करेगा है:

public interface IItem<in T> where T : IFoo 
{ 
    IEnumerable<IBar<T>> ItemList { set; } 
} 

लेकिन आपके पास एक ही समय में दोनों (out,in) नहीं हो सकते हैं, इसलिए आपके पास गेटटर और एक सेटर के साथ सह/contravariant संपत्ति नहीं हो सकती है।

public interface ISubFoo : IFoo { } 

IItem<ISubFoo> item = //whatever 
item.ItemList = new List<IBar<IFoo>>>(); 

जो टाइप सुरक्षित नहीं है:

Answer 2

सेटर, क्योंकि अगर यह थे आप ऐसा करने में सक्षम हो जाएगा अनुमति नहीं है।