在基类中使用动态关键字并调用泛型方法会导致 StackOverflowException 错误。

Question

根据我的问题（针对泛型方法的可重用非通用方法），我已经实现了提供的解决方案，但在进行一些重构（将代码移动到基类）后，我的代码会导致StackOverflowException，我不理解。

调用Handle(new TestCommand())会导致调用IMessageHandler.Handle(IMessage)，然后调用Handle<TMessage>(TMessage)，但它没有调用继承类的Handle(TestCommand message)，而是再次调用IMessageHandler.Handle(IMessage)。

通用方法中的as-cast到IMessageHandler<TestCommand>有效，否则它会调用HandleUnknownMessage(IMessage)。

很难描述，所以这里是我的测试代码：

class Program {
    static void Main(string[] args) {

        MyProcess p = new MyProcess();
        IMessageHandler handler = p;

        handler.Handle(new DummyCommand()); // works -> HandleUnknownMessage gets called as expected

        handler.Handle(new TestCommand());  // fails -> results in a StackOverflowException 
    }
}  

public abstract class ProcessBase : IMessageHandler {
    void IMessageHandler.Handle(IMessage message) {
        System.Diagnostics.Debug.WriteLine("Dynamic Message gets handled");
        dynamic dynamicMessage = message;

        Handle(dynamicMessage);
    }

    private void Handle<TMessage>(TMessage message) where TMessage : IMessage {
        System.Diagnostics.Debug.WriteLine("Generic Message gets handled");
        var handler = this as IMessageHandler<TMessage>;
        if (handler == null)
            HandleUnknownMessage(message);
        else
            handler.Handle(message);
    }

    protected virtual void HandleUnknownMessage(IMessage unknownMessage) {
        System.Diagnostics.Debug.WriteLine("Unknown message {0} passed to Process".FormatWith(unknownMessage.GetType()));
        // Handle unknown message types here.
    }
}

public class MyProcess : ProcessBase, IMessageHandler<TestCommand>, IMessageHandler<TestEvent> {

    public void Handle(TestCommand commandMessage) {
        System.Diagnostics.Debug.WriteLine("TestCommand gets handled");
    }

    public void Handle(TestEvent eventMessage) {
        System.Diagnostics.Debug.WriteLine("TestEvent gets handled");
    }
}

public class DummyCommand : IMessage {    }

public class TestCommand : IMessage {    }

如果我将基类ProcessBase中的代码放到MyProcess中，代码可以正常工作。使用动态关键字与泛型方法和继承有什么限制吗？

- Jehof

---

IMessageHandler<T> 定义了一个 Handle<T>(T) 方法吗？编辑：你能发布 IMessageHandler 和 IMessageHandler<T> 吗？ - Chris Sinclair

@Chris Sinclair：该死，你说得对。我忘记在IMessageHandler<T>上定义Handle<T>了。 - Jehof

没问题。我得记住这个技巧；这是一种促进运行时调用编译时通用调用的聪明方式。（我建议重命名ProcessBase上的私有Handle<TMessage>方法，以避免方法解析时出现混乱） - Chris Sinclair

Answer 1

尝试在 IMessageHandler<TMessage> 上定义一个 void Handle<TMessage>(TMessage message) 方法。

由于该方法未被定义，您定义的 MyProcess.Handle 事件仅属于该类，而不属于它实现的接口。当您的代码尝试调用 IMessageHandler<TMessage> handler 时，它并不知道它实际上是一个具有这些特定方法的 MyProcess。一旦添加了接口方法，调用就应该可以识别出这些方法存在于 MyProcess 上，并调用它们。否则，它只会调用 IMessageHandler.Handle(IMessage) 的下一个最佳方法，从而产生无限循环。

- Chris Sinclair