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

// Только для иллюстрации!

// Этот программный код не является допустимым в C# 2.0.

public class BasicMath‹T› where T: operator +, operator -, operator *, operator / {

public T Add(T arg1, T arg2) { return arg1 + arg2; }

public T Subtract(T arg1, T arg2) { return arg1 – arg2; }

public T Multiply(T arg1, T arg2) { return arg1 * arg2; }

public T Divide(T arg1, T arg2) { return arg1 / arg2; }

}

Увы, ограничения обобщенных типов при использовании операций в C# 2005 не поддерживаются.

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

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

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

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

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 {

// Этот обобщенный делегат может вызвать любой метод,

// возвращающий void и принимающий один параметр.

public delegate void MyGenericDelegate‹T›(T arg);

class Program {

static void Main(string[] args) {

Console.WriteLine("***** Обобщенные делегаты *****\n");

// Регистрация цели с помощью 'традиционного'

// синтаксиса делегата.

MyGenericDelegate‹string› strTarget = new MyGenericDelegate‹string›(StringTarget);

strTarget("Некоторые строковые данные");

// Регистрация цели с помощью

// группового преобразования метода.

MyGenericDelegate‹int› intTarget = IntTarget;

intTarget(9);

Console.ReadLine();

}

static void StringTarget(string arg) {

Console.WriteLine("arg в верхнем регистре: {0}", arg.ToUpper());

}

static void IntTarget(int arg) {

Console.WriteLine("++arg: {0}", ++arg);

}

}

}

Обратите внимание на то. что MyGenericDelegate‹T› определяет один пара-метр типа, представляющий аргумент, отправляемый целевому объекту делегата. При создании экземпляра этого типа требуется конкретизировать значение параметра типа, а также имя метода, вызываемого делегатом. Так, если вы укажете строковый тип, то отправите целевому методу строковое значение.