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

объявлению

Gen<A, В> х = new Gen<A, В> ();

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

// Gen<B, А> у = new Gen<B, А>();

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

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

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

class Gen<T> where Т : MyClass, IMylnterface, new() {

// ...

В данном случае параметр типа Т должен быть заменен аргументом типа, наследующим от класса MyClass, реализующим интерфейс IMylnterface и использующим конструктор без параметра.

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

// Использовать несколько операторов where, using System;

// У класса Gen имеются два параметра типа, и на оба накладываются // ограничения с помощью отдельных операторов where, class Gen<T, V> where T : class

where V : struct {

T obi;

V ob2;

public Gen(T t, V v) { obi = t;

ob2 = v;

}

}

class MultipleConstraintDemo { static void Main() {

// Эта строка кода вполне допустима, поскольку // string — это ссылочный тип, a int — тип значения.

Gen<string, int> obj = new Gen<string, int>(ⁿTecT^M, 11);

//А следующая строка кода недопустима, поскольку // bool не относится к ссылочному типу.

// Gencbool, int> obj = new Gencbool, int>(true, 11);

}

}

В данном примере класс Gen принимает два аргумента с ограничениями, накладываемыми с помощью отдельных операторов where. Обратите особое внимание на объявление этого класса.

class GenCT, V> where T : class

where V : struct {

Как видите, один оператор where отделяется от другого только пробелом. Другие знаки препинания между ними не нужны и даже недопустимы.

Получение значения, присваиваемого параметру типа по умолчанию

Как упоминалось выше, при написании обобщенного кода иногда важно провести различие между типами значений и ссылочными типами. Такая потребность возникает, в частности, в том случае, если переменной параметра типа должно быть присвоено значение по умолчанию. Для ссылочных типов значением по умолчанию является null, для неструктурных типов значений — 0 или логическое значение false, если это тип bool, а для структур типа struct — объект соответствующей структуры с полями, установленными по умолчанию. В этой связи возникает вопрос: какое значение следует присваивать по умолчанию переменной параметра типа: null, 0 или нечто другое? Например, если в следующем объявлении класса Test:

class Test<T> {

Т obj;

П ...

переменной obj требуется присвоить значение по умолчанию, то какой из двух вариантов