C# Infer Тип от Generic с ограничением

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 будет covariant относительно его общего аргумента. Фактически, это contravariant. Если у меня есть метод, который может принять любой случай, я могу четко передать в 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); 
    } 
} 

Это происходит потому, что MyCallback<Event> объявлен в eventTable не собирается быть составлен в тот же тип, объявленный в RegisteredCallback когда это как ваш пример.