टी contravariantly मान्य होना चाहिए

Question

इसके साथ क्या गलत है?

interface IRepository<out T> where T : IBusinessEntity 
{ 
    IQueryable<T> GetAll(); 
    void Save(T t); 
    void Delete(T t); 
} 

इसे कहते हैं:

अमान्य विचरण: प्रकार पैरामीटर 'टी' 'MyNamespace.IRepository.Delete (टी)' पर contravariantly मान्य होना चाहिए। 'टी' कॉन्वर्सेंट है।

Answer 1

पर विचार करें तो क्या होगा संकलक की अनुमति दी है कि:

interface IR<out T> 
{ 
    void D(T t); 
} 

class C : IR<Mammal> 
{ 
    public void D(Mammal m) 
    { 
     m.GrowHair(); 
    } 
} 
... 
IR<Animal> x = new C(); 
// legal because T is covariant and Mammal is convertible to Animal 
x.D(new Fish()); // legal because IR<Animal>.D takes an Animal 

और तुम सिर्फ एक मछली पर बाल बढ़ने की कोशिश की।

"आउट" का अर्थ है "टी केवल आउटपुट स्थितियों में उपयोग किया जाता है"। आप इसे इनपुट स्थिति में उपयोग कर रहे हैं।

Answer 2

निम्नलिखित दो तरीकों गलत कर रहे हैं:

void Save(T t); 
void Delete(T t); 

आप T विधि तर्क के रूप में नहीं हो सकता। केवल सामान्य प्रकार की वापसी के रूप में यदि आप अपनी सामान्य परिभाषा में इसे covariant (out T) होना चाहते हैं।

या आप contravariance तो आप केवल विधि तर्क के रूप में सामान्य पैरामीटर का उपयोग और नहीं लौट प्रकार सकता है चाहते हैं:

interface IRepository<in T> where T : IBusinessEntity 
{ 
    void Save(T t); 
    void Delete(T t); 
} 

Answer 3

आप एक out प्रकार पैरामीटर केवल contravariantly अर्थात वापसी प्रकार में उपयोग कर सकते हैं,। इसलिए, IQueryable<T> GetAll() सही है, लेकिन void Delete(T t) नहीं है।

T के बाद से दोनों सह प्रयोग किया जाता है और contravariantly अपनी कक्षा में, आप out यहाँ (और न ही in) का उपयोग नहीं कर सकते हैं।

यहां कुछ पृष्ठभूमि है: Covariance and Contravariance (Wikipedia)।