क्या लगाए गए सामान्य प्रकार

Question

पैरामीटर तो, मैं Servy (https://stackoverflow.com/a/15098242/496680) द्वारा एक जवाब भर में भाग गया और उसकी कोड के कुछ ऐसा करता है: एक विस्तार विधि के लिए

public static int BinarySearch<TSource, TKey>(...) 

है, लेकिन वह इसे इस तरह कहता है:

arr.BinarySearch(...) 

मैंने चारों ओर पूछा और किसी ने यह पाया कि इसका एक अंतर्निहित सामान्य प्रकार पैरामीटर है। मैंने उन्हें गुगल किया लेकिन उन पर कोई जानकारी नहीं मिली। मैं समझता हूं कि जेनेरिक कैसे काम करते हैं लेकिन मैं यह समझने में असफल रहा हूं कि इनका उपयोग कब/कब किया जाए।

1. servy उनकी विस्तार विधि में उनका उपयोग क्यों करता है?
2. क्या उनके लिए कोई और आधिकारिक नाम है जिसके लिए मैं खोज कर सकता हूं?

Answer 1

ठीक है, आपने सबसे महत्वपूर्ण हिस्सा छोड़ दिया है जो इसे सभी काम करता है। प्रकार पैरामीटर में पारित वास्तविक वस्तु मापदंडों से अनुमान लगाया जा सकता

उदाहरण के लिए:।

static class Extensions { 
    internal static IEnumerable<U> Test<T, U>(
            this IEnumerable<T> items, 
            Func<T, U> converter) { 
    foreach (T item in items) { 
     yield return converter(item); 
    } 
    } 
} 

इस विस्तार विधि किसी भी IEnumerable वर्ग पर काम करता है और एक अन्य प्रकार के आधार पर करने के लिए गणन में प्रत्येक आइटम में परिवर्तित कर देंगे आपके द्वारा प्रदान किए गए कनवर्टर पर। यह मानक जेनेरिक है।

IEnumerable<int> values = Enumerable.Range<int>(1, 10); 
Func<int, string> converter = i => i.ToString("0.00"); 

// Variation 1, explicit calling 
IEnumerable<string> results1 = Extensions.Test<int, string>(values, converter); 

// Variation 2, explicit calling with type inference 
IEnumerable<string> results2 = Extensions.Test(values, converter); 

// Variation 3, extension method calling, still providing explicit types 
IEnumerable<string> results3 = values.Test<int, string>(converter); 

// Variation 4, extension method with type inference 
IEnumerable<string> results4 = values.Test(converter); 

सभी चार रूपों में एक ही विधि कॉल और एक ही परिणाम देते हैं:

अब, वहाँ इस विधि कॉल करने के कई तरीके हैं। टाइप किए गए मापदंडों को देखकर अनुमान लगाएं और स्वचालित रूप से उनके प्रकारों को किस प्रकार प्रदान किया जा रहा है, इस पर आधारित है। ऊपर दिए गए हमारे उदाहरणों में, यह निर्धारित करने में सक्षम है कि T टाइप int है क्योंकि हम IEnumerable<T> के पैरामीटर में IEnumerable<int> में पास हुए हैं। यह अनुमान लगा सकता है कि U प्रकार string प्रकार है क्योंकि हम T के प्रारंभिक प्रकार int के साथ मिलान करने और एक स्ट्रिंग लौटने के साथ एक फ़ंक में पारित हो गए हैं। तो Func<T, U>Func<int, string> के हमारे कनवर्टर फ़ंक्शन के साथ भर गया है।

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

Answer 2

शब्द जो मैं आमतौर पर सुनता हूं वह 'प्रकार अनुमान' है।

Answer 3

1. वह इस मामले में एक generic method का उपयोग करता है, क्योंकि यह उसकी विधि किसी भी प्रकार के एक Collection<T> के भीतर निहित के साथ काम करने की अनुमति देता है। जेनेरिक विधि यह बहुत लचीला बनाता है, और किसी भी प्रकार के लिए प्रयोग योग्य बनाता है। विधि को कॉल करते समय वह प्रकार के उल्लंघन का उपयोग करता है क्योंकि यह कॉल साइट पर कोड को सरल बनाता है।

2. स्वचालित हैंडलिंग को टाइप इन्फेरेंस कहा जाता है, और सी # भाषा विशिष्टता, खंड 7.5.2 में विस्तार से कवर किया गया है: टाइप अंतरण। यदि आप इसे विस्तार से समझना चाहते हैं, तो मैं C# language specification डाउनलोड करने की अनुशंसा करता हूं।