是协方差和逆变相关的问题吗？

Question

我有以下代码：

class Header<TItem> where TItem : IItem { IEnumerable<TItem> Item { get; set; } }
class HeaderA : Header<ItemA> { public HeaderA(int a) {...} } 
class HeaderB : Header<ItemB> { public HeaderB(int b) {...} } 

interface IItem {...}
class ItemA : IItem { }
class ItemB : IItem { }

public static List<Header<IItem>> list = new List<Header<IItem>> 
{
    new HeaderA(1)
}

最后一个new HeaderA(1)的编译错误是

Error   1   The best overloaded Add method
'System.Collections.Generic.List<NS.Header<NS.IItem>>.Add(NS.Header<NS.IItem>)'
for the collection initializer has some invalid arguments

如何解决这个问题？

Answer 1

您正在尝试将Header<ItemA> 添加到List<Header<IItem>>。这需要从Header<ItemA> 到Header<IItem> 的转换——而且这种转换不存在。它不存在是有充分理由的。想象一下您的代码是有效的......那么这将起作用：

List<Header<IItem>> list = ...; // As per code
Header<IItem> header = list[0];
header.Item = new List<IItem>();

现在请记住 header 实际上是 HeaderA - 所以这个工作相当于这个 标头A标头=新标头A（）； header.Item = new List { new ItemB() };

如果其他人认为 header.Item 是 IEnumerable<ItemA>();，那就不好了 - 所以 这个 应该没问题：

ItemA itemA = header.Item.First();

...如果您在其中添加了ItemB，显然不会。

基本上，您正在寻找泛型协方差 - 但您只能在接口和委托上声明它（而不是在 Header<TItem> 等类上），并且只有当类型参数 不是由于Item setter，在输入位置使用。

也许更重要的是，您的设计看起来非常复杂 - 我强烈怀疑如果您退后一步，您可以设计自己的方式来尝试这样做。