方法签名中具有基类型的派生类型集合的扩展方法

Question

我想为使用基类作为类型要求的对象集合编写扩展方法。我知道这不一定是做事的最佳方式，但我很好奇，因为我有兴趣学习语言的细微差别。这个例子解释了我想做的事情。

public class Human { public bool IsHappy { get; set; } }
public class Man : Human { public bool IsSurly { get; set; } }
public class Woman : Human { public bool IsAgreeable { get; set; } }

public static class ExtMethods
{
    public static void HappinessStatus(this IEnumerable<Human> items)
    {
        foreach (Human item in items)
        {
            Console.WriteLine(item.IsHappy.ToString());
        }
    }
}

// then in some method, I wish to be able to do the following

List<Woman> females = RetreiveListElements(); // returns a list of Women
females.HappinessStatus(); // prints the happiness bool from each item in a collection

我可以让扩展方法公开的唯一方法是创建人类集合。只要我只引用基类型的成员，是否可以在派生类型上调用这种类型的扩展方法？

Answer 1

您的代码实际上将使用 C# 4 编译器按原样编译，因为该版本支持 contravariant type parameters。

要使其与 C# 3 一起使用，您可以为 IEnumerable<T> 创建一个泛型扩展方法，该方法具有作用于泛型类型的where T : Human 约束，而不是专门针对IEnumerable<Human>：

public static void HappinessStatus<T>(this IEnumerable<T> items) where T : Human
{
    foreach (T item in items)
    {
        Console.WriteLine(item.IsHappy.ToString());
    }
}

然后您可以按照您的描述调用 List<Woman> 集合上的扩展方法。