C#委托构造函数传入方法组与委托实例的差异探究

先看你给出的代码示例：

定义实例方法Foo：

public void Foo(object? sender, EventArgs e) 
{
    Console.WriteLine("Foo");
}

创建两个EventHandler委托实例：

var x = new EventHandler(Foo); // 从方法组创建委托
var y = new EventHandler(x);   // 从已有委托创建委托

调用结果一致，但实例不等价：

x.Invoke(null, null); // 输出"Foo"
y.Invoke(null, null); // 输出"Foo"

ReferenceEquals(x, y); // false，不同实例
Equals(x, y);          // false
x.Equals(y);           // false

甚至从同一方法组创建的委托实例也不等价：

var x1 = new EventHandler(Foo);
var y1 = new EventHandler(Foo);
ReferenceEquals(x1, y1); // false
Equals(x1, y1);          // false

下面针对这些现象逐一解析：

一、委托实例化的底层机制 #

C#中的委托是引用类型，本质是继承自MulticastDelegate的特殊类，每个委托实例内部维护两个核心数据：

• Target：方法所属的对象实例（静态方法则为null）
• 方法指针：指向要执行的具体方法的内存地址

两种创建方式的底层逻辑完全不同：

1. 从方法组创建委托：
   当你用new EventHandler(Foo)时，CLR会直接将委托的Target绑定到Foo所属的类实例（如果Foo是实例方法），方法指针直接指向Foo方法本身。这种方式是直接绑定目标方法，没有额外的中间层。

2. 从已有委托创建委托：
   这是利用了委托构造函数的重载——当传入一个兼容的委托实例时，CLR会创建一个包装委托：

   • 新委托的Target会指向传入的原委托实例（也就是示例中的x）
   • 方法指针指向的是原委托的Invoke方法
     当调用y.Invoke(...)时，实际是触发x.Invoke(...)，最终还是会执行Foo，所以调用结果一致，但本质是两层嵌套调用。

二、Target属性差异的原因 #

• 对于x = new EventHandler(Foo)：
  如果Foo是实例方法，x的Target就是声明Foo的类实例（也就是this），因为实例方法必须通过类实例才能调用；如果Foo是静态方法，Target则为null。
• 对于y = new EventHandler(x)：
  y的作用是包装x，它的执行逻辑是调用x的Invoke方法，所以y的Target必须指向x这个委托实例，这样才能通过x间接调用Foo。

三、委托实例不等价的原因 #

1. ReferenceEquals返回false：
   每次通过new关键字创建委托时，CLR都会生成一个全新的对象实例，不管目标方法是否相同，所以任何两个手动new出来的委托实例引用都不相同，ReferenceEquals自然返回false。

2. Equals返回false：
   委托的Equals方法会比较两个委托的调用列表是否完全一致：

   • 对于x和y：x的调用列表是直接指向Foo，y的调用列表是指向x.Invoke，两者的Target和方法指针都不同，所以Equals返回false。
   • 对于x1和y1：如果Foo是实例方法且x1、y1绑定的是同一个类实例的Foo，理论上Equals应该返回true；如果返回false，大概率是因为x1和y1绑定的是不同的类实例（比如两次创建委托时用了不同的Foo所属实例），此时两者的Target不同，所以Equals返回false。

四、两种创建方式的适用场景 #

1. 从方法组创建委托：
   这是最常用的方式，适用于绝大多数场景，比如事件注册、回调函数传递等。这种方式性能最优，因为直接绑定目标方法，没有额外的包装层开销。

2. 从已有委托创建委托（包装委托）：

   • 委托类型转换：当需要将一个兼容的委托类型转换为另一种类型时（比如将Action<object, EventArgs>转换为EventHandler），可以通过这种包装方式实现（不过现在更推荐用隐式转换或Lambda表达式）。
   • 动态逻辑扩展：在一些反射或动态编程场景中，需要包装已有委托来添加额外逻辑（比如日志、异常捕获），此时可以通过创建包装委托来间接调用原委托。
   • 多播委托的组合辅助：在构建复杂的多播委托调用链时，有时需要包装已有委托来调整调用顺序或逻辑，但现在更多使用Delegate.Combine或+=运算符来实现。

内容的提问来源于stack exchange，提问作者SENya