Эндрю Троелсен - ЯЗЫК ПРОГРАММИРОВАНИЯ С# 2005 И ПЛАТФОРМА .NET 2.0. 3-е издание

// Предположим, что создан пользовательский

// обобщенный класс списка.

public class MyList‹T› {

private List‹T› listOfData = new List‹T›();

}

// Конкретные типы должны указать параметр типа,

// если они получаются из обобщенного базового класса.

public class MyStringList: MyList‹string› {}

Кроме того, если обобщенный базовый класс определяет обобщенные виртуальные или абстрактные методы, производный тип должен переопределить эти обобщенные методы, используя конкретизированный параметр типа.

// Обобщенный класс с виртуальным методом.

public class MyList‹T› {

private List‹T› listOfData = new List‹T›();

public virtual void PrintList(T data) {}

}

public class MyStringList: MyList‹string› {

// В производных методах нужно заменить параметр типа,

// используемый а родительском классе.

public override void PrintList(string data) {}

}

Если производный тип тоже является обобщенным, дочерний класс может (опционально) использовать заменитель типа в своем определении. Однако знайте, что любые ограничения, размещенные в базовом классе, должны "учитываться" и производным типом. Например:

// Обратите внимание, теперь здесь имеется ограничение,

// требующее конструктор по умолчанию.

public class MyList‹T› where T: new() {

private List‹T› listOfData = new List‹T›();

public virtual void PrintList(T data) {}

// Производный тип должен учитывать ограничения базового.

public class MyReadOnlyList‹T›: MyList‹T› where T: new() {

public override void PrintList(T data) {}

}

Если вы только не планируете построить свою собственную библиотеку обобщений , вероятность того, что вам придется строить иерархии обобщенных классов, оказывается практически нулевой. Тем не менее, вы теперь знаете, что язык C# обеспечивает поддержку наследования обобщений.

Вы уже видели при рассмотрении пространства имен System.Collections. Generiс, что обобщенные интерфейсы в C# также допустимы (например, IEnumerable‹Т›). Вы, конечно, можете определить свои собственные обобщенные интерфейсы (как с ограничениями, так и без ограничений). Предположим, что нужно определить интерфейс, который сможет выполнять бинарные операции с параметрами обобщенного типа.

public interface IBinaryOperations‹T›{

TAdd( Targ1, Targ2);

TSubtract( Targ1, Targ2);

TMultiply( Targ1, Targ2);

TDivide( Targ1, Targ2);

}

Известно, что интерфейсы остаются почти бесполезными, пока они не реализованы некоторым классом или структурой. При реализации обобщенного интерфейса поддерживающий его тип указывает тип заполнителя.

public class BasicMath: IBinaryOperations‹int›{

public intAdd( intarg1, intarg2) { return arg1 + arg2; }

public intSubtract( intarg1, intarg2) { return arg1 – arg2; }

public intMultiply( intarg1, intarg2) { return arg1 * arg2; }

public intDivide( intarg1, intarg2) { return arg1 / arg2; }

}

После этого вы можете использовать BasicMath, как и ожидали.

static void Main(string[] args) {

Console.WriteLine("***** Обобщенные интерфейсы *****\n");

BasicMath m = new BasicMath();

Console.WriteLine("1 + 1 = {0}", m.Add(1, 1));

Console.ReadLine();

}

Если вместо этого требуется создать класс BasicMath, действующий на числа с плавающим десятичным разделителем, можно конкретизировать параметр типа так.

public class BasicMath: IBinaryOperations‹double› {

public doubleAdd( doublearg1, doublearg2) { return arg1 + arg2; }

…

}

Исходный код.Проект GenericInterface размещен в подкаталоге, соответствующем главе 10.

Наконец, что не менее важно, .NET 2.0 позволяет определять обобщенные типы делегата. Предположим, например, что требуется определить делегат, который сможет вызывать любой метод, возвращающий void и принимающий один аргумент. Если аргумент может меняться, это можно учесть с помощью параметра типа. Для примера рассмотрим следующий программный код (обратите внимание на то, что целевые объекты делегата регистрируются как с помощью "традиционного" синтаксиса делегата, так и с помощью группового преобразования метода).

namespace GenericDelegate {