C#接口实现和泛型集合问题

Question

假设我有以下代码：

public class CBase: AbstractC,IRenderable
{
 //code here
}

public class CBaseGroup
{
 private List<IRenderable> CCollection;

 public CBaseGroup(List<IRenderable> c)
 {
   CCollection=c;
 }
}

public class CGroup:CBaseGroup
{
 public CGroup(List<CBase> c):base(c) 
 //here fails because cannot convert List<CBase> to List<IRenderable>
 {
 }

}

为什么不编译？

请随意提出一个不合适的标题。

从 Matthew Scharley 的回答中我发现代码应该是这样的：

  public class CGroup:CBaseGroup
    {
     public CGroup(List<CBase> c):base(c.Cast<IRenderable>().ToList()) 
      // cast to list since I'm not using IEnumerable
     {
     }

    }

这至少满足编译器。

Answer 1

要获得你想要的效果，你需要做一些类似的事情

public class CBaseGroup<T> where T : IRenderable
{
 private List<T> CCollection;

 public CBaseGroup(List<T> c)
 {
   CCollection=c;
 }
}
public class CGroup:CBaseGroup<CBase>
{
 public CGroup(List<CBase> c):base(c) 
 {
 }
}

将IRenderable的具体类型注入到基类中。

Answer 2

C# 3.5 不支持逆变和协变。我相信我听说 C# 4.0 会（如果我错了，请有人纠正我。）

如需对此进行更深入的讨论，请have a look at this other question。

Answer 3

好吧，在第 1 行，您需要在任何接口之前包含父类

public class CBase: AbstractC, IRenderable

Answer 4

这是一个协变问题，因为 C# 3.5 不支持这种泛型类型转换。C# 4.0 将更多地支持泛型协变和逆变。

以下类型的转换按我们的预期工作并且已经做了很多次

IRenderable renderable = cbaseObject as IRenderable;

在类层次结构中，更具体的类型 cbaseObject 正在转换为更通用的类型 IRenderable。但是，以下与您的情况类似

List<CBase> listOfCBaseObjects = new List<CBase>();
IEnumerable<IRenderable> renderables = listOfCBaseObject as IEnumerable<IRenderable>;

不会工作，因为当前 C# 版本不支持它。

但是，自 C# 1.0 以来，就已经支持包含引用类型的数组的协方差。见Eric Lippert's blog port。因此，如果您执行以下操作，则转换将起作用：

CBase [] cbaseObjects = new CBase[] { new CBase(),new CBase()};
IRenderable [] renderables = cbaseObjects as IRenderables[];

因此，或者，如果您愿意，您可以更改 CBase 和 CBaseGroup 构造函数以采用数组而不是列表。以便您可以执行以下操作：

//constructor
public CBaseGroup(IRenderable[] c)

//constructor
public CGroup(CBase[] c):base(c as IRenderable[]) 

这应该可行。