委托链的实现原理,本质上是 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 每一项。
基本上就这些。委托链不是魔法,它是基于不可变数组拼接 + 运算符重载 + 继承体系的一套严谨设计,既保证语义清晰,又兼顾线程安全与可预测性。
