避免传递扩展泛型类的类的泛型类型参数

Question

我有一个抽象类 Creature，它接受一个泛型类型参数，由另外两个类 Human 和 Spider 扩展。每个子类都定义了其父类的泛型。

我不知道如何将子类作为父类的引用传递给方法。

public interface IDamagable
{
    void OnSimpleHit();
}

public interface IStabAble : IDamagable
{
    void OnKnifeStab();
}

public interface ISlapAble : IDamagable
{
    void OnSlap();
}

public abstract class Creature<T> where T : IDamagable
{
    public abstract void Init(T damageListener);
}

public abstract class Human : Creature<ISlapAble>
{

}

public abstract class Spider : Creature<IStabAble>
{

}

public class MainClass
{
    public void Test()
    {
        List<Spider> spiderList = new List<Spider>();
        List<Human> humanList = new List<Human>();

        PrintList<IDamagable>(spiderList); // Argument `#1' cannot convert
        //`System.Collections.Generic.List<newAd.B_A_A>' expression 
        //to type `System.Collections.Generic.List<newAd.A_A<newAd.I_B>>'
    }

    protected void PrintList<T>(List<Creature<T>> list)
    {

    }
}

如果 PrintList 采用 2 个通用参数，这不会引发错误

protected void PrintList<T,U>(List<T> list) where T : Creature<U> where U : IDamagable
    {

    }

但是我不想再次传递 U，因为 T 已经用 U 作为类型参数构造了，例如 Spider 已经定义了 Creature 来获取 IStabAble 的类型参数。

所以基本上，我一直坚持如何编写方法，以便以最少的泛型参数同时满足 Spider 和 Human 的需求。
谢谢

Answer 1

我假设PrintList 只需要对列表进行只读只进访问。

解决方案是让PrintList 方法接受IEnumerable<Creature<T>>，如下所示：

void PrintList<T>(IEnumerable<Creature<T>> list) where T: IDamagable
{
    //...
}

然后这样称呼它：

PrintList(spiderList);

因为IEnumerable<T> 中的泛型类型参数T 是covariant，所以这将起作用。

在您的特殊情况下，因为您使用的是 .NET 2.0（不支持协变类型参数），所以此解决方案将不起作用。这是一个解决方法：

创建一个Cast 方法，可以像这样在具有不同项目类型的枚举之间进行转换（在.NET 3.5 中，我们已经有了这样的方法作为扩展方法）：

public static IEnumerable<U> Cast<T, U>(IEnumerable<T> source) where T : U
{
    foreach (var item in source)
    {
        yield return item;
    }
}

并像这样使用它：

PrintList(Cast<Spider, Creature<IStabAble>>(spiderList));