C# Delegate 引介

C# Delegate 引介

Stanley B. Lippman

[译序：这是一篇古老的文章。但毫无疑问，Lippman对delegate的阐述是精辟的。]

如果你想拿 C# 与其它“C家族”的语言做比较，C# 正有个不同寻常的特性，其在 C++ 或者 Java 里没有真正意义上的对应之物。

---

C# 是一个颇具争议的新兴语言，由 Microsoft 开发创造，以作为其 Visual Studio.NET 的基石，目前正处于第一个 Beta 版的发布阶段。C# 结合了源自 C++ 和 Java 的许多特性。Java 社群对 C# 主要的批评在于，其声称 C# 只是一个蹩脚的 Java 克隆版本 ——与其说它是语言创新的成果，倒不如说是一桩诉讼的结果。而在 C++ 社群里，主要的批评（也同时针对 Java）是，C# 只不过是另一个泛吹滥捧的私有语言（yet another over-hyped proprietary language）。

本文意在展示一种 C# 的语言特性，而在 C++ 或 Java 中都没有直接支持类似的特性。这就是 C# 的 delegate 型别，其运作近似于一种指向成员函数的指针。我认为，C# delegate 型别是经过深思熟虑的创新型语言特性，C++ 程序员（无论其对 C# 或者 Microsoft 有何想法）应该会对这个特性产生特殊的兴趣。

为了激发讨论，我将围绕一个 testHarness class 的设计来进行阐述。这个 testHarness class 能够让任何类别对 static 或 non-static 的 class methods 进行注册，以便后续予以执行。Delegate 型别正是实现 testHarness class 的核心。

C# 的 Delegate Type

Delegate 是一种函数指针，但与普通的函数指针相比，区别主要有三：

1) 一个 delegate object 一次可以搭载多个方法（methods）[译注1]，而不是一次一个。当我们唤起一个搭载了多个方法（methods）的 delegate，所有方法以其“被搭载到 delegate object 的顺序”被依次唤起——稍候我们就来看看如何这样做。

2) 一个 delegate object 所搭载的方法（methods）并不需要属于同一个类别。一个 delegate object 所搭载的所有方法（methods）必须具有相同的原型和形式。然而，这些方法（methods）可以即有 static 也有 non-static，可以由一个或多个不同类别的成员组成。

3) 一个 delegate type 的声明在本质上是创建了一个新的 subtype instance，该 subtype 派生自 .NET library framework 的 abstract base classes Delegate 或 MulticastDelegate，它们提供一组 public methods 用以询访 delegate object 或其搭载的方法（methods）

声明 Delegate Type

一个 delegate type 的声明一般由四部分组成：(a) 访问级别；(b) 关键字 delegate；(c)返回型别，以及该 delegate type 所搭载之方法的声明形式（signature）；(d) delegate type 的名称，被放置于返回型别和方法的声明形式（signature）之间。例如，下面声明了一个 public delegate type Action，用来搭载“没有参数并具有 void 返回型别”的方法：

public delegate void Action();

一眼看去，这与函数定义惊人的相似；唯一的区别就是多了 delegate 关键字。增加该关键字的目的就在于：要通过关键字（keyword）——而非字元（token）——使普通的成员函数与其它形似的语法形式区别开来。这样就有了 virtual,static, 以及 delegate 用来区分各种函数和形似函数的语法形式。

如果一个 delegate type 一次只搭载单独一个方法（method），那它就可以搭载任意返回型别及形式的成员函数。然而，如果一个 delegate type 要同时搭载多个方法（methods），那么返回型别就必须是 void[译注2]。 例如，Action 就可以用来搭载一个或者多个方法（method）。在 testHarness class 实现中，我们就将使用上述的 Action 声明。

定义 Delegate Handle

在 C# 中我们无法声明全局对象；每个对象定义必须是下述三种之一：局部对象；或者型别的对象成员；或者函数参数列表中的参数。现在我只向你展示 delegate type 的声明。之后我们再来看如何将其声明为类别中的成员。

C# 中的 delegate type 与 class, interface, 以及 array types 一样，属于 reference type。每个 reference type 被分为两部分：

• 一个具名的 句柄（named handle），由我们直接操纵；以及
• 一个该句柄所属型别的不具名对象（unamed object），由我们通过句柄间接进行操纵。必须经由 new 显式的创建该对象。

定义 reference type 是一个“两步走”的过程。当我们写：

Action theAction;

的时候，theAction 代表“delegate type Action 之对象”的一个 handle（句柄），其本身并非 delegate object。缺省情况下，