Jakie są regulowane typ rodzajowy Parametry

Question

Tak, natknąłem się na odpowiedź przez Servy (https://stackoverflow.com/a/15098242/496680), a niektóre z jego kod robi to:

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

za metodę rozszerzenia, ale nazywa to tak:

arr.BinarySearch(...) 

Zapytałem i ktoś powiedział, że jest to domyślny rodzaj parametru. Przeszukałem je, ale nie znalazłem na nich żadnych informacji. Rozumiem, jak działają rodzaje ogólne, ale nie rozumiem, jak/kiedy ich używać.

1. Dlaczego serwis wykorzystuje je w swojej metodzie ekstention?
2. Czy istnieje bardziej oficjalna nazwa dla tych, które mogę wyszukać?

Answer 1

Pominąłem najważniejszą część, która sprawia, że ​​wszystko działa. Parametry typu może wnioskować o rzeczywistych parametrów obiektów przekazanych w

Na przykład:.

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); 
    } 
    } 
} 

To rozszerzenie metoda działa na dowolnym IEnumerable klasy i zamieni każdy element wyliczenia do innego typu w oparciu na podanym konwerterze. To są standardowe leki generyczne.

Teraz, istnieje wiele sposobów, aby wywołać tę metodę:

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); 

Wszystkie cztery odmiany nazywają tę samą metodę i zwraca ten sam wynik. Inferencja typów działa, patrząc na parametry przekazane i automatycznie wnioskuje ich typy na podstawie dostarczanych informacji. W naszych przykładach powyżej można stwierdzić, że typ T jest typu int, ponieważ przekazaliśmy parametr IEnumerable<int> do parametru IEnumerable<T>. Jest również w stanie wywnioskować, że typ U jest typu string, ponieważ przeszliśmy w Func pasującym do początkowego typu T z int i zwracając ciąg znaków. Tak więc Func<T, U> jest wypełniony naszą funkcją konwertera Func<int, string>.

Z powyższego wywodu jest to standardowa metoda standardowa w tym punkcie. Metody wnioskowania i rozszerzenia są niczym więcej niż wygodą/cukrem syntaktycznym.W rzeczywistości, jeśli dekompilujesz dane wyjściowe, możesz zauważyć, że metody rozszerzeń są zastępowane przez wywołania statyczne i są zwykle definiowane z jawnie wypełnionymi parametrami typu. (To zależy od twojego dekompilatora i ustawionych opcji).

Answer 2

Termin, który zwykle słyszę, to "wnioskowanie o typie".

Answer 3

1. Używa generic method w tym przypadku, ponieważ umożliwia jego metoda pracy z wszelkiego rodzaju zawartego w Collection<T>. Ogólna metoda sprawia, że ​​jest to bardzo elastyczne i użyteczne dla każdego typu. Podczas wywoływania metody wykorzystuje infercję typu, ponieważ upraszcza kod w witrynie wywołania.

2. Automatyczna obsługa jest nazywana przejmowaniem typu i jest szczegółowo opisana w Specyfikacji języka C#, sekcja 7.5.2: Wciąganie typu. Jeśli chcesz go dokładnie zrozumieć, polecam pobranie C# language specification.