C# async 状态机原理深入解析

C# async 状态机原理深入解析

async/await 是编译器语法糖。编译器会把一个 async 方法转换成一个状态机（State Machine），从而实现“暂停-恢复”的异步执行，而无需阻塞线程。

下面从设计目标、生成结构、执行流程到关键细节，彻底讲清楚其底层原理。

1. 为什么需要状态机？

普通方法执行是连续的，局部变量存在栈上。
await 需要：

1. 暂停当前方法
2. 释放当前线程（返回调用者）
3. 保存所有局部变量和执行位置
4. 当被 await 的任务完成后，在某个线程上从断点恢复执行

状态机就是用来保存“执行进度 + 局部状态”的对象。

2. 编译器生成的核心结构

以这个方法为例：

public async Task<