Rust Contagious Borrow Issue
7 months ago
- #Borrow-Checker
- #Rust
- #Ownership
- Rust的所有权系统是树状结构的，确保每个对象有且仅有一个父节点。
- Rust中的可变借用具有排他性，禁止对同一对象的其他借用。
- Rust的借用具有传染性：借用子节点会间接借用其父节点。
- 树状引用在Rust中很简单，而共享引用会使情况复杂化。
- 对于不可变共享对象，使用`Rc`（单线程）或`Arc`（多线程）。
- 可变共享对象不友好于借用检查，解决方案包括数据导向设计和拆分借用。
- Rust中的循环引用需要谨慎处理以避免内存泄漏。
- 传染性借用问题出现在借用部分数据时被迫借用整个结构。
- 解决传染性借用的方法包括移除getter/setter和使用内部可变性。
- 延迟突变将变更视为数据，支持序列化和并行处理。
- 通过不可变数据结构避免原地修改可防止借用冲突。
- 拆分借用允许在同一作用域内借用结构体的不同字段。
- 在循环中手动管理索引可避免迭代器相关的借用问题。
- 克隆数据或使用`Rc`/`Arc`能解决借用冲突，但可能影响性能。
- 编程中的循环引用很有用，但需通过弱引用(`Weak`)来防止内存泄漏。
- 使用ID或句柄替代直接引用可简化复杂数据结构的所有权管理。
- 内部可变性(`Cell`/`RefCell`/`Mutex`)允许通过不可变引用进行修改。
- Rust的锁不可重入，需谨慎管理作用域以避免死锁。
- `Arc`在竞争下性能下降，可选用`trc`或`hybrid_rc`等替代方案。
- Bump分配器提供快速分配，但延迟单个对象的释放。
- Unsafe Rust绕过借用检查，但需手动确保避免未定义行为。
- Polonius借用检查器将改进分支相关的借用分析。
- `Send`和`Sync` trait确保Rust中线程安全的数据共享。
- Tokio要求future实现`Send`和`'static`以支持跨线程调度。
- 临时生命周期延长和再借用是影响借用语义的隐式行为。
- 在async闭包中先克隆`Arc`再移动可确保正确的所有权。
- Rust的限制更倾向于数据导向设计而非OOP，牺牲灵活性换取安全性。
- Rust的内存安全不消除所有安全风险（如XSS、SQL注入）。
- 不可变数据结构防止意外修改并简化回滚场景。
- Rust借用检查器会拒绝部分有效代码，需要变通方案或设计调整。