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

Этот метод вызывает в свою очередь методHello для объектаobjтипаТ.Любопытно, что единственным основанием для вызова методаHello служит следующее требование ограничения на базовый класс: любой аргумент типа, привязанный к типуТ,должен относиться к классуАили наследовать от классаА,в котором объявлен методHello . Следовательно, любой допустимый типТбудет также определять методHello . Если бы данное ограничение на базовый класс не было наложено, то компилятору ничего не было бы известно о том, что методHello может быть вызван для объекта типаТ.Убедитесь в этом сами, удалив операторwhereиз объявления обобщенного классаTest.В этом случае программа не подлежит компиляции, поскольку теперь методHello неизвестен.

Помимо разрешения доступа к членам базового класса, ограничение на базовый класс гарантирует, что в качестве аргументов типа могут быть переданы только те типы данных, которые наследуют базовый класс. Именно поэтому приведенные ниже строки кода закомментированы.

// Test t3 = new Test(c); // Ошибка!

// t3.SayHello; // Ошибка!

КлассСне наследует от классаА,и поэтому он не может использоваться в качестве аргумента типа при создании объекта типаTest.Убедитесь в этом сами, удалив символы комментария и попытавшись перекомпилировать этот код.

Прежде чем продолжить изложение дальше, рассмотрим вкратце два последствия наложения ограничения на базовый класс. Во-первых, это ограничение разрешает доступ к членам базового класса из обобщенного класса. И во-вторых, оно гарантирует допустимость только тех аргументов типа, которые удовлетворяют данному ограничению, обеспечивая тем самым типовую безопасность.

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

// Базовый класс, в котором хранятся имя абонента и номер его телефона, class PhoneNumber {

public PhoneNumber(string n, string num) {

Name = n;

Number = num;

}