【导语:Rust团队宣布将在nightly版本中启用Polonius Alpha借用检查器进行测试,并计划在今年晚些时候使其完全稳定。该检查器自2018年开始研发,此次测试旨在发现潜在问题。】
8月4日,Rust团队在博客文章中宣布,将在nightly版本中启用Polonius Alpha借用检查器进行测试,并计划在今年晚些时候使其完全稳定。团队成员Jack Huey表示,目前Polonius Alpha已无已知遗留问题,性能也达到了可稳定发布的标准。
在nightly版本中启用测试,是为了发现严重的性能倒退、公式中的不稳定性以及需要改进的诊断问题。开发者可在GitHub或Zulip上反馈相关问题。同时,开发者也能通过特定方式禁用Polonius Alpha,转而使用稳定的NLL借用检查器,如向rustc传递 `-Zpolonius=off` 参数等。
Polonius借用检查器自2018年起就开始研发。2023年提出的新方案,仅需对现有的NLL实现进行最小程度的重构,就能支持更多符合规范的代码编译,但稳定版本发布一直推迟至今。
借用检查器是Rust编译器的一个组件,会对引用实施严格规则。这些规则包括确保所有变量在使用前都已初始化、同一值不会被移动两次、值在被借用时不会被移动等。
编辑观点:Polonius Alpha借用检查器的测试开启是Rust发展的重要一步,有望提升代码编译能力,虽历经多年研发,但稳定后或为开发者带来更好体验。