在C#中，async/await异步模型依靠编译器生成的状态机来实现。请阐述该状态机在底层是如何构建与运作的，例如其状态字段、builder、awaiter及状态流转机制是怎样的？
考察说明
考查对C# async/await底层状态机实现原理的理解程度。
回答思路
- 【回答框架 1】async修饰的方法会被编译器转化为一个状态机结构，通常是一个实现IAsyncStateMachine接口的struct。该结构包含状态字段state、异步方法构建器AsyncTaskMethodBuilder或AsyncVoidMethodBuilder、以及awaiter字段（如TaskAwaiter）用于保存等待任务的当前状态。
- 【回答框架 2】方法体的代码被拆分为多个状态块，每个await表达式的挂起点对应一个状态编号，并且每个await之后的续体代码被包装成状态机的MoveNext方法中的一部分。初始调用时，状态机开始执行，遇到await时，获取任务的awaiter，若任务未完成，则设置state为下一个状态，并将builder与awaiter关联注册回调，然后返回；任务完成时回调触发MoveNext继续执行。
- 【回答框架 3】状态机的核心是MoveNext方法，它通过switch或跳转表根据当前state跳转到正确的代码段，执行完后续操作后更新state，并通过builder.SetResult或SetException来设置最终结果或异常。builder负责管理状态机的生命周期、任务创建与完成，以及异常处理。
- 【回答框架 4】编译器还利用AsyncTaskMethodBuilder内部的任务缓存、INotifyCompletion接口等机制优化性能。另外，状态机字段可能被提升到堆上（如使用AsyncTaskMethodBuilder时，如果方法有await且状态机被捕获到委托中，结构体会被装箱到堆上），以支持异步回调的正确性。
- 【关键点 1】async方法编译器生成状态机结构，含state字段和builder字段。
- 【关键点 2】MoveNext方法按状态跳转执行，每个await对应一个状态点。
- 【关键点 3】builder（如AsyncTaskMethodBuilder）负责任务创建与结果设置。
- 【关键点 4】await未完成时注册回调，完成时触发MoveNext续跑。
- 【关键点 5】性能优化包括任务缓存和避免不必要的装箱。
- 【易错点 1】状态机仅适用于async修饰的方法，对普通方法不适用。
- 【易错点 2】不要将状态机的执行依赖于具体线程，它不保证同步上下文。
- 【易错点 3】AsyncVoidMethodBuilder不返回Task，异常需特殊处理。