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

Дл^ выхода из подобных ситуаций в C# предусмотреныограниченные типы.Указывая параметр типа, можно наложить определенное ограничение на этот Параметр. Это делается с помощью оператораwhereпри указании параметра типа:

classимя_класса<параметр_типа>whereпараметр_типа : ограничения {// ...

гдеограниченияуказываются списком через запятую.

В C# предусмотрен ряд ограничений на типы данных.

•    Ограничение на базовый класс, требующее наличия определенного базового класса в аргументе типа. Это ограничение накладывается указанием имени требуемого базового класса. Разновидностью этого ограничения являетсянеприкрытое ограничение типа,при котором на базовый класс указывает параметр типа, а не конкретный тип. Благодаря этому устанавливается взаимосвязь между двумя параметрами типа.

•    Ограничение на интерфейс,требующее реализации одного или нескольких интерфейсов аргументом типа. Это ограничение накладывается указанием имени требуемого интерфейса.

•    Ограничение на конструктор,требующее предоставить конструктор без параметров в аргументе типа. Это ограничение накладывается с помощью оператора new .

•    Ограничение ссылочного типа,требующее указывать аргумент ссылочного типа с помощью оператора class.

•    Ограничение типа значения, требующее указывать аргумент типа значения с помощью оператора struct.

Среди всех этих ограничений чаще всего применяются ограничения на базовый класс и интерфейс, хотя все они важны в равной степени. Каждое из этих ограничений рассматривается далее по порядку.

Применение ограничения на базовый класс

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