using System;
class MyClass {
public MyClass() {
// ...
}
//. . .
}
class Test<T> where T : new() {
T obj;
public Test() {
// Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т
}
// ...
}
class ConsConstraintDemo {
static void Main() {
Test<MyClass> x = new Test<MyClass>();
}
}
Прежде всего обратите внимание на объявление класса Test.
class Test<T> where T : new() {
В силу накладываемого ограничения new () любой аргумент типа должен предоставлять конструктор без параметров.
Далее проанализируем приведенный ниже конструктор класса Test.
public Test () {
// Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т
}
В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничение new () требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничение new (), а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции.
В методе Main () получается экземпляр объекта типа Test, как показано ниже.
Test<MyClass> х = new Test<MyClass>();
Обратите внимание на то, что аргументом типа в данном случае является класс MyClass и что в этом классе определяется конструктор без параметров. Следовательно, этот класс допускается использовать в качестве аргумента типа для класса Test. Следует особо подчеркнуть, что в классе MyClass совсем не обязательно определять конструктор без параметров явным образом. Его используемый по умолчанию конструктор вполне удовлетворяет накладываемому ограничению. Но если классу потребуются другие конструкторы, помимо конструктора без параметров, то придется объявить явным образом и вариант без параметров.
Что касается применения ограничения new (), то следует обратить внимание на три других важных момента. Во-первых, его можно использовать вместе с другими ограничениями, но последним по порядку. Во-вторых, ограничение new () позволяет конструировать объект, используя только конструктор без параметров, — даже если доступны другие конструкторы. Иными словами, передавать аргументы конструктору параметра типа не разрешается. И в-третьих, ограничение new () нельзя использовать одновременно с ограничением типа значения, рассматриваемым далее.
Ограничения ссылочного типа и типа значения
Два других ограничения позволяют указать на то, что аргумент, обозначающий тип, должен быть либо ссылочного типа, либо типа значения. Эти ограничения оказываются полезными в тех случаях, когда для обобщенного кода важно провести различие между ссылочным типом и типом значения. Ниже приведена общая форма ограничения ссылочного типа.
where
В этой форме с оператором where ключевое слово class указывает на то, что аргумент
