How to Avoid Fighting Rust Borrow Checker
8 months ago
- #Rust
- #Memory Safety
- #Borrow Checker
- Rust的所有权系统形成树状结构，每个对象有且仅有一个父节点
- Rust的可变借用具有排他性，意味着可变借用期间不能共存其他借用
- Rust的借用具有传染性：借用子节点会间接借用其所有父节点
- 由于保守特性，Rust的借用检查器可能拒绝部分正确的程序
- 内存中的引用形态可分为树状结构（简单）和共享结构（复杂）
- 共享不可变对象应使用不可变借用或引用计数（Rc/Arc）
- 共享可变对象难以通过借用检查，需要特殊解决方案
- 数据结构中的循环引用会使借用复杂化，需要谨慎处理
- 非常规借用场景的解决方案包括：数据导向设计、ID/句柄、延迟变更
- 传染性借用可能导致问题：借用对象局部会强制借用整个对象
- 内部可变性（Cell/RefCell/Mutex）允许通过不可变引用进行修改
- 使用ID/句柄替代引用可以解耦对象生命周期
- 将变更操作转化为数据（命令模式）可以简化借用关系
- 编程中的循环引用很常见，需使用弱引用（Weak）避免内存泄漏
- Rust可变借用的排他性对内存安全至关重要，特别是涉及内部指针时
- 引用计数（Rc/Arc）因原子操作会产生性能开销
- 碰撞分配器提供快速内存分配，但无法单独释放对象
- Unsafe Rust可以绕过借用检查，但需谨慎操作以避免未定义行为
- Send/Sync trait通过控制跨线程数据共享来保证线程安全
- Rust异步编程要求future满足Send和'static以保证线程安全
- 临时生命周期延长和重新借用是Rust借用规则中的精妙细节
- Rust的权衡取舍：以开发灵活性和快速迭代为代价，换取内存安全与性能