Net framework 5, а также среды Visual Studio 2012 и C#

Обобщенные методы и выведение типов
Синтаксис обобщений в C# со всеми его знаками «меньше» и «больше» приводит 
в замешательство многих разработчиков. С целью упростить создание, чтение и ра-
1
Ключевое слово where описано в разделе «Верификация и ограничения» этой главы. 

---

321
Обобщенные.методы
боту с кодом компилятор С# предлагает 
логическое выведение типов
(type inference) 
при вызове обобщенных методов. Это значит, что компилятор пытается определить 
(или логически вывести) тип, который будет автоматически использоваться при 
вызове обобщенного метода. Логический вывод типов продемонстрирован в сле-
дующем фрагменте кода:
private static void CallingSwapUsingInference() {
Int32 n1 = 1, n2 = 2;
Swap(ref n1, ref n2); // Вызывает Swap
String s1 = "Aidan";
Object s2 = "Grant";
Swap(ref s1, ref s2); // Ошибка, невозможно вывести тип
}
Обратите внимание, что в этом коде при вызове 
Swap
аргументы типа не задаются 
с помощью знаков 
<
и 
>
. В первом вызове 
Swap
компилятор C# сумел установить, 
что переменные 
n1
и 
n2
относятся к типу 
Int32
, поэтому он вызвал 
Swap
, используя 
аргумент-тип 
Int32
.
При выполнении логического выведения типа в C# используется тип данных 
переменной, а не фактический тип объекта, на который ссылается эта переменная. 
Поэтому во втором вызове 
Swap
компилятор C# «видит», что 
s1
имеет тип 
String
, 
а 
s2
— 
Object
(хотя 
s2
ссылается на 
String
). Поскольку у переменных 
s1
и 
s2
разный тип данных, компилятор не может с точностью вывести тип для аргумента 
типа метода 
Swap
и выдает ошибку (ошибка CS0411: аргументы типа для метода 
Program.Swap(ref T, ref T)
не могут быть выведены. Попробуйте явно задать 
аргументы типа):
error CS0411: The type arguments for method 'Program.Swap(ref T, ref T)' cannot
be inferred from the usage. Try specifying the type arguments explicitly
Тип может определять несколько методов таким образом, что один из них будет 
принимать конкретный тип данных, а другой — обобщенный параметр-тип, как 
в этом примере:
private static void Display(String s) {
Console.WriteLine(s);
}
private static void Display(T o) {
Display(o.ToString()); // Вызывает Display(String)
}
Метод 
Display
можно вызвать несколькими способами:
Display("Jeff"); // Вызывает Display(String)
Display(123); // Вызывает Display(T)
Display("Aidan"); // Вызывает Display(T)
В первом случае компилятор может вызвать либо метод 
Display
, принимающий 
String
, либо обобщенный метод 
Display
(заменяя 
T
типом 
String
). Но компилятор 
C# всегда выбирает явное, а не обобщенное соответствие, поэтому генерирует вызов 

---

322