Rust中的内部可变性与RefCell<T>详解
<div id="navCategory"><h5 class="catalogue">目录</h5><ul class="first_class_ul"><li>一、为什么需要内部可变性？</li><li>二、RefCell<T>：运行时借用规则的守护者</li><li>三、实际案例：使用 RefCell<T> 编写 Mock 对象</li><li>四、结合 Rc<T> 实现多所有权的可变数据</li><li>五、总结</li></ul></div><p class="maodian"></p><h2>一、为什么需要内部可变性？</h2><p>通常，Rust 编译器通过静态分析确保：</p>
<ul><li>同一时刻只能存在一个可变引用，或任意多个不可变引用；</li><li>引用始终保持有效。</li></ul>
<p>这种严格的借用规则使得许多内存错误在编译阶段就能被捕获，但也因此在某些场景下过于保守。</p>
<p>例如，当我们需要在不可变对象的内部修改状态时（比如记录日志、计数等），就需要借助内部可变性。通过内部可变性，我们可以在外部保持不可变的同时，通过封装的方式实现内部数据的变更，而这些变更的安全性则由运行时检查保证。</p>
<p class="maodian"></p><h2>二、RefCell<T>：运行时借用规则的守护者</h2>
<p>与 <code>Box<T></code> 和 <code>Rc<T></code> 不同，<code>RefCell<T></code> 使用运行时而非编译时来检查借用规则。它提供了两个核心方法：</p>
<ul><li><code>borrow()</code> 返回一个 <code>Ref<T></code> 智能指针，相当于不可变引用。</li><li><code>borrow_mut()</code> 返回一个 <code>RefMut<T></code> 智能指针，相当于可变引用。</li></ul>
<p>每当调用 <code>borrow</code> 或 <code>borrow_mut</code> 时，<code>RefCell<T></code> 都会在内部记录当前的借用状态。如果试图同时获取多个可变引用，或者在已有可变引用的情况下获取不可变引用，<code>RefCell<T></code> 将在运行时触发 panic，从而防止数据竞争。</p>
<p>例如，下述代码尝试在同一作用域内创建两个可变借用，就会触发 panic：</p>
<div class="jb51code"><pre class="brush:bash;">let cell = RefCell::new(5);
let _borrow1 = cell.borrow_mut();
let _borrow2 = cell.borrow_mut(); // 此处将 panic: already borrowed: BorrowMutError</pre></div>
<p>这种设计的优点在于，它允许我们在某些静态检查无法覆盖的场景下依然保证数据安全；缺点则是这些检查会带来一定的运行时开销，同时可能将错误暴露在生产环境中。</p>
<p class="maodian"></p><h2>三、实际案例：使用 RefCell<T> 编写 Mock 对象</h2>
<p>在测试代码中，我们常常需要模拟一些真实对象的行为（即所谓的“测试替身”或 mock 对象），以验证代码逻辑是否正确。</p>
<p>假设我们有一个 <code>Messenger</code> 接口，其 <code>send</code> 方法只接受不可变引用。这在编写 mock 对象时会带来问题：我们希望在调用 <code>send</code> 时记录下发送的信息，但由于方法签名只接受 <code>&self</code>，直接修改内部状态会违反 Rust 的借用规则。</p>
<p>解决方案是使用 <code>RefCell<T></code> 来包装内部的可变状态。</p>
<p>例如，我们可以这样定义一个 <code>MockMessenger</code>：</p>
<div class="jb51code"><pre class="brush:bash;">struct MockMessenger {
sent_messages: RefCell<Vec<String>>,
}
impl MockMessenger {
fn new() -> MockMessenger {
MockMessenger {
sent_messages: RefCell::new(vec![]),
}
}
}
impl Messenger for MockMessenger {
fn send(&self, message: &str) {
// 虽然 `self` 是不可变引用，但我们可以通过 `RefCell<T>` 在运行时获取可变引用
self.sent_messages.borrow_mut().push(String::from(message));
}
}</pre></div>
<p>这样，在测试中，我们可以通过调用 <code>borrow()</code> 来检查内部保存的消息，而无需修改 <code>Messenger</code> trait 的定义。</p>
<p><code>RefCell<T></code> 的内部借用计数确保了我们在使用时不会违反借用规则。</p>
<p class="maodian"></p><h2>四、结合 Rc<T> 实现多所有权的可变数据</h2>
<p>有时我们希望多个所有者可以共享同一份数据，并且能够修改其中的值。这时可以结合使用 <code>Rc<T></code> 和 <code>RefCell<T></code>。<code>Rc<T></code> 允许多个所有者共享数据，而 <code>RefCell<T></code> 则允许我们在不可变引用的上下文中修改数据。</p>
<p>例如，下例展示了如何创建一个共享的可变值，并通过多个所有者修改它：</p>
<div class="jb51code"><pre class="brush:bash;">use std::rc::Rc;
use std::cell::RefCell;
enum List {
Cons(Rc<RefCell<i32>>, Rc<List>),
Nil,
}
use List::{Cons, Nil};
fn main() {
let value = Rc::new(RefCell::new(5));
let a = Rc::new(Cons(Rc::clone(&value), Rc::new(Nil)));
let b = Cons(Rc::clone(&value), Rc::clone(&a));
let c = Cons(Rc::clone(&value), Rc::clone(&a));
// 修改内部值
*value.borrow_mut() += 10;
// 输出 a, b, c 中存储的值都会反映内部值的改变
println!("a after modification: {:?}", a);
}</pre></div>
<p>通过这种方式，我们既能享受多所有权的便利，又能保持内部数据的可变性。这在需要共享状态的场景下非常有用，但需要注意的是，这种模式仅适用于单线程场景；如果在多线程环境中，则应使用 <code>Mutex<T></code> 等线程安全的数据结构。</p>
<p class="maodian"></p><h2>五、总结</h2>
<p><strong>内部可变性</strong>：允许在不可变引用中修改内部数据。通过封装 <code>unsafe</code> 代码，将运行时检查借用规则的责任交给 <code>RefCell<T></code>。</p>
<p><strong>RefCell 的特点</strong>：在运行时记录不可变与可变借用的状态，一旦违反借用规则会导致 panic。这为某些静态检查无法覆盖的场景提供了解决方案。</p>
<p><strong>应用场景</strong>：</p>
<ul><li><strong>Mock 对象</strong>：在测试中记录调用信息，满足接口要求而无需修改方法签名。</li><li><strong>多所有权与可变性结合</strong>：结合 <code>Rc<T></code> 和 <code>RefCell<T></code>，可以实现多个所有者共享并修改数据，但仅适用于单线程环境。</li></ul>
<p>内部可变性为 Rust 程序员提供了一种在严格的编译时借用检查之外，依然保持内存安全的灵活方案。只需谨慎使用，理解其运行时检查的局限性，即可在设计上更好地解决某些复杂场景的问题。</p>
<p>希望这篇博客能够帮助你更好地理解 <code>RefCell<T></code> 及其在 Rust 中的实际应用。</p>
<p>以上为个人经验，希望能给大家一个参考，也希望大家多多支持琼殿技术社区。</p>
<div class="art_xg">
<b>您可能感兴趣的文章:</b><ul><li>Rust 中 Deref Coercion讲解</li><li>使用cargo install安装Rust二进制工具过程</li><li>Rust中的Box<T>之堆上的数据与递归类型详解</li><li>解读Rust的Rc<T>:实现多所有权的智能指针方式</li><li>Rust中的&和ref使用解读</li></ul>
</div>
</div>
<!--endmain-->
頁:
[1]