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

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

Ниже приведена общая форма наложения ограничения на базовый класс, в которой используется оператор where:

where Т : имя_базового_класса

где Г обозначает имя параметра типа, аимя_базового_класса —конкретное имя ограничиваемого базового класса. Одновременно в этой форме ограничения может быть указан только один базовый класс.

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

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

using System;

class А {

public void Hello    {

Console.WriteLine("Hello");

// Класс В наследует класс А. class В : А { }

// Класс С не наследует класс А. class С '{ }

//В силу ограничения на базовый класс во всех аргументах типа,

// передаваемых классу Test, должен присутствовать базовый класс А. class Test where Т : А {

Т obj;

public Test(Т о) { obj = о;

}

public void SayHelloO {

// Метод Hello вызывается, поскольку он объявлен в базовом классе А. obj.Hello;

}

}

class BaseClassConstraintDemo { static void Main {

A a = new A;

В b = new В

С с = new Сj

// Следующий код    вполне допустим,    поскольку    класс    А    указан    как    базовый.

Test tl = new    Test(a);

tl.SayHello;

// Следующий код    вполне допустим,    поскольку    класс    В    наследует    от    класса А.

Test t2 = new    Test (b);

t2.SayHello;

// Следующий код недопустим, поскольку класс С не наследует от класса А.

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

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

}

}

В данном примере кода классАнаследуется классомВ,но не наследуется классомС.Обратите также внимание на то, что в классеАобъявляется методHello ,а классTestобъявляется как обобщенный следующим образом.

class Test where Т : А {

Операторwhereв этом объявлении накладывает следующее ограничение: любой аргумент, указываемый для типаТ,должен иметь классАв качестве базового.

А теперь обратите внимание на то, что в классеTestобъявляется методSayHello ,как показано ниже.

public void SayHelloO {

// Метод Hello вызывается, поскольку он объявлен в базовом классе А. obj.Hello;

}