जेनरिक प्रकारों का अनुमान लगाने के लिए सी # कंपाइलर कैसे प्राप्त करें?

Question

मैं निम्न विधि है:

public TResult Get<TGenericType, TResult>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

अभी, इस पद्धति का एक उपयोगकर्ता इस तरह इसका इस्तेमाल करने की है:

//Notice the duplicate int type specification 
int number = Get<SomeGenericType<int>, int>(); 

क्यों विधि defintion में TResult निर्दिष्ट करने के लिए मैं क्या ज़रूरत है? संकलक पहले से ही TResult जानता है क्योंकि मैंने इसे TGenericType में निर्दिष्ट किया है। आदर्श रूप में (यदि सी # संकलक एक छोटे से होशियार था), मेरे विधि इस प्रकार दिखाई देगा:

public TResult Get<TGenericType>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

तो उपयोगकर्ता बस इसे इस तरह इस्तेमाल कर सकते हैं:

//Much cleaner 
int number = Get<SomeGenericType<int>>(); 

वहाँ ऐसा करने के लिए एक रास्ता है मुझे क्या करने का मन है?

Answer 1

सी # विनिर्देश आधे प्रकार के तर्कों को घुमाने की अनुमति नहीं देता है। आपको या तो कंपाइलर को सभी प्रकार के तर्कों का अनुमान लगाने देना चाहिए (जो हमेशा आपके मामले में लागू नहीं होते हैं) या मैन्युअल रूप से उन सभी को निर्दिष्ट करते हैं।

अद्यतन (टिप्पणी करने के लिए उत्तर): क्या आप जानते हैं जब मैं आपके सवाल का जवाब देने के लिए एक निरपेक्ष सी # टीम पर नहीं कर रहा हूँ, मेरे अटकलें हैं कि अधिभार संकल्प की जटिलता (जो पहले से ही तो बहुत ही है कि यदि आप सी # विनिर्देश के उस खंड को पढ़ते हैं) तो महत्वपूर्ण रूप से बढ़ेगा यदि वे आधा प्रकारों का अनुमान लगाया जाना चाहते हैं और आधा नहीं (विशेष रूप से इस तथ्य पर विचार करना कि आप सामान्य तर्कों की संख्या से पूरी तरह से विधियों को अधिभारित कर सकते हैं)।

Answer 2

यह निर्भर करता है ...

तुम सिर्फ SomeGenericType<TResult> का उपयोग कर रहे हैं, तो आप कर सकते हैं:

public TResult Get<TResult>() where TResult : IConvertible { 
    SomeGenericType<TResult> myInstance = ... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

वहाँ जरूरी इस मामले में, वहाँ में पहले प्रकार डाल करने के लिए एक तरीका नहीं है । चूंकि आपका उदाहरण एक पैरामीटर के रूप में SomeGenericType<TResult> में स्पष्ट रूप से गुजर रहा है, यह सुझाव देता है कि यह संभव होगा।

अन्यथा, आपको अपने सभी सामान्य तर्कों को पूरी तरह से निर्दिष्ट करने की आवश्यकता है। दुर्भाग्य से, यह वही तरीका है जो सी # में है।