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

Question

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

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

由于条件（1

C#如何使用异步函数计算if语句？它会等待双方的回归吗？例如：

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

这会短路吗？




Answer 1

是的。您可以使用以下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。

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

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

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

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

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

if (await t1 && await t2)
{
}

此时：

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

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