Microsoft.Net框架程序设计学习笔记（27）：委托判等、委托链
委托判等
FCL中Delegate重写了Object的Equals虚方法，MulticastDelegate又重写了Delegate的Equals实现。MulticastDelegate重写的Equals方法在比较两个委托对象时会首先看它们的_target和_methodPtr字段是否都指向同样的对象和方法。如果这两个字段不匹配，那么返回false。如果这两个字段都匹配，那么再看两个委托对象是否为委托链表的头部（即_prec字段不为null）。如果两个委托对象的_prev字段指示的链表有相同的长度，且两个链表上对应委托对象的_target和_methodPtr字段也都互相匹配，那么Equals返回true，否则返回false。
接上节中示例：
TestDelegate td3
=
new
TestDelegate(tc.Length);
TestDelegate td4
=
new
TestDelegate(tc.Length);
Console.WriteLine(td3
==
td4);
//
输出true
td4
+=
new
TestDelegate(tc.Display);
Console.WriteLine(td3
==
td4);
//
输出false
当我们操作委托链时，理解如何比较两个委托对象是否相等非常重要。
委托链
每个MulticastDelegate对象都有一个私有字段_prev。该字段指向另一个MulticastDelegate对象的引用。这使得多个委托对象可以组合成一个链表。
Delegate类中定义了3个静态方法帮助我们操作委托链表。
class
System.Delegate
{
//
组合head和tail所表示的链表，并返回head。
//
head将是最后一个被调用的委托对象
public
static
Delegate Combine(Delegate tail, Delegate head);
//
创建一个由委托数组表示的委托链表。
//
索引为0的元素将为链表尾部，且有第一个被调用的委托对象
public
static
Delegate Combine(Delegate[] delegateArray);
//
从链表中移除一个和value的回调目标/回调方法相匹配的委托
//
新的链表头会被返回，且将是最后一个被调用的委托对象
public
static
Delegate Remove(Delegate source, Delegate value);
}
当我们构造一个新的委托对象，其_prev字段会被设为null。要将两个委托对象组合成一个链表，我们可以调用Delegate两个静态Combine方法中的任何一个。
//
以上节代码为例
TestDelegate td1
=
new
TestDelegate(Sum);
TestDelegate td2
=
new
TestDelegate(Sum);
TestDelegate tdChain
=
(TestDelegate)Delegate.Combine(td1, td2);
TestDelegate[] tdArray
=
new
TestDelegate[
2
];
TestDelegate[
0
]
=
new
TestDelegate(Sum);
TestDelegate[
1
]
=
new
TestDelegate(Sum);
tdChain
=
(TestDelegate)Delegate.Combine(tdArray);
当一个委托对象被调用时，编译器会产生对该委托类型的Invoke方法的调用。
继续以上节的代码为例，描述Invoke方法内部的源码（伪码描述）：
public
void
virtual
Invoke(
int
[] array)
{
//
如果链表上包含有任何应该被首先调用的委托，那么将对它们进行递归调用
if
(_prev
!=
null
)
_prev.Invoke(array);
//
在指定目标对象上调用回调方法
_target.methodPtr(array);
}
这样通过递归调用，链表上的所有回调方法都被执行一遍。
注意：如果委托方法带有返回值，那么唯有链表头部的那个委托调用（即最后一次调用的回调方法）的返回值被返回，其他的委托调用返回值都被丢弃。
委托对象一旦被构造，它们就被认为是恒定不变的。也就是说，委托对象的_prev字段总被设置为null，且不会改变。当我们调用Combine将一个委托对象组合到一个委托链中时，Combine方法在内部会构造一个新的委托对象，新委托对象和源委托有着同样的_target和_methodPtr字段，但是其_prev字段被设置指向原先的委托链的头部。最后Combine方法返回新委托对象的地址。
委托对象的移除：
//
以上节代码为例
TestDelegate td1
=
new
TestDelegate(Sum);
TestDelegate td2
=
new
TestDelegate(Sum);
TestDelegate tdChain
=
(TestDelegate)Delegate.Combine(td1, td2);
tdChain
=
(TestDelegate)Delegate.Remove(tdChain, new TestDelegate(Sum));
构造一个新的委托对象的目的就是为了将其从委托链中移除，是不是很奇怪？
在调用Remove时，我们构造了一个新的委托对象。该委托对象_target和_methodPtr字段都得到了适当的初始化，_prev字段被初始化为null。Remove方法首先扫描tdChain引用的委托链，检查其上是否有和新建的委托对象相等的委托对象。如果找到一个匹配，Remove方法便从委托链上移除找到的委托对象，这可以通过修正委托链上找到的那个委托对象前一个委托对象的_prev字段来达到。Remove方法最终返回新委托链的头部。如果找不到，Remove方法将不执行任何操作，亦不会抛出异常，而直接返回传递给它的第一个参数。
注意：如果在委托链上找到了要移除的委托对象或委托链，那么每一次调用Remove方法都只移除从链表头开始的第一个这样的委托对象或委托链。
为减轻开发人员的编程工作，C#编译器自动为委托类型实例提供了+=和-=操作符重载，这两个操作符分别调用Delegate.Combine和Delegate.Remove方法。