能否基于多态为泛型应用不同类型？.NET泛型协变疑问

首先明确：Queue<T>是不变泛型类型，无法直接将父类的Queue<Base>当作Queue<Derived>使用——泛型协变仅支持标记为out T的输出型接口（如IEnumerable<out T>），而Queue<T>同时支持入队（输入操作）和出队（输出操作），不符合协变的适用条件。

以下是几种可行的解决方案：

1. 使用泛型父类（推荐） #

将父类定义为泛型类，通过类型约束限定为Base的子类，这样子类可以指定具体的Derived类型，队列的类型会自动匹配，既保证类型安全又能复用逻辑：

abstract class Foo<T> where T : Base
{
    protected Queue<T> MyQueue;
}

class Bar : Foo<Derived>
{
    // 此处MyQueue直接为Queue<Derived>类型，可直接使用
    public void Example()
    {
        MyQueue.Enqueue(new Derived());
        Derived item = MyQueue.Dequeue();
    }
}

2. 子类封装类型安全访问器（兼容非泛型父类场景） #

如果无法修改父类的泛型结构，可以在子类中封装针对Derived类型的访问方法，通过显式类型检查保证安全：

abstract class Foo
{
    protected Queue<Base> MyQueue;
}

class Bar : Foo
{
    // 入队：安全，因为Derived是Base的子类
    public void EnqueueDerived(Derived item)
    {
        MyQueue.Enqueue(item);
    }

    // 出队：检查类型，避免转换失败
    public Derived DequeueDerived()
    {
        Base item = MyQueue.Dequeue();
        if (item is not Derived derivedItem)
            throw new InvalidCastException("队列元素并非Derived类型");
        return derivedItem;
    }

    // 若需遍历，可返回IEnumerable<Derived>（利用协变）
    public IEnumerable<Derived> GetDerivedItems()
    {
        return MyQueue.OfType<Derived>();
    }
}

注意：这种方式需要确保父类队列中仅存在Derived类型元素，否则会抛出类型转换异常。

关于泛型协变的补充 #

你提到的协变仅适用于输出型场景：比如可以将Queue<Derived>赋值给IEnumerable<Base>（因为IEnumerable<out T>是协变的），但反过来不能将Queue<Base>当作Queue<Derived>——后者需要支持向队列中添加Derived类型（输入操作），而原队列实际允许存储任意Base子类，类型安全无法保证。

内容的提问来源于stack exchange，提问作者Daniel Famakin