को लागू करने नेस्टेड जेनेरिक इंटरफेस

Question

मैं निम्नलिखित वर्ग/इंटरफेस:

// Model 
public class A : IA { } 
// ModelLogic 
public class B : IB<A> { } 

// Model Interface 
public interface IA { } 
// ModelLogic Interface 
public interface IB<T> where T : IA { } 

मैं निम्नलिखित कोड का उपयोग कर एक नया उदाहरण बनाने की कोशिश:

IB<IA> foo = new B(); 

मैं निम्न त्रुटि हो रही है:

Cannot implicitly convert type 'B' to 'IB<IA>'. An explicit conversion exists (are you missing a cast?) 

क्या कोई यह बता सकता है कि यह क्यों संभव नहीं है?

Answer 1

ठीक है, के IContainer<T> साथ Aquarium साथ IAnimal साथ Fish साथ A, IA, B, और IB<T> की जगह करते हैं। - foo एक कंटेनर है कि किसी भी जानवर शामिल कर सकते हैं के रूप में लिखा गया

// Model 
public class Fish : IAnimal { } 
public class Tiger : IAnimal { } 
// ModelLogic 
public class Aquarium : IContainer<Fish> 
{ 
    public Fish Contents { get; set; } 
} 

// Model Interface 
public interface IAnimal { } 
// ModelLogic Interface 
public interface IContainer<T> where T : IAnimal 
{ 
    T Contents { get; set; } 
} 

IContainer<IAnimal> foo = new Aquarium(); // Why is this illegal? 
foo.Contents = new Tiger(); // Because this is legal! 

आप foo में एक टाइगर रख सकते हैं: और हम IContainer<T> के एक सदस्य है, और IAnimal की एक दूसरी कार्यान्वयन जोड़ देंगे। लेकिन आप केवल एक मछली को एक्वेरियम में डाल सकते हैं। चूंकि ऑपरेशंस आप Aquarium पर कानूनी रूप से प्रदर्शन कर सकते हैं IContainer<IAnimal> पर किए जा सकने वाले कार्यों की तुलना में अलग-अलग हैं, तो प्रकार संगत नहीं हैं।

सुविधा आप चाहते हैं सामान्य इंटरफ़ेस सहप्रसरण कहा जाता है और यह सी # 4 द्वारा समर्थित है, लेकिन आप संकलक है कि आप अपने मछली टैंक में एक बाघ डाल कभी नहीं होगा करने के लिए साबित करना है। आप क्या करना चाहते हैं: IB पर

// Model 
public class A : IA { } 
// ModelLogic 
public class B : IB<A> { } 

// Model Interface 
public interface IA { } 
// ModelLogic Interface 
public interface IB<out T> where T : IA { } 

सूचना सहप्रसरण एनोटेशन। यह out का अर्थ है कि T केवल आउटपुट के रूप में उपयोग किया जा सकता है, इनपुट के रूप में नहीं। यदि T केवल एक आउटपुट है तो किसी मछली के टैंक में बाघ डालने का कोई तरीका नहीं है क्योंकि वहां "संपत्ति" या विधि संभव नहीं है।

मैंने कई ब्लॉग लेख लिखे थे जबकि हम उस सुविधा को सी # में जोड़ रहे थे; यदि आप डिजाइन संबंधी कि सुविधा में चला गया में रुचि रखते हैं, देखें:

http://blogs.msdn.com/b/ericlippert/archive/tags/covariance+and+contravariance/

Answer 2

अपने कोड को ठीक करने के लिए, बस बदलने

public interface IB<T> where T : IA { } 

को

public interface IB<out T> where T : IA { } 

Answer 3

यह आसान नहीं है यह देखने के लिए कि आपके पास खाली इंटरफेस कब है।पर विचार करें आप इंटरफ़ेस आईबी में एक विधि एम है: यहाँ

public interface IB<T> where T : IA 
{ 
    void M(T t); 
} 

और बी के कार्यान्वयन है:

public class C : IA { } 

तो:

public class B : IB<A> 
{ 
    public void M(A t) 
    { 
     // only object of type A accepted 
    } 
} 

तो फिर तुम एक वस्तु को C, जो भी आइए लागू करता है

, यदि आपका कोड संभव होगा, तो आप कॉल कर सकते हैं:

IB<IA> foo = new B(); 
foo.M(new C()); 

समस्या यह है कि कक्षा बी केवल ए प्रकार की वस्तुओं को स्वीकार करता है त्रुटि!