为什么我不能将逆变接口作为接口上方法的参数？

我正在尝试使用接口设置 CoR，其中链中的处理程序可以是使用逆变的派生较少的事件类型。我创建这个界面来做到这一点。

public interface IHandler<in TEvent>
{
    void SetNext(IHandler<TEvent> next);
    void Handle(TEvent event);
}

由于编译器错误而失败

CS1961 无效方差：类型参数“TEvent”在“IHandler.SetNext(IHandler)”上必须是协变有效的。 'TEvent' 是逆变的。

我认为这应该是有效的，因为IHandler是协变的TEvent。我缺少什么？

如果你考虑一下的话，这就很有意义了Animals and Dogs.

我们先来制定一些具体的实现：

class AnimalHandler: IHandler<Animal> { 
    public void SetNext(IHandler<Animal> next) {
        // animal handlers can handle cats :)
        next.Handle(new Cat());
    }

    // ...
}

class DogHandler: IHandler<Dog> { ... }

由于类型参数IHandler是逆变的，aIHandler<Animal>是一种IHandler<Dog>:

IHandler<Animal> someAnimalHandler = new AnimalHandler();
IHandler<Dog> dogHandler = someAnimalHandler;

假设你的SetNext方法允许在中声明IHandler，然后我可以打电话SetNext和另外一个IHandler<Dog>在此dogHandler，因为这正是那种类型dogHandler.SetNext接受。

IHandler<Dog> anotherDogHandler = new DogHandler();
dogHandler.SetNext(anotherDogHandler);

但这应该是不可能的！毕竟，dogHandler实际上存储了一个实例AnimalHandler, whose SetNext方法接受IHandler<Animal>, and a IHandler<Dog>不一定是一个IHandler<Animal>， 是吗？想象一下如果实施的话会发生什么AnimalHandler.SetNext实际上运行 - 请记住next参数是一个DogHandler- 我们会请训狗师来照顾一只猫！

因此，声明无效SetNext与逆变TEvent.

这是更准确地指定的here。据说该类型IHandler<TEvent> is 输入不安全，因此禁止作为参数。

TEvent对于要编译的两个接口方法来说，它必须是不变的。