C# - 如何从工厂方法创建继承的通用集合

Question

我正在尝试编写一个工厂方法来创建抽象通用集合类的派生实例。这是基类……

abstract class ItemBase { }

abstract class CollectionBase<T> : Collection<T> where T : ItemBase, new() { }

及其派生类……

class Item : ItemBase { }

class ItemCollection : CollectionBase<Item> {}

现在，我想要一个工厂方法来创建 ItemCollection。但请注意，派生类 Item 和 ItemCollection 对于包含此工厂方法的类来说是未知的。这就是我想象的应该是......

static T CreateItemCollection<T>() where T : CollectionBase<ItemBase>, new()
{
    return new T();
}

并且我想象这样调用它......

var collection = CreateItemCollection<ItemCollection>();

但是工厂方法不会编译，因为 ItemBase 必须有一个无参数构造函数。并且调用拒绝相信 ItemCollection 是从 CollectionBase 派生的。

有人可以指出我正确的方向吗？谢谢。

Answer 1

由于通用不变性，ItemCollection 不是派生自 CollectionBase。毕竟，您可以将 ItemBase 添加到 CollectionBase - 但您不希望将其用于您的 ItemCollection！

您需要使方法在两个类型参数中通用：

static T CreateItemCollection<TCollection, TItem>()
    where TCollection : CollectionBase<TItem>, new()
    where TItem : ItemBase
{
    return new TCollection();
}

只有集合类型需要无参数构造函数。你可以这样称呼它：

var collection = CreateItemCollection<ItemCollection, Item>();

Answer 2

这里的问题是通用约束，在 C# 3.0 中，对于方差有任何余地。相反，匹配相当严格。由于 ItemCollection 派生自 CollectionBase，因此不被视为派生自 CollectionBase，即使类型可能看起来兼容。