Rust 智能指针RefCellT与内部可变性模式在 Rust 的世界里“所有权”和“借用规则”是保证内存安全的核心。然而有时业务逻辑需要在不可变引用的情况下修改数据。为了在遵守 Rust 安全底线的前提下实现这一点标准库提供了一个强有力的工具RefCellT及其背后的内部可变性Interior Mutability模式。1. 核心概念什么是内部可变性Rust 的借用规则非常严苛在任意给定时刻只能拥有一个可变引用mut T或任意数量的不可变引用T之一。引用必须总是有效的。通常情况下这些规则在编译时由编译器强制检查。这意味着如果你有一个不可变变量let x 5;你就绝对不能通过它去修改它的值let y mut x;会直接导致编译报错。但有时候我们明明可以确保代码在逻辑上是安全的编译器却因为过于“保守”而拒绝编译。内部可变性就是一种设计模式它允许你在数据结构内部使用unsafe代码来放宽限制从而在持有不可变引用时也能修改数据。对于外部使用者而言这个对象依然是不可变的但其内部状态却可以悄悄发生改变。2. 编译时检查 vs 运行时检查BoxT、RcT和RefCellT的核心区别在于它们执行借用规则的时机不同智能指针类型所有权特征借用检查时机违反规则的后果BoxT唯一所有者编译时编译错误RcT多个所有者不可变编译时编译错误RefCellT唯一所有者运行时程序 Panic崩溃为什么选择编译时检查能在开发早期发现错误且对运行性能零开销是绝大多数情况下的首选。为什么需要运行时检查RefCellT编译器的静态分析是保守的。当有些内存安全的场景无法被编译器静态识别时RefCellT允许程序员在运行时自己向借用检查器证明安全性。如果运行时刻不小心违反了规则程序会直接panic退出而不是无法通过编译。注意RefCellT和RcT一样只能用于单线程场景。如果在多线程下使用会导致编译错误多线程并发修改需要配合后面章节介绍的Arc和Mutex。3. 经典应用场景编写 Mock 对象进行测试在编写单元测试时我们经常需要用到Mock 对象测试替身来记录某个被测对象是否按预期发出了通知或调用了方法。为什么常规写法行不通假设我们要测试一个限流器LimitTracker当用户超出 75% 配额时它会调用messenger.send(str)发送警告。在编写测试时我们需要一个MockMessenger来记录被发送了多少条消息。如果你尝试像下面这样编写代码pubtraitMessenger{fnsend(self,msg:str);// 注意这里方法签名使用的是不可变借用 self}structMockMessenger{sent_messages:VecString,// 用来记录消息的 Vector}implMessengerforMockMessenger{fnsend(self,message:str){// 编译错误self 是 self不可变借用无法向 sent_messages 中 push 数据self.sent_messages.push(String::from(message));}}问题所在Messengertrait 的设计规范要求send方法只能接收self不可变引用因为调用者在发送消息时并不一定拥有该 messenger 的可变所有权。然而MockMessenger在执行send时核心任务就是修改自身的sent_messages列表添加新消息。这直接冲突了。使用RefCellT完美解决为了在self不可变引用的情况下修改内部数据我们可以把sent_messages用RefCellT包裹起来usestd::cell::RefCell;pubtraitMessenger{fnsend(self,msg:str);}structMockMessenger{// 用 RefCell 包装 Vec实现内部可变性sent_messages:RefCellVecString,}implMockMessenger{fnnew()-MockMessenger{MockMessenger{sent_messages:RefCell::new(vec![]),}}}implMessengerforMockMessenger{fnsend(self,message:str){// 1. 调用 borrow_mut() 获得内部数据的可变引用// 2. 然后就可以正常修改内容了self.sent_messages.borrow_mut().push(String::from(message));}}在测试用例中使用它#[test]fnit_sends_an_over_75_percent_warning_message(){letmock_messengerMockMessenger::new();letlimit_trackerLimitTracker::new(mock_messenger,100);limit_tracker.set_value(80);// 验证 sent_messages 确实记录了一条消息assert_eq!(mock_messenger.sent_messages.borrow().len(),1);}4.RefCell提供的核心方法当你使用RefCellT时可以通过以下方法来安全地获取内部值borrow()返回内部数据的智能指针RefT类似于不可变借用T。可以同时多次调用borrow()获得多个不可变借用。borrow_mut()返回内部数据的智能指针RefMutT类似于可变借用mut T。运行时限制如果在同一作用域内已经存在活跃的借用无论是不可变还是可变再次调用borrow_mut()会导致程序直接panic!崩溃。5. 黄金组合RcTRefCellTRcT允许你拥有多个所有者共享数据但它只提供只读访问。RefCellT允许你修改数据但它只支持单一所有者。当这两个智能指针结合在一起即RcRefCellT时你便拥有了强大的威力可以创建出“拥有多个所有者且这些所有者都能共同修改同一份数据”的数据结构例如图或树结构中的多向节点引用。
