我要招人

Rust面试题更新 2026-08-03

在 Rust 异步编程中，Future trait 扮演什么角色？如果要为一个自定义类型实现 Future，需要完成哪些步骤？

考察说明

考察对 Rust Future trait 的理解以及手动实现异步机制的能力。

回答思路

  1. 【回答框架 1】Future trait 是 Rust 异步编程的核心抽象，表示一个尚未完成的计算，通过 poll 方法推进状态，返回 Poll<T> 枚举，其中 Ready(值) 表示完成，Pending 表示未完成。
  2. 【回答框架 2】实现 Future 需要实现 poll 方法，该方法接收 self 的 Pin 引用和 Context 引用，返回 Poll<Self::Output>。在 poll 内部需要检查异步状态，如果未完成则注册 waker 并返回 Pending，完成后返回 Ready 结果。
  3. 【回答框架 3】自定义 Future 时，需要确保类型是 Unpin 或正确使用 Pin，注意 poll 方法不能被重复调用导致数据竞争。通常使用内部状态机或 async/await 生成的结构体来实现，对于手动实现需要管理状态变幻和唤醒时机。
  4. 【关键点 1】Future trait 核心是 poll 方法，返回 Poll<T> 表示完成或挂起。
  5. 【关键点 2】自定义 Future 必须处理 Pin 和 Context，正确注册 waker 以便唤醒。
  6. 【关键点 3】poll 需要是幂等的，多次调用不应产生副作用。
  7. 【易错点 1】在 poll 中返回 Pending 后忘记注册 waker，可能导致任务永远不被唤醒。
  8. 【易错点 2】对未实现 Unpin 的类型直接使用 &mut self 而非 Pin<&mut Self>，导致编译错误或安全问题。
  9. 【易错点 3】poll 内部执行阻塞操作，违反异步非阻塞原则，降低并发性能。