c# - 多个约束泛型类型的字典和接口(interface)

Question

我正在将一个 Java 项目转换为 C#，但我遇到了以下问题:

消息处理器

 public interface IMessageHandler<T, H> where T : IPeerAttachment where H : IMessage {
    void HandleMessage(T clientAttachment, H message);
}

登录请求处理程序

public class LoginRequestHandler : IMessageHandler<LoginPeerAttachment , LoginRequest> {
    public void HandleMessage(LoginPeerAttachment clientAttachment, LoginRequest message) {

    }
}

消息处理器注册表

 private readonly Dictionary<MessageId, IMessageHandler<IPeerAttachment, IMessage>> _handlers = new Dictionary<MessageId, IMessageHandler<IPeerAttachment, IMessage>>();

我想做的是:

LoginRequestHandler loginRequestHandler = new LoginRequestHandler();
_handlers[messageId] = loginRequestHandler;

这给了我一个编译错误，告诉我它需要是 IMessageHandler 类型。

我不确定为什么这不起作用，因为 LoginRequestHandler 仅实现接口(interface)中指定的派生类型。

有什么解决办法吗？

Answer 1

好的，这是不允许的，因为它不是类型安全的。嗯？以下内容怎么可能不是类型安全的:

var _handlers = new Dictionary<MessageId, IMessageHandler<IPeerAttachment, IMessage>>();
var loginRequestHandler = new LoginRequestHandler();
_handlers[messageId] = loginRequestHandler;

LoginRequestHandler是 IMessageHandler<IPeerAttachment, IMessage>那么这里出了什么问题？

好吧，假设前一个是合法的，然后更进一步，看看会发生什么:

var handler = _handlers[meesageId];
handler.HandleMessage(logOutPeerAttachment, logOutMessage);

这合法吗？好吧，它确实看起来像。 handler类型为 IMessageHandler<IPeerAttachment, IMessage>因此 HandleMessage可以处理提供的参数类型...

所以，现在我们遇到了一个可怕的情况；遵循完全合法的步骤，我们刚刚破坏了类型系统，因为我们以某种方式请求了 LoginRequestHandler处理 LogOutRequest .

显然，正如您亲身经历的痛苦一样，并非所有步骤都是合法的；此引用转换实际上是非法的:(IMessageHandler<IPeerAttachment, IMessage>)loginRequestHandler

为了使此转换生效，IMessageHandler 的类型变化需要是协变的，这意味着，泛型参数只能出去，不能进来(它比那更复杂一点，但它让这个想法得到了理解)。典型的例子？ IEnumerable<out T> ？为什么？因为没有办法输入一个T在IEnumerable<T> ，因此这是合法的:

var tigers = new List<Tiger>();
IEnumerable<Animal> animals = tigers;

但这不是:

var tigers = new List<Tiger>();
List<Animal> animals = tigers;

在您的场景中，协变接口(interface)似乎不是一个选择，因此您可能需要重新考虑您的方法。你似乎试图在你的类型系统中表达太多，以至于它与你作对。