जेनेरिक प्रकार पैरामीटर

Question

के साथ उपक्रम करना टी के आधार पर जेनेरिक क्लास से "सामान्य" होना संभव है, टी से अधिक सामान्य पर आधारित एक सामान्य वर्ग में?

उदाहरण के लिए, मेरे पास Derived नामक एक वर्ग है जो Base नाम की कक्षा से प्राप्त होती है। मैंने कभी कुछ इस तरह कर सकते हैं:

List<MyClonableType> specific = new List<MyClonableType>(); 
List<IClonable> general = (List<IClonable>)specific; 

के रूप में यहाँ लिखा, इन उदाहरणों में से प्रत्येक एक InvalidCastException के साथ विफल:

List<Derived> der = new List<Derived>(); 
List<Base> bas = (List<Base>) der; 

या, इंटरफेस का उपयोग कर, यह कभी संभव कुछ इस तरह करना है। जिस प्रश्न के बारे में हम बहस कर रहे हैं वह यह है कि क्या यह वास्तव में असंभव है, या बस एक वाक्यविन्यास त्रुटि है जिसे ठीक किया जा सकता है अगर हम जानते थे कि कैसे।

Answer 1

C# 4.0 will have that feature.

यह इंटरफेस और प्रतिनिधियों जो कुछ नियमों का पालन करना पर सक्षम हो जाएगा। List<T> समर्थित नहीं होगा, क्योंकि यह एक ठोस वर्ग है। IList<T> भी समर्थित नहीं होगा, क्योंकि इसकी विधियां दोनों in और out दोनों स्थितियों में उपयोग करती हैं।

Answer 2

वहाँ अच्छा LINQ विस्तार है:

der.ToList<Base>(); 

Answer 3

यह

List<Derived> der = new List<Derived>(); 
List<Base> bas = (List<Base>)der; 

संभव नहीं है और संभव नहीं होना चाहिए। यहां क्या होता है:

Base b = new Base(); 
bas.Add(b); 

Kaboom! क्या होता है यदि उपरोक्त कानूनी bas केवल der और der देखें Base के उदाहरण नहीं जोड़ सकते हैं जो Add ऐसा करने का प्रयास करेगा। (स्थूलता के लिए, Base रूप Animal और Derived रूप Cat के बारे में सोच, क्योंकि तब आप casted सूची Dog का एक उदाहरण जोड़ सकता है जो यह वास्तव में एक List<Cat> है क्योंकि विफल हो जाएगा यदि आप एक List<Animal> करने के लिए एक List<Cat> डाली नहीं कर सकते।)

इसी कारण से

List<MyClonableType> specific = new List<MyClonableType>(); 
List<IClonable> general = (List<IClonable>)specific; 

कभी भी संभव नहीं होना चाहिए।

C# 4.0 में इनमें से कुछ मुद्दों को covariance and contravariance की धारणा के साथ हल किया जाएगा। उदाहरण के लिए, सी # 4.0 में यह कानूनी हो जाएगा:

List<Derived> der = new List<Derived>(); 
IEnumerable<Base> bas = der; 

इसका कारण यह है IEnumerable<Base> केवल Base के उदाहरण बाहर थूक और के बाद से सभी Derived रों हैं Base रों यह ठीक है। एक और तरीका कहा, IEnumerable<Base> कहता है, "मुझे पता है कि Base के उदाहरणों को कैसे फेंकना है" जबकि List<Derived> कहता है, "मुझे पता है कि Derived के उदाहरणों को कैसे फेंकना है।"लेकिन सभी Derived एस Base एस हैं, इसका मतलब है कि List<Derived> यह भी जानता है कि Base के उदाहरणों को कैसे फेंकना है। इसलिए, इसे IEnumerable<Base> के उदाहरण के लिए असाइन किया जाना चाहिए। यह सी # 4.0 में संभव है। सहप्रसरण का एक उदाहरण है।

मैं तनाव होना चाहिए कि List<T> तरह प्रकार जो तरीकों कि दोनों खाने T रों है के लिए और T यह संभव नहीं है एस थूक से बाहर।