В приведенном ниже простом примере демонстрируется механизм наложения
ограничения на базовый класс.
// Простой пример, демонстрирующий механизм наложения
// ограничения на базовый класс.
using System;
class А {
public void Hello {
Console.WriteLine("Hello");
}
}
// Класс В наследует класс А.
class В : А { }
// Класс С не наследует класс А.
class С { }
// В силу ограничения на базовый класс во всех аргументах типа,
// передаваемых классу Test, должен присутствовать базовый класс А.
class Test
В данном примере кода класс А наследуется классом В, но не наследуется классом
С. Обратите также внимание на то, что в классе А объявляется метод Hello, а класс
Test объявляется как обобщенный следующим образом.
class Test
Оператор where в этом объявлении накладывает следующее ограничение: любой аргумент, указываемый для типа Т, должен иметь класс А в качестве базового.
А теперь обратите внимание на то, что в классе Test объявляется метод SayHello, как показано ниже. public void SayHello { // Метод Hello вызывается, поскольку он объявлен в базовом классе А. obj.Hello; }
Этот метод вызывает в свою очередь метод Hello для объекта obj типа Т. Любо пытно, что единственным основанием для вызова метода Hello служит следующее требование ограничения на базовый класс: любой аргумент типа, привязанный к типу Т, должен относиться к классу А или наследовать от класса А, в котором объявлен ме тод Hello. Следовательно, любой допустимый тип Т будет также определять метод Hello. Если бы данное ограничение на базовый класс не было наложено, то компи лятору ничего не было бы известно о том, что метод Hello может быть вызван для объекта типа Т. Убедитесь в этом сами, удалив оператор where из объявления обоб щенного класса Test. В этом случае программа не подлежит компиляции, поскольку теперь метод Hello неизвестен.
Помимо разрешения доступа к членам базового класса, ограничение на базовый
класс гарантирует, что в качестве аргументов типа могут быть переданы только те типы
данных, которые наследуют базовый класс. Именно поэтому приведенные ниже стро
ки кода закомментированы.
// Test
Класс С не наследует от класса А, и поэтому он не может использоваться в качестве аргумента типа при создании объекта типа Test. Убедитесь в этом сами, удалив сим волы комментария и попытавшись перекомпилировать этот код.
Прежде чем продолжить изложение дальше, рассмотрим вкратце два последствия наложения ограничения на базовый класс. Во-первых, это ограничение разрешает до ступ к членам базового класса из обобщенного класса. И во-вторых, оно гарантирует допустимость только тех аргументов типа, которые удовлетворяют данному ограниче нию, обеспечивая тем самым типовую безопасность.
