C# 是否使用 await 对 if 语句执行短路评估？

Question

我相信 C# 一旦能够告诉结果就停止评估 if 语句条件。例如：

if ( (1 < 0) && check_something_else() )
    // this will not be called

由于条件(1 < 0)评估为false，&&因此无法满足条件，并且check_something_else()不会被调用。

C# 如何使用异步函数评估 if 语句？它是否等待双方返回？例如：

if( await first_check() && await second_check() )
    // ???

这会短路吗？

Answer 1

是的，它会短路。您的代码相当于：

bool first = await first_check();
if (first)
{
    bool second = await second_check();
    if (second)
    {
        ...
    }
}

请注意它在返回的等待完成之前甚至不会调用 。所以请注意，这不会并行执行两个检查。如果你想这样做，你可以使用：second_checkfirst_check

var t1 = first_check();
var t2 = second_check();

if (await t1 && await t2)
{
}

在那时候：

• 这两个检查将并行执行（假设它们是真正异步的）
• 它会等待第一个检查完成，然后只能等待第二次检查来完成，如果第一个返回true
• 如果第一次检查返回 false 但第二次检查失败并出现异常，则该异常将被有效吞噬
• 如果第二次检查真的很快返回false，但第一次检查需要很长时间，那么整体操作将需要很长时间，因为它要等待第一次检查先完成

如果您想并行执行检查，并在其中任何一个返回 false 时立即完成，您可能需要为此编写一些通用代码，收集任务以开始然后Task.WhenAny重复使用。（您还应该考虑对于由于另一个任务返回 false 而实际上与最终结果无关的任务引发的任何异常，您希望发生什么。）

Answer 2

这非常容易检查。

试试这个代码：

async Task Main()
{
    if (await first_check() && await second_check())
    {
        Console.WriteLine("Here?");
    }
    Console.WriteLine("Tested");
}

Task<bool> first_check() => Task.FromResult(false);
Task<bool> second_check() { Console.WriteLine("second_check"); return Task.FromResult(true); }

它输出“已测试”，仅此而已。

Answer 3

是的，它确实。您可以使用sharplab.io自行检查，如下所示：

public async Task M() {
    if(await Task.FromResult(true) && await Task.FromResult(false))
        Console.WriteLine();
}

被编译器有效地转换为类似的东西：

TaskAwaiter<bool> awaiter;

... compiler-generated state machine for first task...

bool result = awaiter.GetResult();

// second operation started and awaited only if first one returned true    
if (result)
{
     awaiter = Task.FromResult(false).GetAwaiter();
...

或者作为一个简单的程序：

Task<bool> first_check() => Task.FromResult(false);
Task<bool> second_check() => throw new Exception("Will Not Happen");

if (await first_check() && await second_check()) {}

在sharplab.io上的第二个例子。