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

Ограничения конструктора
Для параметра-типа можно задать не более одного ограничения конструктора. 
Ограничение конструктора гарантирует компилятору, что указанный аргумент-тип 
будет иметь неабстрактный тип, имеющий открытый конструктор без параметров. 
Учтите, что компилятор С# считает ошибкой одновременное задание ограничения 
конструктора и ограничения 
struct
, потому что это избыточно. У всех значимых 
типов неявно присутствует открытый конструктор без параметров. В следующем 
классе для параметра-типа использовано ограничение конструктора:
internal sealed class ConstructorConstraint where T : new() {
public static T Factory() {
// Допустимо, потому что у всех значимых типов неявно
// есть открытый конструктор без параметров, и потому что
// это ограничение требует, чтобы у всех указанных ссылочных типов
// также был открытый конструктор без параметров
return new T();
}
}
В этом примере применение оператора 
new
к 
T
допустимо, потому что из-
вестно, что 
T
— это тип с открытым конструктором без параметров. Разумеется, 

---

329
Верификация.и.ограничения
это справедливо для всех значимых типов, а ограничение конструктора требует, 
чтобы это условие выполнялось и для всех ссылочных типов, заданных в аргу-
менте-типе.
Иногда разработчики предпочитают объявлять параметр типа через ограничение 
конструктора, при котором сам конструктор принимает различные параметры. На 
сегодняшний день CLR (и, как следствие, компилятор C#) поддерживает только 
конструкторы без параметров. По мнению специалистов Microsoft, в большинстве 
случаев этого вполне достаточно, и я с ними полностью согласен.
другие проблемы верификации
В оставшейся части этой главы я представлю несколько конструкций, которые из-за 
проблем с верификацией при использовании обобщений ведут себя непредсказуемо, 
и покажу, как с помощью ограничений сделать их верифицируемыми.