企业官网建设流程全解析

Pin 与 Tokio：真正不能移动的是什么

Pin 常被误解为“对象地址永远不变”。它约束的是通过特定指针访问的值不能再被安全移动，前提是该类型确实依赖地址稳定性。

从自引用风险理解

普通 async 状态机可能在不同挂起点保存对自身字段的引用。编译器生成的 Future 因而通常是 !Unpin；执行器在轮询前把它固定，再通过 Pin<&mut T> 调用 poll。Pin 本身不让堆分配失效，也不替代生命周期检查。

手写投影时，必须确认哪些字段可安全移动、哪些字段被固定。优先使用成熟投影工具，确实需要 Unsafe 时把不变量写在实现旁边。

怎样验证示例

准备一个会多次 Pending 的最小 Future，检查取消、超时和 Drop。不要用一次“成功打印”证明 Pin 正确；应审查是否存在 mem::replace、错误投影或在固定后取走字段。理解移动边界，比记住一组 API 更可靠。