堆栈展开时嵌套异步方法中的StackOverflowException

我们有很多嵌套的异步方法,并且看到了我们并不真正理解的行为。以这个简单的C控制台应用程序为例

public class Program
{
    static void Main(string[] args)
    {
        try
        {
            var x = Test(index: 0, max: int.Parse(args[0]), throwException: bool.Parse(args[1])).GetAwaiter().GetResult();

            Console.WriteLine(x);
        }
        catch(Exception ex)
        {
            Console.WriteLine(ex);
        }
        
        Console.ReadKey();
    }
    
    static async Task<string> Test(int index, int max, bool throwException)
    {
        await Task.Yield();
    
        if(index < max)
        {
            var nextIndex = index + 1;
            try
            {
                Console.WriteLine($"b {nextIndex} of {max} (on threadId: {Thread.CurrentThread.ManagedThreadId})");
              
                return await Test(nextIndex, max, throwException).ConfigureAwait(false);
            }
            finally
            {
                Console.WriteLine($"e {nextIndex} of {max} (on threadId: {Thread.CurrentThread.ManagedThreadId})");
            }
        }
    
        if(throwException)
        {
            throw new Exception("");
        }
    
        return "hello";
    }
}

AsyncStackSample。exe 2000错误

StackOverflowException 这是我们在控制台中看到的最后一条消息:

当我们把论点变成

AsyncStackSample。exe 2000 true

e 831/2000(在threadId:4上)

栈溢出异常 在堆栈展开时发生(不确定是否应该这样称呼,但 在我们的示例中,在同步代码中,在递归调用之后发生 栈溢出异常 栈溢出异常 甚至更早发生。

Task.Yield() 在最后一块中,我们有几个问题:

1. 方法,该方法不会导致等待上的线程切换)?
2. 栈溢出异常 在异常情况下比不引发异常时更早发生?