跳到主要内容
uencoder

Borrow Checker

Rust 借用检查器在编译期验证引用规则:不可变与可变引用不共存、可变引用唯一。

用途

编译期消除数据竞争与悬空引用,是 Rust 内存安全核心。

机制

规则:1) 任意数量不可变引用 或 2) 唯一可变引用,不可同时存在。引用不超出数据生命周期。违反编译失败而非运行时错误。NLL(非词法生命周期)放宽限制。

用例

  • Rust 编程
  • 内存安全
  • 并发安全

相关词条

参考链接