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

 // синтаксиса делегата.
 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› определяет один пара-метр типа, представляющий аргумент, отправляемый целевому объекту делегата. При создании экземпляра этого типа требуется конкретизировать значение параметра типа, а также имя метода, вызываемого делегатом. Так, если вы укажете строковый тип, то отправите целевому методу строковое значение.

// Создание экземпляра MyGenericDelegate‹T›
// со значением string для параметра типа.
MyGenericDelegate‹string› strTarget = new MyGenericDelegate‹string›(StringTarget);
strTarget("Некоторые строковые данные");

С учетом формата объекта strTarget метод StringTarget должен теперь получить в качестве параметра одну строку.

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

Имитация обобщенных делегатов в .NET 1.1

Как видите, обобщенные делегаты предлагают более гибкий подход для указания вызываемых методов. В рамках .NET 1.1 аналогичного результата можно достичь с помощью базового System.Object.

public delegate void MyDelegate(object arg);

Это позволяет посылать любой тип данных целевому объекту делегата, но при этом не гарантируется типовая безопасность, а кроме того, остаются нерешенными проблемы создания объектных образов. Предположим, например, что мы создали два экземпляра MyDelegate, которые указывают на один и тот же метод MyTarget. Обратите внимание на проблемы создания объектных образов и восстановления значений, а также на отсутствие гарантий типовой безопасности.

class Program {
 static void Main(string[] args) {
 …
 // Регистрация цели с помощью
 // 'традиционного' синтаксиса делегата.
 MyDelegate d = new MyDelegate(MyTarget) d("Дополнительные строковые данные");
 // Регистрация цели с помощью
 // группового преобразования метода.
 MyDelegate d2 = MyTarget;
 d2(9); // Проблема объектного образа.
 …
 }
 // Ввиду отсутствия типовой безопасности мы должны
 // определить соответствующий тип до преобразования.
 static void MyTarget(object arg) {
 if (arg is int) {
int i = (int)arg; // Проблема восстановления значения.
 Console.WriteLine("++arg: {0}", ++i);
 }
 if (arg is string) {
 string s = (string) arg;
 Console.WriteLine("arg в верхнем регистре: {0}", s.ToUpper);
 }
 }
}

Когда вы посылаете целевому объекту тип, характеризуемый значением, это значение (конечно же) "упаковывается" в объект и "распаковывается" после его получения целевым методом. Точно так же, поскольку поступающий параметр может быть всем чем угодно, вы должны динамически проверить соответствующий тип перед тем, как выполнить преобразование. С помощью обобщенных делегатов вы можете получить всю необходимую гибкость без "проблем".

Несколько слов о вложенных делегатах

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

// Вложенные обобщающе делегаты могут иметь доступ к параметрам
// обобщенного типа-контейнера.
public class MyList‹T› {
 private List‹T› listOfData = new List‹T›;
 public delegate void ListDelegate(T arg);
}

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

Резюме

Обобщения можно обоснованно считать главным из усовершенствований, предложенных в C# 2005. Как вы могли убедиться, обобщенный элемент позволяет указать "заполнители" (т.е. параметры типа), которые конкретизируются в момент создания типа (или вызова, в случае обобщенных методов). По сути, обобщения дают решение проблем объектных образов и типовой безопасности, усложняющих разработку программ в среде .NET 1.1.

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

ЧАСТЬ III. Программирование компоновочных блоков .NET

ГЛАВА 11. Компоновочные блоки .NET

Любое из приложений, описанных в этой книге в предыдущих десяти главах, было обычным "автономным" приложением, вся программная логика которого целиком содержались в одном выполняемом файле (*.exe). Однако одной из главных задач платформы .NET является многократное использование программного кода, при котором приложения могут использовать типы, содержащиеся в различных внешних компоновочных блоках (называемых также библиотеками программного кода). Целью этой главы будет подробное рассмотрение вопросов создания, инсталляции и конфигурации компоновочных блоков .NET.