使用通用接口约束时的协变/逆变难题

    public interface IShape{}

    public class Rectangle : IShape{}

    public class Base{}

    public class Derived : Base{}

    public interface IFoo<out T, in U>
        where T : IShape
        where U : Base
    {
        T Convert(U myType);
    }

    public class MyFoo : IFoo<Rectangle, Derived>
    {
        public Rectangle Convert(Derived myType)
        {
            throw new NotImplementedException();
        }
    }    

    class Program
    {
        static void Main(string[] args)
        {
            IFoo<IShape, Base> hmm = new MyFoo();
        }
    }

鉴于上面的代码，编译器无法确定如何分配类型MyFoo to IFoo<IShape, Base>，大概是因为U设置为 out 意味着它可以接受更少的派生。然而，Derived是，嗯，比Base，因此会生成编译器错误。

这个例子是人为的，但我们正在处理的实现是这样的：MyFoo将从工厂返回。

虽然U用作参数，它也是尝试将其分配给通用接口时的输出，但我无法使用out关键字在这里。我们如何解决这个问题？

你的 IFoo 接口在这种用法中似乎是错误的，它应该是：

public interface IFoo<out T, **out** U>

With U外出。请记住，一个out泛型类型参数意味着它可以“向外”变化。也就是说，您可以隐式地将类型扩展为更宽的类型。In不过，这意味着您可以隐式地将类型“向内”缩小为更具体的类型。当然，这些只是粗略的类比。

所以在分配的情况下hmm，您正在隐式地尝试扩大接口泛型类型参数U from Derived to Base，但接口声明它正在缩小（in):

IFoo<IShape, Base> hmm = new MyFoo();

所以它不能进行隐式转换。如果您确实希望能够隐式扩展此接口，则第二个类型参数应该是out代替in.

更新：在您发表评论后，我发现最大的困境是您希望它既可以输入又可以输出，这实际上是不可能的，因为它是逆变输入，所以您不能将接口协变分配给IFoo<IShape, Base>， 很遗憾。

您要么需要围绕无法分配给的事实进行编码IFoo<IShape,Base>或者你可以做的是将 Foo 创建为：

public class MyFoo : IFoo<Rectangle, Base>

然后投射到Rectangle内部实施。最主要的是，同一类型参数不能同时具有协变和逆变。

这有道理吗？