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

// Следующий оператор допустим только потому, что // аргумент Т гарантированно относится к ссылочному // типу, что позволяет присваивать пустое значение, obj = null;

}

// ...

}

class ClassConstraintDemo { static void Main() {

// Следующий код вполне допустим, поскольку MyClass является классом. Test х = new Test();

// Следующая строка кода содержит ошибку, поскольку // int относится к типу значения.

// Test у = new Test();

}

}

Обратите внимание на следующее объявление классаTest, class Test where T : class {

Ограничение class требует, чтобы любой аргумент Т был ссылочного типа. В данном примере кода это необходимо для правильного выполнения операции присваивания в конструкторе класса Test.

public Test (){

// Следующий оператор допустим только потому, что // аргумент Т гарантированно относится к ссылочному // типу, что позволяет присваивать пустое значение, obj = null;

}

В этом фрагменте кода переменной obj типа Т присваивается пустое значение. Такое присваивание допустимо только для ссылочных типов. Как правило, пустое значение нельзя присвоить переменной типа значения. (Исключением из этого правила являетсяобнуляемый тип,который представляет собой специальный тип структуры, инкапсулирующий тип значения и допускающий пустое значение (null). Подробнее об этом — в главе 20.) Следовательно, в отсутствие ограничения такое присваивание было бы недопустимым, и код не подлежал бы компиляции. Это один из тех случаев, когда для обобщенного кода может оказаться очень важным различие между типами значений и ссылочными типами.

Ограничение типа значения является дополнением ограничения ссылочного типа. Оно просто гарантирует, что любой аргумент, обозначающий тип, должен быть типа значения, в том числе struct и enum. (В данном случае обнуляемый тип не относится к типу значения.) Ниже приведен пример наложения ограничения типа значения.

// Продемонстрировать наложение ограничения типа значения.

using System;

struct MyStruct {

//...

}

class MyClass {

// ...

}

class Test where T : struct {

T obj;

public Test(T x) { obj = x;

}

// ...

}

class ValueConstraintDemo { static void Main() {

// Оба следующих объявления вполне допустимы.

Test х = new Test(new MyStruct ());

Test у = new Test(10);

//А следующее объявление недопустимо!

// Test z = new Test(new MyClass());

}

}

В этом примере кода классTestобъявляется следующим образом.

class Test where Т : struct {