Допустим, что требуется создать метод, оперирующий содержимым потока, включая объекты типа FileStream
или MemoryStream
. На первый взгляд, такая ситуация идеально подходит для применения обобщений, но при этом нужно каким-то образом гарантировать, что в качестве аргументов типа будут использованы только типы потоков, но не int или любой другой тип. Кроме того, необходимо как-то уведомить компилятор о том, что методы, определяемые в классе потока, будут доступны для применения. Так, в обобщенном коде должно быть каким-то образом известно, что в нем может быть вызван метод Read()
.
Для выхода из подобных ситуаций в C# предусмотрены
class имя_класса<параметр_типа> where параметр_типа : ограничения { // ...
где
В C# предусмотрен ряд ограничений на типы данных.
•
•
• new()
.
• class
.
• struct
.
Среди всех этих ограничений чаще всего применяются ограничения на базовый класс и интерфейс, хотя все они важны в равной степени. Каждое из этих ограничений рассматривается далее по порядку.
Ограничение на базовый класс позволяет указывать базовый класс, который должен наследоваться аргументом типа. Ограничение на базовый класс служит двум главным целям. Во-первых, оно позволяет использовать в обобщенном классе те члены базового класса, на которые указывает данное ограничение. Это дает, например, возможность вызвать метод или обратиться к свойству базового класса. В отсутствие ограничения на базовый класс компилятору ничего не известно о типе членов, которые может иметь аргумент типа. Накладывая ограничение на базовый класс, вы тем самым даете компилятору знать, что все аргументы типа будут иметь члены, определенные в этом базовом классе.
И во-вторых, ограничение на базовый класс гарантирует использование только тех аргументов типа, которые поддерживают указанный базовый класс. Это означает, что для любого ограничения, накладываемого на базовый класс, аргумент типа должен обозначать сам базовый класс или производный от него класс. Если же попытаться использовать аргумент типа, не соответствующий указанному базовому классу или не наследующий его, то в результате возникнет ошибка во время компиляции.
Ниже приведена общая форма наложения ограничения на базовый класс, в которой используется оператор where:
where Т : имя_базового_класса
где T обозначает имя параметра типа, а
В приведенном ниже простом примере демонстрируется механизм наложения ограничения на базовый класс.
// Простой пример, демонстрирующий механизм наложения
// ограничения на базовый класс.
using System;
class A {
public void Hello() {
Console.WriteLine("Hello");
}
}
// Класс В наследует класс А.
class B : A { }
// Класс С не наследует класс А.
class C { }
//В силу ограничения на базовый класс во всех аргументах типа,
// передаваемых классу Test, должен присутствовать базовый класс А.
class Test
T obj;
public Test(T o) {
obj = o;
}
public void SayHello() {
// Метод Hello() вызывается, поскольку