Int относится к типу значения.
// Test<int> у = new Test<int>();
}
}
Обратите внимание на следующее объявление класса Test,
class Test<T> where T : class {
Ограничение class требует, чтобы любой аргумент Т был ссылочного типа. В данном примере кода это необходимо для правильного выполнения операции присваивания в конструкторе класса Test.
public Test() {
// Следующий оператор допустим только потому, что
Аргумент Т гарантированно относится к ссылочному
Типу, что позволяет присваивать пустое значение,
obj = null;
}
В этом фрагменте кода переменной obj типа Т присваивается пустое значение. Такое присваивание допустимо только для ссылочных типов. Как правило, пустое значение нельзя присвоить переменной типа значения. (Исключением из этого правила является обнуляемый тип, который представляет собой специальный тип структуры, инкапсулирующий тип значения и допускающий пустое значение (null). Подробнее об этом — в главе 20.) Следовательно, в отсутствие ограничения такое присваивание было бы недопустимым, и код не подлежал бы компиляции. Это один из тех случаев, когда для обобщенного кода может оказаться очень важным различие между типами значений и ссылочными типами.
Ограничение типа значения является дополнением ограничения ссылочного типа. Оно просто гарантирует, что любой аргумент, обозначающий тип, должен быть типа значения, в том числе struct и enum. (В данном случае обнуляемый тип не относится к типу значения.) Ниже приведен пример наложения ограничения типа значения.
|
|
|
// Продемонстрировать наложение ограничения типа значения.
using System;
struct MyStruct {
//...
}
class MyClass {
// ...
}
class Test<T> where T : struct {
T obj;
public Test(T x) {
obj = x;
}
// ...
}
class ValueConstraintDemo {
static void Main() {
Оба следующих объявления вполне допустимы.
Test<MyStruct> х = new Test<MyStruct>(new MyStruct());
Test<int> у = new Test<int>(10);
//А следующее объявление недопустимо!
// Test<MyClass> z = new Test<MyClass>(new MyClass());
}
}
В этом примере кода класс Test объявляется следующим образом.
class Test<T> where Т : struct {
На параметр типа Т в классе Test накладывается ограничение struct, и поэтому к нему могут быть привязаны только аргументы типа значения. Это означает, что объявления Test<MyStruct> и Test<int> вполне допустимы, тогда как объявление Test<MyClass> недопустимо. Для того чтобы убедиться в этом, удалите символы комментария в начале последней строки приведенного выше кода и перекомпилируйте его. В итоге вы получите сообщение об ошибке во время компиляции.
Установление связи между двумя параметрами типа с помощью ограничения
Существует разновидность ограничения на базовый класс, позволяющая установить связь между двумя параметрами типа. В качестве примера рассмотрим следующее объявление обобщенного класса.
|
|
|
class Gen<T, V> where V : T {
В этом объявлении оператор where уведомляет компилятор о том, что аргумент типа, привязанный к параметру типа V, должен быть таким же, как и аргумент типа, привязанный к параметру типа Т, или же наследовать от него. Если подобная связь отсутствует при объявлении объекта типа Gen, то во время компиляции возникнет ошибка. Такое ограничение на параметр типа называется неприкрытым ограничением типа. В приведенном ниже примере демонстрируется наложение этого ограничения.
// Установить связь между двумя параметрами типа.
using System;
class A {
//...
}
class В : A {
// ...
}
// Здесь параметр типа V должен наследовать от параметра типа Т.
class Gen<T, V> where V : T {
// ...
}
class NakedConstraintDemo {
static void Main() {
Это объявление вполне допустимо, поскольку
Класс В наследует от класса А.
Gen<A, В> х = new Gen<A, В>();
А это объявление недопустимо, поскольку
Класс А-.не наследует от класса В. .
// Gen<B, А> у = new Gen<B, А>();
}
}
Обратите внимание на то, что класс В наследует от класса А. Проанализируем далее оба объявления объектов класса Gen в методе Main(). Как следует из комментария к первому объявлению
|
|
|
Gen<A, В> х = new Gen<A, В>();
оно вполне допустимо, поскольку класс В наследует от класса А. Но второе объявление
// Gen<B, А> у = new Gen<B, А>();
недопустимо, поскольку класс А не наследует от класса В.
Дата добавления: 2019-02-12; просмотров: 264; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!