使用通用接口约束时的协方差/协方差难题
||
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
IFoo<IShape, Base>
U
Derived
MyFoo
out
没有找到相关结果
已邀请:
2 个回复
济畦刨
被淘汰。请记住，“ 8”泛型类型参数意味着它可以变化“向外”。也就是说，可以将类型隐式扩展为更大的类型。但是，“ 12”表示您可以隐式地将“向内”类型缩小为更具体的类型。当然，这些只是粗略的类比。 因此，在分配的情况下，您隐式地尝试将的接口泛型参数从扩展到，但是接口声明它正在变窄（）：因此它无法进行隐式转换。如果您确实希望能够隐式扩展此接口，则第二个类型参数应为而不是。 更新：发表您的评论后，我发现最大的难题是您希望它同时输入和输出，这实际上是不可能的。由于这是一个反输入，因此您不能将接口协变地分配给，很不幸。 您可能需要围绕无法分配给的事实进行编码，或者可以通过以下方式创建Foo：然后在实现中强制转换为。最主要的是，同一类型参数不能同时具有协方差和协方差。 这有意义吗？戒黑恳农