Question

在下面的代码中，请注意Bar来自Foo。

class Program
{
    public class Foo
    {
        public string data { get; set; }
    }

    public class Bar : Foo
    {
    }

    static void Main(string[] args)
    {
        var bars = new List<Bar>();

        bars.Add(new Bar() { data = "hello" });
        bars.Add(new Bar() { data = "world" });

        var resultsA = GetFoos(bars, (b => b.data.StartsWith("h")));
        var resultsB = GetBars(bars, (b => b.data.StartsWith("h")));
    }

    static List<Foo> GetFoos(List<Foo> fooList, Func<Foo, bool> criteria)
    {
        return fooList.Where(criteria).ToList();
    }

    static List<Bar> GetBars(List<Bar> barList, Func<Bar, bool> criteria)
    {
        return barList.Where(criteria).ToList();
    }
}

GetFoos方法调用导致此编译器错误消息：参数1：无法转换为＆＃39; System.Collections.Generic.List<Program.Bar>＆＃39;到＆＃39; System.Collections.Generic.List<Program.Foo>＆＃39;

但是，当该行被注释掉时，对GetBars（）的调用会正确执行。

我正在尝试在这里完成一项针对共同祖先类的查询，可能与linq一起使用吗？

Answer 1

只有界面可以是covariant。由于您尝试将List<Derived>分配给List<Base>，因此您需要使用协变接口。 IEnumerable已经是协变的，所以只需将代码更改为：

static List<Foo> GetFoos(IEnumerable<Foo> fooList, Func<Foo, bool> criteria)
{
    return fooList.Where(criteria).ToList();
}

static List<Bar> GetBars(IEnumerable<Bar> barList, Func<Bar, bool> criteria)
{
    return barList.Where(criteria).ToList();
}

IdeOne

上的证明

Answer 2

将List更新为IEnumerable：

static IEnumerable<Foo> GetFoos(IEnumerable<Foo> fooList, Func<Foo, bool> criteria)
{
    return fooList.Where(criteria).ToList();
}

static IEnumerable<Bar> GetBars(IEnumerable<Bar> barList, Func<Bar, bool> criteria)
{
    return barList.Where(criteria).ToList();
}

这是因为IEnumerable<Bar>是IEnumerable<Foo>的子类型。保留子类型是因为IEnumerable<T>在T上是协变的。

IList<Boo>和IList<Foo>都不是另一个的子类型，因为IList<T>在T上不变。

Lambdas超过多态类

2 个答案: