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

Верификация и ограничения
В процессе компиляции обобщенного кода компилятор C# анализирует его, убеж-
даясь, что он сможет работать с любыми типами данных — существующими и теми, 
которые будут определены в будущем. Рассмотрим следующий метод:
private static Boolean MethodTakingAnyType(T o) {
T temp = o;
Console.WriteLine(o.ToString());
Boolean b = temp.Equals(o);
return b;
}

---

323
Верификация.и.ограничения
Здесь объявляется временная переменная (
temp
) типа 
T
, а затем выполняется 
несколько операций присваивания переменных и несколько вызовов методов. 
Представленный метод работает с любым типом 
Т
— ссылочным, значимым, пере-
числимым, типом интерфейса или типом делегата, существующим типом или типом, 
который будет определен в будущем, потому что любой тип поддерживает присва-
ивание и вызовы методов, определенных в 
Object
(например, 
ToString
и 
Equals
).
Вот еще метод:
private static T Min(T o1, T o2) {
if (o1.CompareTo(o2) < 0) return o1;
return o2;
}
Метод 
Min
пытается через переменную 
o1
вызвать метод 
CompareTo
. Но многие 
типы не поддерживают метод 
CompareTo
, поэтому компилятор С# не в состоянии 
скомпилировать этот код и обеспечить, чтобы после компиляции метод смог рабо-
тать со всеми типами. При попытке скомпилировать приведенный код появится со-
общение об ошибке (ошибка CS0117: 
T
не содержит определение метода 
CompareTo
):
error CS0117: 'T' does not contain a definition for 'CompareTo'
Получается, что при использовании обобщений можно лишь объявлять перемен-
ные обобщенного типа, выполнять присваивание, вызывать методы, определенные 
в 
Object
, — и все! Но ведь в таком случае от обобщений пользы мало. К счастью, 
компиляторы и CLR поддерживают уже упоминавшийся механизм 
ограничений
(constraints), благодаря которому обобщения снова начинают приносить практи-
ческую пользу.
Ограничение сужает перечень типов, которые можно передать в обобщенном 
аргументе, и расширяет возможности по работе с этими типами. Вот новый вариант 
метода 
Min
, который задает ограничение (выделено полужирным шрифтом):
public static T Min(T o1, T o2)