67

在代码审查中，我偶然发现了这个（简化的）代码片段来取消注册事件处理程序：

 Fire -= new MyDelegate(OnFire);

我认为这不会取消注册事件处理程序，因为它会创建一个以前从未注册过的新委托。但是搜索 MSDN 我发现了几个使用这个成语的代码示例。

于是我开始了一个实验：

internal class Program
{
    public delegate void MyDelegate(string msg);
    public static event MyDelegate Fire;

    private static void Main(string[] args)
    {
        Fire += new MyDelegate(OnFire);
        Fire += new MyDelegate(OnFire);
        Fire("Hello 1");
        Fire -= new MyDelegate(OnFire);
        Fire("Hello 2");
        Fire -= new MyDelegate(OnFire);
        Fire("Hello 3");
    }

    private static void OnFire(string msg)
    {
        Console.WriteLine("OnFire: {0}", msg);
    }

}

令我惊讶的是，发生了以下事情：

  1. Fire("Hello 1");正如预期的那样，产生了两条消息。
  2. Fire("Hello 2");产生了一条消息！
    这让我相信注销new代表是有效的！
  3. Fire("Hello 3");扔了一个NullReferenceException。
    调试代码表明这Fire是null在取消注册事件之后。

我知道对于事件处理程序和委托，编译器会在后台生成大量代码。但我仍然不明白为什么我的推理是错误的。

我错过了什么？

附加问题：从没有注册事件的事实来看，我得出结论，无论Fire何时null触发事件，null都需要进行检查。

4

2 回答 2

85

C# 编译器的默认实现是添加事件处理程序调用Delegate.Combine，同时删除事件处理程序调用Delegate.Remove：

Fire = (MyDelegate) Delegate.Remove(Fire, new MyDelegate(Program.OnFire));

框架的实现Delegate.Remove不关注MyDelegate对象本身，而是关注委托引用的方法（Program.OnFire）。MyDelegate因此，在取消订阅现有事件处理程序时创建新对象是完全安全的。因此，C# 编译器允许您在添加/删除事件处理程序时使用简写语法（在幕后生成完全相同的代码）：您可以省略以下new MyDelegate部分：

Fire += OnFire;
Fire -= OnFire;

从事件处理程序中删除最后一个委托时，Delegate.Remove返回 null。正如您所发现的，在引发事件之前，必须针对 null 检查事件：

MyDelegate handler = Fire;
if (handler != null)
    handler("Hello 3");

它被分配给一个临时局部变量，以防止在其他线程上取消订阅事件处理程序可能出现的竞争条件。（有关将事件处理程序分配给局部变量的线程安全性的详细信息，请参阅我的博客文章。）解决此问题的另一种方法是创建一个始终订阅的空委托；虽然这会使用更多内存，但事件处理程序永远不能为空（并且代码可以更简单）：

public static event MyDelegate Fire = delegate { };
于 2008-11-15T18:00:47.613 回答
15

在触发委托之前，您应该始终检查委托是否没有目标（其值为空）。如前所述，一种方法是订阅一个不会被删除的无操作匿名方法。

public event MyDelegate Fire = delegate {};

但是，这只是避免 NullReferenceExceptions 的一种技巧。

只是简单地在调用之前检查委托是否为空不是线程安全的，因为其他线程可以在空检查之后取消注册并在调用时使其为空。还有另一种解决方案是将委托复制到临时变量中：

public event MyDelegate Fire;
public void FireEvent(string msg)
{
    MyDelegate temp = Fire;
    if (temp != null)
        temp(msg);
}

不幸的是，JIT 编译器可能会优化代码、消除临时变量并使用原始委托。（根据 Juval Lowy - Programming .NET Components）

因此，为避免此问题，您可以使用接受委托作为参数的方法：

[MethodImpl(MethodImplOptions.NoInlining)]
public void FireEvent(MyDelegate fire, string msg)
{
    if (fire != null)
        fire(msg);
}

请注意，如果没有 MethodImpl(NoInlining) 属性，JIT 编译器可能会内联该方法，使其毫无价值。因为委托是不可变的，所以这个实现是线程安全的。您可以将此方法用作：

FireEvent(Fire,"Hello 3");
于 2008-11-15T20:42:29.143 回答