C# 4.0 полное руководство - 2011

Ограничениеnew на конструктор позволяет получать экземпляр объекта обобщенного типа. Как правило, создать экземпляр параметра обобщенного типа не удается. Но это положение изменяет ограничениеnew , поскольку оно требует, чтобы аргумент типа предоставил конструктор без параметров. Им может быть конструктор, вызываемый по умолчанию и предоставляемый автоматически, если явно определяемый конструктор отсутствует или же конструктор без параметров явно объявлен пользователем. Накладывая ограничениеnew , можно вызывать конструктор без параметров для создания объекта.

Ниже приведен простой пример, демонстрирующий наложение ограниченияnew.

// Продемонстрировать наложение ограничения new на конструктор.

using System;

class MyClass {

public MyClass {

// ...

}

//. . .

}

class Test where T : new {

T obj;

public Test {

// Этот код работоспособен благодаря наложению ограничения new. obj = new Т; // создать объект типа Т

}

// ...

}

class ConsConstraintDemo {

static void Main {

Test x = new Test;

}

}

Прежде всего обратите внимание на объявление классаTest.

class Test where T : new {

В силу накладываемого ограниченияnew любой аргумент типа должен предоставлять конструктор без параметров.

Далее проанализируем приведенный ниже конструктор классаTest.

public Test {

// Этот код работоспособен благодаря наложению ограничения new. obj = new Т; // создать объект типа Т

}

В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничениеnew требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничениеnew , а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции.

В методеMain получается экземпляр объекта типаTest,как показано ниже.

Test х = new Test;

Обратите внимание на то, что аргументом типа в данном случае является классMyClassи что в этом классе определяется конструктор без параметров. Следовательно, этот класс допускается использовать в качестве аргумента типа для классаTest.Следует особо подчеркнуть, что в классеMyClassсовсем не обязательно определять конструктор без параметров явным образом. Его используемый по умолчанию конструктор вполне удовлетворяет накладываемому ограничению. Но если классу потребуются другие конструкторы, помимо конструктора без параметров, то придется объявить явным образом и вариант без параметров.