Rust 想让类型声明自己不能移动：Pin 最难懂的部分要被重写
作者：林岚｜OC 开发者生态编辑
Rust 项目接受了一项 2026 至 2027 年语言目标，探索用 Move、Forget 和 Destruct 等能力 Trait，让类型显式声明自己能否被移动、遗忘或隐式析构。项目计划先实现编译器 MVP、撰写 RFC，并在 Rust for Linux 的真实数据结构中验证。
一句话结论：Rust 不是准备取消所有 Pin，而是尝试把“不能移动”从某个内存位置的约束变成类型自身的属性；方向更直观，迁移现有 Future 和保持永久兼容才是最难部分。
Rust 目前默认所有值都能换到新的内存地址。多数类型对此无所谓，但自引用结构会保存指向自身字段的指针，一旦整体移动，内部指针就可能失效。编译器生成的异步 Future 状态机就是常见例子。
现有 Pin<Ptr> 通过限制指针后面的值不能被移出来，为地址敏感类型建立安全接口。它能工作，却把约束放在“值所在的位置”而不是类型上，还带来投影、初始化和 Drop 保证等复杂规则。Linux 内核大量使用自引用结构，因此成为验证新设计的重要场景。
提案中的 Move 是自动 Trait。实现 !Move 的类型需要在整个生命期保持地址稳定，并依赖原地初始化机制构造。Forget 则处理另一类缺口：Rust 的 mem::forget 是安全函数，可以故意不执行析构。对事务句柄或带借用的作用域异步任务，这会让“离开作用域前一定清理”无法由类型系统保证。
若一个任务句柄能声明 !Forget，编译器就可以保证其析构函数最终执行并等待任务结束，从而支持更安全的 scoped spawn。这里的目标不是增加一个方便标记，而是让以前无法在安全 Rust 中表达的生命周期契约进入类型系统。
但它离稳定功能还很远。项目状态是 Accepted，只代表进入年度目标；具体 Trait 层级、与迭代器和生成器的交互仍需设计。提案还明确把修改稳定的 Future Trait 排除在本年度范围之外。即使未来希望逐步淘汰 Pin，Rust 的兼容承诺也意味着现有 API 会长期存在。
关键事实
- 项目状态：Rust 2026 至 2027 年已接受项目目标，不是稳定语言功能
- 核心能力：类型可选择退出 Move、Forget 或隐式 Destruct
- 验证计划：编译器 MVP、RFC、Linux 内核和迭代器交互测试
- 当前范围：不在本年度修改稳定的 Future Trait
OC 判断
这个方向可能让自引用类型更可组合，却不会自动让异步 Rust 变简单。真正的成功标准是减少库作者需要写的 unsafe 和重复 Pinned Trait，同时不给普通用户引入更难理解的能力层级。
为什么重要
- 对开发者：短期不需要改代码，现有
Pin和Future仍是稳定接口。 - 对库作者：未来可能直接在类型上表达地址稳定和必须析构，减少手工安全约定。
- 对内核开发：自引用结构和作用域任务将成为新类型系统能力的压力测试。
评论
围绕这篇文章补充信息、提出问题或分享观察。