क्या सी # में नेस्टेड जेनरिक को सरल बनाना संभव है?

Question

मुझे सी # में जेनेरिक पसंद है, लेकिन कभी-कभी उनके साथ काम करना थोड़ा जटिल हो सकता है। नीचे की समस्या मैं अब और फिर हर समय दौड़ता हूं। क्या इस परिदृश्य को सरल बनाने का कोई तरीका है? मैं कैसे नहीं देख सकते हैं, लेकिन मैं आशा करती हूं कि किसी को

कर सकते हैं :) तीन आधार वर्ग को देखते हुए:

public abstract class Inner 
{ 
} 

public abstract class Outer<T> 
    where T : Inner 
{ 
} 

public abstract class Handler<TOuter, TInner> 
    where TOuter : Outer<TInner> 
    where TInner : Inner 
{ 
    public abstract void SetValue(TInner value); 
} 

और कुछ सरल कार्यान्वयन:

public class In : Inner 
{ 
} 

public class Out : Outer<In> 
{ 
} 

public class HandleOut : Handler<Out, In> 
{ 
    public override void SetValue(In value) { } 
} 

अब मेरी सवाल यह है: के लिए HandleOut, TInner का प्रकार "आउट" प्रकार से दिया गया है, इसलिए HandleOut की परिभाषा को public class HandleOut : Handler<Out> जैसी परिभाषा को सरल बनाने का कोई तरीका है और अभी भीपर पैरामीटर के रूप में आंतरिक प्रकार का उपयोग करने में सक्षम होना है?

यह एक बहुत ही सरल उदाहरण है, लेकिन मुझे कभी-कभी परिभाषाओं में जेनेरिक प्रकारों की एक लंबी सूची मिलती है, जब आमतौर पर उन सभी को तर्कसंगत रूप से पहले प्रकार से घटाया जा सकता है। क्या कोई ऐसी चीज है जो मुझे याद आ रही है?

Answer 1

सं

जबकि इस तरह के निष्कर्ष शायद संभव हो जाना चाहिए, यह भाषाओं का का हिस्सा नहीं है। आप इसे Roslyn (एक नई समस्या खोलें) को सुझाव देने में रुचि रखते हैं। बेशक इस प्रकार की सामान्य बाधाओं की जटिलता जटिल मामलों में समस्या में पड़ सकती है, लेकिन कम से कम सरल लोगों के लिए यह करने योग्य है ... फिर भी, क्या सी # टीम को अपना समय और प्रयास करना चाहिए?

लिंक Why are generic constraints not inherited कि Damien_The_Unbelievershared on the comments स्थान पर है।

---

वैसे भी, कोड में अपने प्रस्तुत करते हुए यह जरूरी है कि पहले से ही आप Out प्रकार In, सामान्य पैरामीटर TOuter की जरूरत नहीं है देने के सच है।

निम्नलिखित कोड समान रूप से अच्छी तरह से काम करता है:

public abstract class Inner 
{ 
} 

public abstract class Outer<T> 
    where T : Inner 
{ 
} 

public abstract class Handler<TInner> // NOTE: TOuter removed 
    where TInner : Inner 
{ 
    public abstract void SetValue(TInner value); 
} 

public class In : Inner 
{ 
} 

public class Out : Outer<In> 
{ 
} 

public class HandleOut : Handler<In> // NOTE: Out removed 
{ 
    public override void SetValue(In value) { } 
} 

---

तो, TOuter के बजाय Outer<TInner> का उपयोग कर यदि आपको आवश्यकता पर विचार कर सकते। बेशक, यदि आप TOuter की सूची रखते हैं तो यह कम प्रतिबंधक होगा क्योंकि यह किसी भी व्युत्पन्न प्रकार Outer<TInner> किसी भी व्युत्पन्न प्रकार TOuter के बजाय अनुमति देगा।

चूंकि आपने सामान्य बाधा पर "नया" नहीं रखा है, इसलिए आप इस प्रकार की वस्तुएं नहीं बना रहे हैं, लेकिन यदि मामला आता है, तो आप कन्स्ट्रक्टर में Func<Outer<TInner>> स्वीकार कर सकते हैं।