Borrow Checker
Rust 借用检查器在编译期验证引用规则:不可变与可变引用不共存、可变引用唯一。
用途
编译期消除数据竞争与悬空引用,是 Rust 内存安全核心。
机制
规则:1) 任意数量不可变引用 或 2) 唯一可变引用,不可同时存在。引用不超出数据生命周期。违反编译失败而非运行时错误。NLL(非词法生命周期)放宽限制。
用例
- Rust 编程
- 内存安全
- 并发安全
Rust 借用检查器在编译期验证引用规则:不可变与可变引用不共存、可变引用唯一。
编译期消除数据竞争与悬空引用,是 Rust 内存安全核心。
规则:1) 任意数量不可变引用 或 2) 唯一可变引用,不可同时存在。引用不超出数据生命周期。违反编译失败而非运行时错误。NLL(非词法生命周期)放宽限制。