Страница 283 из 502

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

Шилдт Герберт

В методе Main() получается экземпляр объекта типа Test, как показано ниже.

Test<MyClass> х = new Test<MyClass>();

Обратите внимание на то, что аргументом типа в данном случае является класс MyClass и что в этом классе определяется конструктор без параметров. Следовательно, этот класс допускается использовать в качестве аргумента типа для класса Test. Следует особо подчеркнуть, что в классе MyClass совсем не обязательно определять конструктор без параметров явным образом. Его используемый по умолчанию конструктор вполне удовлетворяет накладываемому ограничению. Но если классу потребуются другие конструкторы, помимо конструктора без параметров, то придется объявить явным образом и вариант без параметров.

Что касается применения ограничения new(), то следует обратить внимание на три других важных момента. Во-первых, его можно использовать вместе с другими ограничениями, но последним по порядку. Во-вторых, ограничение new() позволяет конструировать объект, используя только конструктор без параметров, — даже если доступны другие конструкторы. Иными словами, передавать аргументы конструктору параметра типа не разрешается. И в-третьих, ограничение new() нельзя использовать одновременно с ограничением типа значения, рассматриваемым далее.

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

where Т : class

В этой форме с оператором where ключевое слово class указывает на то, что аргумент Т должен быть ссылочного типа. Следовательно, всякая попытка использовать тип значения, например int или bool, вместо T приведет к ошибке во время компиляции.

Ниже приведена общая форма ограничения типа значения.

where Т : struct

В этой форме ключевое слово struct указывает на то, что аргумент T должен быть типа значения. (Напомним, что структуры относятся к типам значений.) Следовательно, всякая попытка использовать ссылочный тип, например string, вместо T приведет к ошибке во время компиляции. Но если имеются дополнительные ограничения, то в любом случае class или struct должно быть первым по порядку накладываемым ограничением.

Ниже приведен пример, демонстрирующий наложение ограничения ссылочного типа.

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

using System;

class MyClass {

//...

}

// Наложить ограничение ссылочного типа,

class Test<T> where T : class {

T obj;

public Test() {

// Следующий оператор допустим только потому, что

// аргумент Т гарантированно относится к ссылочному

// типу, что позволяет присваивать пустое значение,

obj = null;

}

// ...

}

class ClassConstraintDemo {

static void Main() {

// Следующий код вполне допустим,

// поскольку MyClass является классом.

Test<MyClass> х = new Test<MyClass>();

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

// int относится к типу значения.

// Test<int> у = new Test<int>();

}

}

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

class Test<T> where T : class {

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

public Test() {

// Следующий оператор допустим только потому, что

// аргумент Т гарантированно относится к ссылочному

// типу, что позволяет присваивать пустое значение,

obj = null;

}

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