Герберт Шилдт - C# 4.0: полное руководство

}

В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничение new()требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничение new(), а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции.

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

Test х = new Test();

Обратите внимание на то, что аргументом типа в данном случае является класс 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 where T : class {

T obj;

public Test() {

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

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

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

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 {

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