委托链通过Delegate.Combine和Remove实现,基于MulticastDelegate的_invocationList数组合并与移除,+操作符创建新实例合并调用列表,-操作符逆序查找并移除最后一个匹配项,调用时遍历执行各节点,异常会中断后续调用,需手动遍历GetInvocationList实现容错。

委托链的实现原理,本质上是 Delegate 类对 + 和 - 操作符的重载,底层依赖于 MulticastDelegate 的链式结构和不可变性设计。
委托链的底层数据结构:MulticastDelegate
C# 中所有多播委托(即支持链式调用的委托)都继承自 MulticastDelegate,而它本身又继承自 Delegate。关键区别在于:
- Delegate 表示单个方法调用(Target + Method)
- MulticastDelegate 额外维护一个 private readonly object[] _invocationList 字段(.NET Core/.NET 5+ 中为 object?[]),实际存储委托节点数组
这个数组不是动态扩容的列表,而是每次组合时新建数组,体现“不可变性”——这也是委托链线程安全的基础。
+ 操作符:创建新委托链
当写 del1 + del2 时,编译器调用 Delegate.Combine(del1, del2),其逻辑大致如下:
- 若
del1为null,返回del2(非 null) - 若
del2为null,返回del1 - 若两者都不为 null,且都是 MulticastDelegate 子类,则合并它们的
_invocationList数组(先拷贝del1的全部项,再追加del2的全部项) - 若任一为单播委托(即普通
Delegate),则将其包装为长度为 1 的数组参与合并
最终返回一个全新的 MulticastDelegate 实例,原委托对象不变。
- 操作符:从链中移除匹配的委托
del1 - del2 对应 Delegate.Remove(del1, del2),行为更精细:
- 从
del1的调用列表尾部开始向前扫描(注意:是逆序) - 逐个比对每个委托节点是否与
del2“相等”(通过Delegate.Equals()判定:要求Target和Method完全一致) - 找到第一个匹配项后,移除它,并将剩余项组成新数组,返回新委托
- 若没找到,直接返回原
del1
⚠️ 注意:只移除最后一个匹配项**(不是第一个),且仅移除一个。多次减同一委托需多次调用 -。
调用时如何执行整个链?
当你调用 multiDel(),实际触发的是 MulticastDelegate.Invoke() 的默认实现:
- 遍历
_invocationList中每个委托 - 依次调用
eachDelegate.Invoke(...) - 如果中间某个委托抛出异常,默认不会自动跳过**,整个调用立即中断(除非你手动捕获)
如需容错执行(类似“fire-and-forget”风格),需自行遍历 GetInvocationList() 并 try-catch 每一项。
基本上就这些。委托链不是魔法,它是基于不可变数组拼接 + 运算符重载 + 继承体系的一套严谨设计,既保证语义清晰,又兼顾线程安全与可预测性。







