如何查看Rust Async Await状态机的中间表示用于学习？

Rust的async/await确实是通过编译期转换为状态机实现的，以下几种方法可以查看其转换后的中间表示，适合学习分析：

• 展开async/await为原生Rust代码
  这是最直观的方式，能直接看到状态机的结构体定义和Future trait实现：

  • 直接用rustc：在终端执行

    rustc --pretty=expanded 你的代码文件.rs
    

    输出内容会展示编译器将async函数 desugar 后的代码——原本的await点会被转换成状态机的不同分支，每个状态对应异步任务的一个暂停/恢复节点。
  • 用cargo expand工具：先安装工具

    cargo install cargo-expand
    

    然后在Rust项目根目录执行

    cargo expand
    

    它会自动处理项目依赖，输出整个代码展开后的结果，比直接用rustc更适合多文件项目。

• 查看MIR（Rust中间表示）
  MIR是Rust编译器内部使用的中间表示，能清晰展示状态机的控制流逻辑。执行以下命令输出MIR：

  rustc -Z mir-emit-retag 你的代码文件.rs --emit mir
  

  输出的MIR代码会显式体现状态机的状态切换、变量保存等细节。

• 查看LLVM IR（底层中间表示）
  如果想了解更接近机器码层面的状态机实现，可以输出LLVM IR：

  rustc --emit llvm-ir 你的代码文件.rs
  

  这种方式的可读性稍差，但能看到状态机的内存布局和底层跳转逻辑。

其中，cargo expand和rustc --pretty=expanded输出的是标准Rust代码，最适合入门学习async/await的状态机原理。

内容的提问来源于stack exchange，提问作者CSRd