2026年看起来将是Rust编译器特别多事的一年。多项长期计划同时进入最后阶段,因此工作量并没有太大变化,而是成果兑现的时间发生了变化。作者重点介绍了他们认为最突出的几项。
其中最重要的是下一代trait求解器,这是对类型系统大部分内容的重新实现,已经推进了近十年。它修复了许多健全性缺陷,解除了许多功能和长期存在问题的阻碍。它还清除了一大块重要的技术债务,使精通类型系统的开发者能够腾出手来开发新功能,包括解决异步Rust中的痛点以及impl Trait的限制。
Polonius是一个酝酿已久的新借用检查器,是另一个重要进展。它允许更多代码通过编译,并解除了相关功能的限制,包括有望在未来某天实现的内部引用。它对编译器的影响虽然小于新求解器,但依然意义重大。
编译器性能是作者的主要关注点,这方面的进展在一段停滞期后重新加快。并行前端是一项拖延已久、设计历史复杂的工作,经过多年对棘手问题的攻关,现已接近稳定发布。LLVM也在变快:LLVM 23带来了出人意料的大幅性能提升,延续了一个趋势,这一趋势始于LLVM 10引入重大性能退化、LLVM的主要开发者开始更密切地跟踪性能之后。
来源: Hacker News · 由HeadlinesBriefing整理摘要