В этой версии программы ограничение на интерфейс, указываемое в классеPhoneList,требует, чтобы аргумент типа реализовал интерфейсIPhoneList.А поскольку этот интерфейс реализуется в обоих классах,FriendиSupplier,то они относятся к допустимым типам, привязываемым к типуТ.В то же время интерфейс не реализуется в классеEmailFriend,и поэтому этот класс не может быть привязан к типуТ.Для того чтобы убедиться в этом, удалите символы комментария в двух последних строках кода в методеMain (). Вы сразу же обнаружите, что программа не компилируется.
Применение ограничения new () на конструктор
Ограничениеnew() на конструктор позволяет получать экземпляр объекта обобщенного типа. Как правило, создать экземпляр параметра обобщенного типа не удается. Но это положение изменяет ограничениеnew (), поскольку оно требует, чтобы аргумент типа предоставил конструктор без параметров. Им может быть конструктор, вызываемый по умолчанию и предоставляемый автоматически, если явно определяемый конструктор отсутствует или же конструктор без параметров явно объявлен пользователем. Накладывая ограничениеnew (), можно вызывать конструктор без параметров для создания объекта.
Ниже приведен простой пример, демонстрирующий наложение ограниченияnew().
// Продемонстрировать наложение ограничения new() на конструктор.
using System;
class MyClass {
public MyClass() {
// ...
}
//. . .
}
class Test
T obj;
public Test() {
// Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т
}
// ...
}
class ConsConstraintDemo {
static void Main() {
Test
}
}
Прежде всего обратите внимание на объявление классаTest.
class Test
В силу накладываемого ограниченияnew() любой аргумент типа должен предоставлять конструктор без параметров.
Далее проанализируем приведенный ниже конструктор классаTest.
public Test () {
// Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т
}
В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничениеnew() требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничениеnew (), а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции.
В методеMain() получается экземпляр объекта типаTest,как показано ниже.
Test
