深入理解 C# 委托：从类型本质到调用链构建

委托的本质：隐藏的基类继承

初学 C# 时，声明一个委托往往让人感到困惑。例如定义 AssembleIphoneHandler：

public delegate void AssembleIphoneHandler();

这看起来像是在声明一个类型，但它的底层逻辑并非如此简单。如果尝试手动创建一个从 System.MulticastDelegate 派生的类，编译器会报错，提示不能直接从该基类派生子类。

真相是：编译器进行了自动转换。 当你使用 delegate 关键字时，编译器会在后台为你生成一个密封类，该类自动继承自 System.MulticastDelegate。因此，通过 delegate 定义的每一个类型，本质上都是 System.MulticastDelegate 的一个具体子类。

实战：单步调试委托链的建立过程

为了看清委托如何组合多个方法，我们构建一个模拟组装手机的场景。定义三个实例方法并尝试将它们合并到一个委托变量中。

第1步：初始化独立委托实例

首先创建几个单独的委托对象，分别绑定不同的操作方法。通过调试器观察这些初始状态至关重要。

Apple.AssembleIphoneHandler d1 = new Apple.AssembleIphoneHandler(foxconn.AssembleIphone);
Apple.AssembleIphoneHandler d2 = new Apple.AssembleIphoneHandler(foxconn.PackIphone);
Apple.AssembleIphoneHandler d3 = new Apple.AssembleIphoneHandler(foxconn.ShipIphone);

当执行 d1 赋值语句后，查看监视窗口：

此时 d1 的状态特征如下：

• _invocationCount： 0（表示尚未形成多播列表）。
• _target： 指向 Foxconn 实例（因为绑定的是非静态实例方法）。若绑定静态方法，此项为 null。
• _methodPtr： 方法的唯一标识句柄。
• _methodBase： 包含方法名、返回类型等元数据。

同理，d2 和 d3 也各自独立，分别对应装箱/打包和发货方法。

第2步：首次合并操作（空值处理）

使用 += 运算符将第一个委托加入链中。假设 d4 初始为 null：

d4 += d1;

此时调试显示 d4 直接指向了 d1 的对象引用。这是因为 Delegate.Combine 的逻辑规定：如果其中一个参数为 null，则直接返回另一个非 null 参数。此时的 d4 并没有生成新的“组合”对象，而是复用了 d1 的结构。

第3步：真正的委托链构建

继续添加第二个方法。此时情况发生变化：

d4 += d2;

注意观察：委托是不可变的。 这里并没有修改原有的 d1 或 d4 指向的内存对象。实际上，Combine 方法创建了一个全新的委托实例。这个新实例的 _invocationList 数组包含了两个元素：原来的 d1 和新传入的 d2。同时，d4 变量的指针被更新，指向了这个新创建的组合对象。

第4步：完整链路与 RemoveAll 机制

最后加入第三个方法：

d4 += d3;

现在的 d4 指向一个新的委托实例，其 _invocationList 数组按顺序包含了 d1、d2 和 d3。当你调用 d4() 时，系统会遍历该列表，依次执行这三个方法。

补充：移除委托的规则

如果使用 -= 或 Delegate.Remove，其逻辑同样严谨：

1. A 为 null： 返回 null。
2. B 为 null： 返回 A（无变化）。
3. A 是单播委托： 如果 A 与 B 匹配，返回 null；否则返回 A。
4. A 是多播委托： 倒序遍历 _invocationList，找到第一个与 B（_target 和 _methodPtr）完全匹配的项进行移除。移除后，如果列表中仅剩一项，则返回该项的单播委托；如果还有多项，则构建新的多播委托对象。

如果需要移除所有匹配的方法（例如一个工厂里有多条产线都注册了同一个事件），应使用 Delegate.RemoveAll。

以上就是深入理解 C# 委托类型与委托链建立的详细内容，更多关于 C# 高级特性与 .NET 底层的资料请关注本站其它相关文章！