Valen推出基于Group Borrowing的新型借用检查器

Valen语言发布了一种更灵活的新型借用检查器，核心基于Nick Smith提出的"Group Borrowing"方案。传统借用检查遵循"共享即不可变"的原则，而该方案通过让编译器记录引用指向的具体位置，将规则放宽为"无use-after-free"，从而在保持零运行时开销的前提下，支持同一对象的多引用写入、嵌套参数写入等此前难以处理的模式。此外，新检查器还支持与Rust代码进行互操作。该方案属于Valen在内存安全与借用检查领域的最新进展，旨在兼顾安全性与编程灵活性。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。