c# - 等待异步谓词列表，但在第一个 false 时退出

Question

想象一下下面的类:

public class Checker
{
   public async Task<bool> Check() { ... }
}

现在，想象一下这个类的实例列表:

IEnumerable<Checker> checkers = ...

现在我想控制每个实例都会返回true :

checkers.All(c => c.Check());

现在，这不会编译，因为 Check()返回 Task<bool>不是bool .

所以我的问题是:如何最好地枚举跳棋列表？ 一旦检查器返回 false，我该如何快捷枚举？ ？ (我认为 All( ) 已经做到了)

Answer 1

“异步序列”总是会引起一些混淆。例如，不清楚您想要的语义是否是:

1. 同时开始所有检查，并在完成时对其进行评估。
2. 一次开始一项检查，按顺序评估它们。

还有第三种可能性(同时开始所有检查，并按顺序评估它们)，但在这种情况下这会很愚蠢。

我建议将 Rx 用于异步序列。它为您提供了很多选择，并且学习起来有点困难，但它也迫使您思考您到底想要什么。

以下代码将同时启动所有检查并在它们完成时对其进行评估:

IObservable<bool> result = checkers.ToObservable()
    .SelectMany(c => c.Check()).All(b => b);

它首先将检查器序列转换为可观察对象，对它们全部调用 Check，并检查它们是否都是 true。以 false 值完成的第一个 Check 将导致 result 产生一个 false 值。

相比之下，以下代码将一次开始一个检查，并按顺序评估它们:

IObservable<bool> result = checkers.Select(c => c.Check().ToObservable())
    .Concat().All(b => b);

它首先将 checkers 序列转换为 observables 序列，然后连接这些序列(一次一个开始)。

如果您不想过多地使用 observables 并且不想弄乱订阅，您可以直接 await 它们。例如，调用所有检查器的 Check 并在它们完成时评估结果:

bool all = await checkers.ToObservable().SelectMany(c => c.Check()).All(b => b);