c# - 如何定义接受任何生成 IEnumerable<T> 的任务的函数？

Question

我正在寻找一个函数来接受任何产生 IEnumerable<T> 的任务.为了说明，请考虑以下函数签名。

void DoWork<TElement>(Task<IEnumerable<TElement>> task)
{ }

现在，我想按如下方式调用此方法:

Task<int[]> task = Task.FromResult(new[] { 1, 2, 3 });
DoWork(task);

显然，这行不通，因为两个 Task类型不相同，并且任务不存在协方差。但是，我想知道是否有一些聪明的技巧可以让它发挥作用，灵感来自以下示例。

async Task<IEnumerable<int>> GetTask()
{
    return await Task.FromResult(new int[] { 1, 2, 3 });
}

在这里，await正在使用内联任务的结果有效地创建一个新任务，因此产生了类型转换的错觉。

举个更详细的例子，我想允许用户调用DoWork没有太多的转化负担:

// Service proxy method
Task<int[]> GetInts()
{
    // simplified for brevity
    return Task.FromResult(new[] { 1, 2, 3 });
}

// Service proxy method
Task<long[]> GetLongs()
{
    // simplified for brevity
    return Task.FromResult(new[] { 100L, 200L, 300L });
}

async Task<IEnumerable<T>> DoWork<T>(Func<Task<IEnumerable<T>>> getData,
                                     Func<T, bool> predicate)
{
    return (await getData()).Where(predicate);
}

// GOAL:
DoWork(GetInts, i => i % 2 == 0);
DoWork(GetLongs, l => l % 40 == 0);

Answer 1

您可以再引入一个 Type 参数并执行如下操作:

async Task<IEnumerable<TElement>> DoWork<T, TElement>(Func<Task<T>> getData,
                              Func<TElement, bool> predicate) where T : IEnumerable<TElement>
{
    return (await getData()).Where(predicate);
}

Task<int[]> GetInts()
{
    return Task.Run(() => new[] { 1, 2, 3 });
}

Task<long[]> GetLongs()
{
    return Task.Run(() => new[] { 100L, 200L, 300L });
}

那么你可以

static void Main()
{
    var ints = DoWork<int[], int>(GetInts, i => i % 2 == 0).Result;
    var longs = DoWork<long[], long>(GetLongs, i => i % 2 == 0).Result;
}

或者如 OP 在评论中所述，如果您指定 TElement，您可以让编译器推断类型明确地。

var ints = DoWork(GetInts, (int i) => i % 2 == 0).Result;

您的代码自 Task<T> 起无效在 T 上不是“协变的” .您可能知道类不能是协变的。