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

На параметр типаТв классеTestнакладывается ограничениеstruct,и поэтому к нему могут быть привязаны только аргументы типа значения. Это означает, что объявленияTest,n Testвполне допустимы, тогда как объявлениеTestнедопустимо. Для того чтобы убедиться в этом, удалите символы комментария в начале последней строки приведенного выше кода и перекомпилируйте его. В итоге вы получите сообщение об ошибке во время компиляции.

Установление связи между двумя параметрами типа с помощью ограничения

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

class Gen where V : T {

В этом объявлении операторwhereуведомляет компилятор о том, что аргумент типа, привязанный к параметру типа V, должен быть таким же, как и аргумент типа, привязанный к параметру типаТ,или же наследовать от него. Если подобная связь отсутствует при объявлении объекта типаGen,то во время компиляции возникнет ошибка. Такое ограничение на параметр типа называетсянеприкрытым ограничением типа.В приведенном ниже примере демонстрируется наложение этого ограничения.

// Установить связь между двумя параметрами типа.

using System;

class А {

//...

}

class В : А {

// ...

}

// Здесь параметр типа V должен наследовать от параметра типа Т. class Gen where V : T {

// ...

}

class NakedConstraintDemo { static void Main() {

// Это объявление вполне допустимо, поскольку

// класс В наследует от класса А.

GerKA, В> х = new Gen () ;

// А это объявление недопустимо, поскольку // класс А-.не наследует от класса В. .

// Gen у = new Gen();

}

}

Обратите внимание на то, что класс В наследует от класса А. Проанализируем далее оба объявления объектов класса Gen в методе Main (). Как следует из комментария к первому объявлению

Gen х = new Gen ();

оно вполне допустимо, поскольку класс В наследует от класса А. Но второе объявление

// Gen у = new Gen();

недопустимо, поскольку класс А не наследует от класса В.

Применение нескольких ограничений

С параметром типа может быть связано несколько ограничений. В этом случае ограничения указываются списком через запятую. В этом списке первым должно быть указано ограничение class либо struct, если оно присутствует, или же ограничение на базовый класс, если оно накладывается. Указывать ограничения class или struct одновременно с ограничением на базовый класс rte разрешается. Далее по списку должно следовать ограничение на интерфейс, а последним по порядку — ограничение new (). Например, следующее объявление считается вполне допустимым.