本文论证了模块化证明——即 impl 必须建立所有超特质义务——是支持 Rust 中循环特质实现唯一可行的方案。作者解释了为何另一种替代方案（外部证明，由调用方证明超特质）与 Rust 的设计不兼容。这是关于循环特质实现系列的 ongoing 文章之一。
背景
这是 Rust 编译器贡献者博客系列的一部分，探讨循环特质实现这一长期存在的功能需求，该功能允许特质之间相互循环引用。
- 来源
- Lobsters
- 发布时间
- 2026年10月11日 00:56
- 评分
- 6.0 / 10
本文论证了模块化证明——即 impl 必须建立所有超特质义务——是支持 Rust 中循环特质实现唯一可行的方案。作者解释了为何另一种替代方案（外部证明，由调用方证明超特质）与 Rust 的设计不兼容。这是关于循环特质实现系列的 ongoing 文章之一。
这是 Rust 编译器贡献者博客系列的一部分，探讨循环特质实现这一长期存在的功能需求，该功能允许特质之间相互循环引用。