मुझे स्पष्ट रूप से सामान्य पैरामीटर प्रकार क्यों प्रदान करना चाहिए जबकि संकलक को प्रकार का अनुमान लगाना चाहिए?

Question

मुझे स्पष्ट रूप से सामान्य पैरामीटर प्रकार क्यों प्रदान करना चाहिए जबकि संकलक को प्रकार का अनुमान लगाना चाहिए?

public static T2 Cast<T1,T2>(this T1 arg) where T2 : class where T1 : class 
{ 
    return arg as T2; 
} 

नमूना उपयोग:

objOfTypeT2 = objOfTypeT1.Cast<TypeT1,TypeT2>(); 

एक अधिक बुद्धिमान संकलक के साथ अपने वांछित उपयोग की तुलना में:

objOfTypeT2 = objOfTypeT1.Cast<TypeT2>(); 

या शायद मैं होना चाहिए अधिक बुद्धिमान :-)

सावधान रहें कि मैं साबित करता हूं वापसी प्रकार पर विचार करें। मैं उस वस्तु को प्रदान नहीं करना चाहता जिसे मैंने उस पर फ़ंक्शन कहा था, विधि एक्सटेंशन विधि है।

Answer 1

विनिर्देश सीमा सभी प्रकार या कुछ भी सामान्य तरीकों के लिए पैरामीटर अनुमान टाइप करता है। आप आंशिक अनुमान नहीं हो सकता है।

तर्क शायद प्रकार अनुमान नियमों को सरल बना रहा है (जो पहले से ही बहुत ही जटिल हैं, क्योंकि उन्हें खाता ओवरलोडिंग नियम भी लेना है)।

Answer 2

अनुमान वापसी प्रकार पर विचार नहीं करता है; हालांकि, आप जेनेरिकों को विभाजित करने का प्रयास कर सकते हैं; उदाहरण के लिए, आप कोड अनुमति देने के लिए लिख सकते हैं:

.Cast().To<Type2>() 

होने से (अपरीक्षित; संकेत केवल)

public static CastHelper<T> Cast<T>(this T obj) { 
    return new CastHelper<T>(obj); 
} 
public struct CastHelper<TFrom> { 
    private readonly TFrom obj; 
    public CastHelper(TFrom obj) { this.obj = obj;} 
    public TTo To<TTo>() { 
     // your code here 
    } 
}