C# 从带有约束的泛型推断类型

Question

我正在尝试通过以下方式注册从基类派生的泛型，但出现错误：

无法将MyCallback<T> 表达式转换为类型MyCallback<Event>

我希望这些限制能让这成为可能，但我错过了什么吗？

public class Event
{ };

public delegate void MyCallback<T>(T arg1) where T : Event;

static class EventDispatcher
{

    public static Dictionary<string, MyCallback<Event>> eventTable = new Dictionary<string, MyCallback<Event>>();

    static void RegisterCallback<T>(MyCallback<T> callback) where T : Event
    {
        eventTable.Add("test", callback);
    }
}

Answer 1

当您有MyCallback<Event> 时，您是在说您有一个可以接受任何 类型事件的方法。它可以接受EventOne、EventTwo 或SomeOtherEvent。

假设我调用 RegisterCallback 并传入一个委托，该委托指向具有此签名的方法：

public static void Foo(SomeOtherEvent arg)

如果您的代码可以工作，并且我可以将其分配给MyCallback<Event>，那么我可以在调用该方法时将EventOne 实例传递给该方法。这显然是个问题。

有一个术语；您期望MyCallback 就其通用参数而言是协变。事实上，它是逆变的。如果我有一个可以接受任何类型事件的方法，我可以清楚地传入SomeEvent或SomeOtherEvent，这意味着我可以将MyCallback<Event>分配给MyCallback<SomeOtherEvent>，而不是反过来。

如果你想告诉编译器，“我知道这个方法实际上不能用任何类型的事件调用，但我希望你允许这个检查，并且只有在给定参数不正确时才会在运行时失败类型。”那么你可以这样做，假设你实际上有办法确保你用正确的参数调用每个回调。你也不能只做演员；您需要将该方法包装在执行强制转换的新方法中：

eventTable.Add("test", e => callback((T)e));

Answer 2

您需要让类型参数成为EventDispatcher 类的一部分：

public class EventDispatcher<T> : where T : Event {
  public Dictionary<string, MyCallback<T>> eventTable = new Dictionary<string, MyCallback<T>>();

  void RegisterCallback(MyCallback<T> callback) {
    eventTable.Add("test", callback);
  }
}

这是因为eventTable 中声明的MyCallback<Event> 不会被编译为RegisteredCallback 中声明的相同类型，如您的示例那样编写。