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

Глава.12 .Обобщения
return result;
}
}
Здесь в классе 
GenericType
определяется свой параметр-тип (
T
), а в методе 
Converter
— свой (
TOutput
). Благодаря этому можно создать класс 
GenericType
, 
работающий с любым типом. Метод 
Converter
преобразует объект, на который 
ссылается поле 
m_value
, в другие типы в зависимости от аргумента типа, передан-
ного ему при его вызове. Возможность определения независимых параметров-типов 
и параметров метода дает небывалую гибкость.
Удачный пример обобщенного метода — метод 
Swap
:
private static void Swap(ref T o1, ref T o2) {
T temp = o1;
o1 = o2;
o2 = temp;
}
Теперь вызывать 
Swap
из кода можно следующим образом:
private static void CallingSwap() {
Int32 n1 = 1, n2 = 2;
Console.WriteLine("n1={0}, n2={1}", n1, n2);
Swap(ref n1, ref n2);
Console.WriteLine("n1={0}, n2={1}", n1, n2);
String s1 = "Aidan", s2 = "Grant";
Console.WriteLine("s1={0}, s2={1}", s1, s2);
Swap(ref s1, ref s2);
Console.WriteLine("s1={0}, s2={1}", s1, s2);
}
Использование обобщенных типов с методами, получающими параметры 
out
и 
ref
, особенно интересно тем, что переменные, передаваемые в качестве аргумента 
out/ref
, должны быть того же типа, что и параметр метода, чтобы избежать возмож-
ного нарушения безопасности типов. Эта особенность параметров 
out/ref
обсуж-
дается в главе 9. В сущности, именно поэтому методы 
Exchange
и 
CompareExchange
класса 
Interlocked
поддерживают обобщенную перегрузку
1
:
public static class Interlocked {
public static T Exchange(ref T location1, T value) where T: class;
public static T CompareExchange(
ref T location1, T value, T comparand) where T: class;
}