使用泛型类的参数作为事件类型

Question

class MyClass<T> {
    public event T MyEvent;
}

错误：CS0066 'MyClass<T>.MyEvent': event must be of a delegate type。

好的……C# ≥7.3 allows Delegate as base class constraint。让我们使用它：

class MyClass<T> where T: Delegate {
    public event T MyEvent;
}

错误：CS0066 'MyClass<T>.MyEvent': event must be of a delegate type。

WTH???

Answer 1

虽然我在 C# 规范中找不到记录的限制，但我可以看到在 C#/CLR 中支持此类事件至少有两个问题，都与它的引发方式有关。

第一个困难：语言

C# 只允许从声明它的类型中引发事件。但是如果你的泛型类甚至不知道它T 的参数数量，那么引发事件的代码应该是什么样的？

class MyClass<T> where T: Delegate 
{
    public event T MyEvent;

    public void DoSomething()
    {
        // raise MyEvent here
        MyEvent(/* what goes here? */);
    }
}

当然，您可以将MyClass 抽象化并说指定T 类型的继承者会引发事件。但是，在我看来，这将是一种非常不一致的语言设计。

第二难点：在编译器中

CLR 实现运行时泛型。这意味着，对于任何满足通用约束的T，编译器必须生成在运行时应该很好的 IL。

引发事件基本上是调用存储在事件字段中的委托。编译器生成的 IL 应该大致包括以下步骤：

• 将委托对象引用推入堆栈
• 推送参数 1
• 推送参数2
• ....
• 推论N
• 调用委托的调用方法

如果代理不是void，则需要额外的步骤：

• 从堆栈中弹出返回值，并可能将其存储在字段或局部变量中

如您所见，生成的 IL 严格取决于参数的数量以及委托是否为void。因此，这样的 IL 对任何Delegate 都没有好处。

对比

有泛型参数的事件委托是完全可以的，例如：

delegate void MyEventHandler<K, V>(K key, V value);

因为参数的数量和委托是否为void 在编译时是已知的。在这种情况下，可以生成适用于任何K 和V 的同一组IL 指令。在 IL 中，K 和 V 生成为类型占位符，CLR 能够在运行时解析。