सी # भाषा जेनेरिकों को कब्रिस्तान होने से रोकती है जब तक कि उनमें कोई तरीका नहीं है जिसके लिए टी को इनपुट के रूप में आवश्यकता होती है?

Question

मैं उन परिवर्तनों पर पढ़ रहा हूं जो .NET4.5 लाएंगे, और this ब्लॉग पोस्ट पर मैंने कुछ ऐसी चीज पर ठोकर खाई जिसे मैं न जानता था और न ही समझ गया था।

जब केवल पढ़ने के लिए संग्रह के कार्यान्वयन के बारे में बात, Immo Landwerth का कहना है:

दुर्भाग्य से, हमारी प्रकार प्रणाली टी covariant के प्रकार बनाने जब तक यह नहीं तरीकों कि एक इनपुट के रूप टी लेते हैं अनुमति नहीं है। इसलिए, हम IReadOnlyList को इंडेक्सऑफ विधि नहीं जोड़ सकते हैं। हम मानते हैं कि यह अल्पसंख्यक के समर्थन के मुकाबले एक छोटा बलिदान है।

मेरी स्पष्ट रूप से समझ सीमित से ऐसा प्रतीत होता है जैसे वह कह रहा है इसी क्रम में एक विधि है कि एक IReadOnlyList<Circle> में पास करके एक IReadOnlyList<Shape> की आवश्यकता है कॉल करने के लिए हमें सक्षम करने के लिए, हम एक IReadOnlyList<T>.IndexOf(T someShape) विधि नहीं हो सकता।

मुझे नहीं पता कि प्रकार प्रणाली इसे कैसे रोकती है। क्या कोई समझा सकता है?

Answer 1

मान लीजिए CircleIEquatable<Circle> लागू करता है। यह उपलब्ध होने पर IReadOnlyList<Circle>.IndexOf द्वारा स्वाभाविक रूप से उपयोग किया जाएगा। अब आप लिख सकते हैं:

IReadOnlyList<Circle> circles = ...; 
IReadOnlyList<Shape> shapes = circles; 
int index = shapes.IndexOf(new Square(10)); 

कि एक Square जो स्पष्ट रूप से एक बुरा विचार किया जाएगा Circle.Equals(Circle) को पारित करने के लिए कोशिश कर रहा हो जाएंगे।

नियम जो इनपुट स्थिति में T के मानों को लागू नहीं करते हैं "सी # 4 spec के खंड 13.1.3 में हैं। लॉट अधिक जानकारी के लिए आपको Eric Lippert's blog series on generic variance भी पढ़ना चाहिए।

Answer 2

ध्यान दें कि यह (यदि है कि अभी तक .NET में कार्यान्वित किया जाता है यकीन नहीं) सही, हो सकता है सिद्धांत रूप में, T के उपप्रकारों के लिए IndexOf परिभाषित करने के लिए:

class ReadOnlyList<+T> = { ... 
    Int IndexOf<U>(U elem) where T : U { ... } 
} 

यह दिलचस्प कारण है कि IndexOf(T elem) होगा देखने के लिए जाहिर तौर पर कॉन्वेंट नहीं है, जबकि यह एक है: यदि आपके पास T2 : T1 है, तो एक विधि IndexOf(T1 elem) हस्ताक्षर IndexOf(T2 elem) हस्ताक्षर के साथ संगत नहीं हो सकता है। इसके विपरीत, यदि आपके पास IndexOf<U>(U elem) where T1 : U है, तो आप जानते हैं कि T2 : T1 और T1 : U, इसलिए आपके पास T2 : U भी ऐसे सभी U के लिए है: यह प्रकार IndexOf<U>(U elem) with T2 : U का उप-प्रकार है।

यह टिप्पणी, उदाहरण के लिए, 2006 के लेख Variance and Generalized Constraints for C# Generics में एमीर, केनेडी, रूसो और यू द्वारा: वे एक प्रकार की प्रणाली पेश करते हैं जो इस परिभाषा को स्वीकार करेगी।

Answer 3

चूंकि IReadOnlyList<T> कॉन्वर्सेंट है, तो आप इसे T के किसी भी सुपरटेप में डाल सकते हैं और सभी विधियों को अभी भी अनुबंध के अनुसार काम करना चाहिए। T का सबसे सुपर सुपरटेप Object है, इसलिए IndexOf इंटरफ़ेस का हिस्सा थे, तो इसे Object स्वीकार कर लेना चाहिए था।

जैसा कि जॉन स्कीट Circle ऑब्जेक्ट्स की सूची में बताता है, तो आप पूछ सकते हैं: इस सूची में किसी विशेष Square की अनुक्रमणिका क्या है? एकमात्र सही प्रतिक्रिया "यह यहां नहीं है," और IndexOf को वापस लौटना चाहिए और अपवाद नहीं फेंकना चाहिए।

तो, मैं जॉन स्कीट से सहमत नहीं हूं।

int IndexOf(object item); 

वास्तव में एक ही तर्क IReadOnlyCollection में Contains पर लागू होता है: जब आप एक वस्तु में पारित covariant सामान्य मापदंडों की सीमाओं को देखते हुए, और ArrayList.indexOf in Java के समान है, बीसीएल टीम निम्नलिखित हस्ताक्षर के साथ एक विधि IndexOf शामिल किया जाना चाहिए था एक असंगत प्रकार के, संग्रह में स्पष्ट रूप से यह शामिल नहीं है और विधि को false वापस करना चाहिए।

एकमात्र नकारात्मक मूल्य मूल्य प्रकारों का मुक्केबाजी होगा, लेकिन वास्तविक कार्यान्वयन अभी भी IReadOnlyList.IndexOf विधि को छुपा सकता है और यह तर्क उत्पन्न करने के लिए अपना स्वयं का सामान्य अधिभार प्रदान कर सकता है।

तो, आप IndexOf की अपेक्षा करने में सही हैं, जब एक असंगत वस्तु पारित की जाती है, तो यह इंटरफ़ेस पर होती है।

---

मैं दिखाने के लिए कि यह कैसे व्यवहार में काम करेगा मेरी M42.Collections पुस्तकालय में इस सिद्धांत को लागू किया। आप इसे यहां डाउनलोड कर सकते हैं:

M42 Collections - पोर्टेबल .NET लाइब्रेरी संग्रह के साथ काम करने के लिए ठीक से काम करने के लिए।