为什么虚拟字段类事件的工作方式与它们在 C# 中的工作方式相同？ [复制]

Question

最近我发现虚拟事件在 C# 中并不像人们预期的那样工作。 考虑这段代码：

public abstract class MyClassBase
{
    public virtual event EventHandler<EventArgs> MyEvent;

    public void DoStuff()
    {
        if (MyEvent != null)
        {
            MyEvent(this, EventArgs.Empty);
        }
    }
}

public class MyClassDerived : MyClassBase
{
    public override event EventHandler<EventArgs> MyEvent;
}

鉴于此定义，以下代码的行为与我预期的不同：

MyClassBase obj = new MyClassDerived();
obj.MyEvent += (s, e) => { /* Never gets called */ };

// Call method on base class that raises MyEvent
obj.DoStuff();

我已经完成了更广泛的write-up on my blog，但我只想说我找到了一个warning on MSDN，它确认了该行为是意外的，但它没有说明原因。谁能想到以这种方式实施的原因？它最初是为了向后兼容而留下的错误吗？我想至少可以添加某种编译器警告。

我意识到这很可能是猜测，但我正试图为这种奇怪的行为找到一个合理的解释。

Answer 1

编译器将类字段事件扩展为如下内容：

public abstract class MyClassBase
{
    private EventHandler _myEvent;
    public virtual event EventHandler MyEvent
    {
        add { _myEvent += value; }
        remove { _myEvent -= value; }
    }

    public void DoStuff()
    {
        if (_myEvent != null)
        {
            _myEvent(this, EventArgs.Empty);
        }
    }
}

（注意DoStuff 方法如何使用字段，而不是事件）

因此，当您使用另一个类似字段的事件覆盖该事件时，您会获得一个新字段，并且被覆盖的事件会修改新字段，而不是来自基类的字段：

public class MyClassDerived : MyClassBase
{
    private EventHandler _myEvent;
    public override event EventHandler MyEvent
    {
        add { _myEvent += value; }
        remove { _myEvent -= value; }
    }
}

因此，当您向MyClassDerived 的实例添加处理程序时，MyClassBase 中的_myEvent 字段不受影响，因此DoStuff 方法会看到一个空处理程序。