调用链中的异步等待分配

我试图更好地理解编译器为C#中的async Wait生成的代码所导致的堆分配。

考虑以下代码:

static async Task OneAsync()
{
    Console.WriteLine("OneAsync: Start");
    await TwoAsync();
    Console.WriteLine("OneAsync: End");
}

static async Task TwoAsync()
{
    Console.WriteLine("TwoAsync: Start");
    await ThreeAsync();
    Console.WriteLine("TwoAsync: End");
}

static async Task ThreeAsync()
{
    Console.WriteLine("ThreeAsync: Start");
    var c = new HttpClient();
    var content = await c.GetStringAsync("http://google.com");
    Console.WriteLine("Content:" + content.Substring(0, 10));
    Console.WriteLine("ThreeAsync: End");
}

来自ILSpy

这里有3个 AsyncStateMachine 结构类型(一个用于 OneAsync ,一个用于 TwoAsync 一个用于 ThreeAsync )由编译器生成。

你能确认一下我的假设是否正确吗?

• 打电话给 OneAsync 方法(依次调用链,直到 三异步 ),将导致 3. 异步状态机 结构类型 上台 堆 ?

• 如果我没有在中使用HttpClient 三异步 方法,而只是返回 Task.CompletedTask 从中,将有2个 异步状态机 结构类型(一个用于 OneAsync 一个用于 TwoAsync ).在这种情况下 没有堆分配 异步状态机 整个调用链同步执行时的结构类型?