The Algebra of Loans in Rust
5 months ago
- #Borrow-Checker
- #Rust
- #Memory-Safety
- Rust的借用检查器会限制对借用位置的访问，直到借用期结束。
- 正在讨论引入新的引用类型（如&own、&uninit和固定引用）以增强借用检查功能。
- &own T表示对值的完全所有权，包括负责释放该值的责任。
- &uninit T指向已分配但未初始化的内存位置，仅允许写入操作。
- 固定引用（&pin T、&pin mut T、&pin own T）增加了固定要求，防止在未运行Drop的情况下移动或释放内存。
- 表格详细列出了每种引用类型允许的操作以及在借用期中和结束后的限制。