在 nightly 版本中启用借用检查器的下一次迭代
内容提要
Rust 团队在 nightly 版本中启用了 Polonius Alpha 借用检查器，计划年底前稳定。它支持流敏感分析，解决 NLL 无法处理的借用问题，如条件分支中的借用存活。性能略有回归，但可接受。用户可通过 `-Zpolonius=off` 禁用。团队将监控问题并优化，之后转向其他优先工作。
延伸解读
流敏感分析的实际收益
Polonius Alpha 的核心改进是流敏感分析，它让借用检查器能区分不同控制流路径上的借用存活情况。例如，在 `get_mut_or_default` 中，`Some` 分支的借用不会在 `None` 分支存活，因此代码可以编译。这解决了 NLL 因流不敏感而拒绝的常见模式，对编写涉及条件分支和循环的代码有实际帮助。
性能回归与权衡
启用 Polonius Alpha 后，编译时间可能略有增加。根据对 crates.io 下载量前一万名 crate 的测试，大多数 crate 的回归不显著，但少数 crate 可能遇到 2-3 倍的编译时间增长。团队认为这种权衡可接受，因为新检查器能接受更多代码，且回归相对罕见。用户可通过 `-Zpolonius=off` 回退到 NLL。
已知限制与未来方向
Polonius Alpha 并非完美，它无法编译某些在旧版 Polonius 下可编译的程序，例如涉及循环中借用更新的 `conditional` 示例。团队计划在稳定后继续优化性能，但不会立即添加新功能，而是转向其他优先工作。这意味着某些借用模式可能仍需等待未来版本。
Q&A
Rust 的 Polonius Alpha 借用检查器是什么？
Polonius Alpha 是 Rust 借用检查器的下一次迭代，目前在 nightly 版本中启用，计划在年底前稳定。它支持流敏感分析，能处理 NLL 无法解决的借用问题，例如条件分支中的借用存活。
Polonius Alpha 相比 NLL 有什么优势？
Polonius Alpha 支持流敏感分析，能处理 NLL 无法解决的借用问题，例如在条件分支中，借用只在某些分支存活时，NLL 会错误地认为借用在整个函数中存活，而 Polonius Alpha 能正确识别。
Polonius Alpha 在性能上有什么影响？
Polonius Alpha 目前比 NLL 做的工作更多，因此存在性能回归的风险。但在最常下载的 10000 个 crate 中，显著回归的很少，且通常较小。最坏情况是 2-3 倍回归，但整体上可接受。
如何禁用 Polonius Alpha 并回退到 NLL？
可以通过传递 -Zpolonius=off 给 rustc，或设置 RUSTFLAGS=-Zpolonius=off，或在项目的 .cargo/config.toml 中配置 rustflags = ["-Zpolonius=off"] 来禁用 Polonius Alpha。
Polonius Alpha 有哪些已知的限制？
Polonius Alpha 并非完美，一些在旧版 Polonius 下能编译的程序可能无法编译，例如涉及循环和条件赋值的复杂借用场景。此外，它目前只覆盖了 Polonius 的一个子集，未来可能继续扩展。
Rust 团队计划何时稳定 Polonius Alpha？
Rust 团队计划在年底前稳定 Polonius Alpha，目前正在 nightly 版本中启用，以便在稳定前收集反馈和解决问题。
Polonius Alpha 解决了哪些具体的借用检查问题？
Polonius Alpha 解决了流敏感分析问题，例如在 match 表达式中，某个分支返回的借用不会影响其他分支。具体例子包括 reborrow 函数和 get_mut_or_default 函数，这些在 NLL 下无法编译，但在 Polonius Alpha 下可以。
