C# 委托链(delegate chaining)的实现原理 - +和-操作符的背后

来源:这里教程网 时间:2026-02-21 17:32:51 作者:

委托链的实现原理,本质上是 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 每一项。

基本上就这些。委托链不是魔法,它是基于不可变数组拼接 + 运算符重载 + 继承体系的一套严谨设计,既保证语义清晰,又兼顾线程安全与可预测性。

相关推荐