news 2026/10/31 7:01:24

Rust 智能指针 RefCell<T> 与内部可变性模式

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
Rust 智能指针 RefCell<T> 与内部可变性模式

Rust 智能指针:RefCell<T>与内部可变性模式

在 Rust 的世界里,“所有权”和“借用规则”是保证内存安全的核心。然而,有时业务逻辑需要在不可变引用的情况下修改数据。为了在遵守 Rust 安全底线的前提下实现这一点,标准库提供了一个强有力的工具:RefCell<T>及其背后的内部可变性(Interior Mutability)模式。


1. 核心概念:什么是内部可变性?

Rust 的借用规则非常严苛:

  1. 在任意给定时刻,只能拥有一个可变引用(&mut T)或任意数量的不可变引用(&T)之一。
  2. 引用必须总是有效的。

通常情况下,这些规则在编译时由编译器强制检查。这意味着,如果你有一个不可变变量let x = 5;,你就绝对不能通过它去修改它的值(let y = &mut x;会直接导致编译报错)。

但有时候,我们明明可以确保代码在逻辑上是安全的,编译器却因为过于“保守”而拒绝编译。内部可变性就是一种设计模式:它允许你在数据结构内部使用unsafe代码来放宽限制,从而在持有不可变引用时也能修改数据。

对于外部使用者而言,这个对象依然是不可变的,但其内部状态却可以悄悄发生改变。


2. 编译时检查 vs 运行时检查

Box<T>、Rc<T>和RefCell<T>的核心区别在于它们执行借用规则的时机不同:

智能指针类型所有权特征借用检查时机违反规则的后果
Box<T>唯一所有者编译时编译错误
Rc<T>多个所有者(不可变)编译时编译错误
RefCell<T>唯一所有者运行时程序 Panic(崩溃)
  • 为什么选择编译时检查?能在开发早期发现错误,且对运行性能零开销,是绝大多数情况下的首选。
  • 为什么需要运行时检查(RefCell<T>)?编译器的静态分析是保守的。当有些内存安全的场景无法被编译器静态识别时,RefCell<T>允许程序员在运行时自己向借用检查器证明安全性。如果运行时刻不小心违反了规则,程序会直接panic退出,而不是无法通过编译。

注意:RefCell<T>和Rc<T>一样,只能用于单线程场景。如果在多线程下使用,会导致编译错误(多线程并发修改需要配合后面章节介绍的Arc和Mutex)。


3. 经典应用场景:编写 Mock 对象进行测试

在编写单元测试时,我们经常需要用到Mock 对象(测试替身)来记录某个被测对象是否按预期发出了通知或调用了方法。

为什么常规写法行不通?

假设我们要测试一个限流器LimitTracker:

  • 当用户超出 75% 配额时,它会调用messenger.send(&str)发送警告。
  • 在编写测试时,我们需要一个MockMessenger来记录被发送了多少条消息。

如果你尝试像下面这样编写代码:

pubtraitMessenger{fnsend(&self,msg:&str);// 注意:这里方法签名使用的是不可变借用 &self}structMockMessenger{sent_messages:Vec<String>,// 用来记录消息的 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列表(添加新消息)。这直接冲突了。


使用RefCell<T>完美解决

为了在&self不可变引用的情况下修改内部数据,我们可以把sent_messages用RefCell<T>包裹起来:

usestd::cell::RefCell;pubtraitMessenger{fnsend(&self,msg:&str);}structMockMessenger{// 用 RefCell 包装 Vec,实现内部可变性sent_messages:RefCell<Vec<String>>,}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_messenger=MockMessenger::new();letlimit_tracker=LimitTracker::new(&mock_messenger,100);limit_tracker.set_value(80);// 验证 sent_messages 确实记录了一条消息assert_eq!(mock_messenger.sent_messages.borrow().len(),1);}

4.RefCell提供的核心方法

当你使用RefCell<T>时,可以通过以下方法来安全地获取内部值:

  1. borrow():
  • 返回内部数据的智能指针Ref<T>,类似于不可变借用(&T)。
  • 可以同时多次调用borrow()获得多个不可变借用。
  1. borrow_mut():
  • 返回内部数据的智能指针RefMut<T>,类似于可变借用(&mut T)。
  • 运行时限制:如果在同一作用域内已经存在活跃的借用(无论是不可变还是可变),再次调用borrow_mut()会导致程序直接panic!崩溃。

5. 黄金组合:Rc<T>+RefCell<T>

Rc<T>允许你拥有多个所有者(共享数据),但它只提供只读访问。
RefCell<T>允许你修改数据,但它只支持单一所有者。

当这两个智能指针结合在一起(即Rc<RefCell<T>>)时,你便拥有了强大的威力:可以创建出“拥有多个所有者,且这些所有者都能共同修改同一份数据”的数据结构(例如图或树结构中的多向节点引用)。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/10/31 7:00:39

eNSP 静态路由实验

今天是eNSP 的静态路由实验 一、实验前准备 拓扑配置&#xff1a;路由器R1–R5 链接要求如下图所示基础设施搭配好了之后就基于192.168.1.0/24 来计算网段 由图知6根链接线对应6根骨干链路&#xff0c;然而骨干链路是“点对点”连接&#xff0c;一条链路只需2个IP&#xff08;两…

作者头像 李华
网站建设 2026/10/31 6:59:27

案例 3.10 文件引用

案例 3.10 文件引用在文档编辑与内容管理场景中&#xff0c;文件引用是一项基础而关键的能力。它允许正文通过链接的方式指向外部文件、附件或资源&#xff0c;从而在不把文件内容直接嵌入正文的前提下&#xff0c;实现内容的关联与复用。本案例围绕文件引用的实现思路、常见形…

作者头像 李华
网站建设 2026/10/31 6:59:05

秋招错过提前批和正式批,还有哪些机会

不少同学本来在考研和考公&#xff0c;但突然有了新规划&#xff0c;想秋招找一个保底的 Offer。10 月底才开始找岗位&#xff0c;确实已经错过一部分提前批和网申的机会&#xff0c;但仍有企业在收简历&#xff0c;也有企业正处于面试和 Offer 发放阶段。现在投递&#xff0c;…

作者头像 李华
网站建设 2026/10/31 6:58:40

实验室设备借用系统

实验室设备借用系统 项目简介 本系统是一个基于 Vue3 Express MySQL 的实验室设备借用管理平台&#xff0c;用于高校或科研机构管理实验室设备的借用流程。系统支持多角色权限管理&#xff0c;包括设备管理、借用申请、审批流程、数据统计等功能。 技术栈 前端 Vue 3.5 Vite…

作者头像 李华
网站建设 2026/10/31 6:58:26

OpenTelemetry埋点实战

一、环境准备 go version # > 1.22 docker --version # 用于跑 Jaeger mkdir otel-demo && cd otel-demo go mod init otel-demo 核心依赖(一次装齐): go get go.opentelemetry.io/otel \go.opentelemetry.io/otel/trace \go.opentelemetry.io/otel/…

作者头像 李华
网站建设 2026/10/31 6:56:58

2026 翻译工具盘点:26 款翻译软件与开源工具,按场景怎么选

精选翻译工具与工作流目录&#xff1a;涵盖随身出行、网页阅读、复杂文档排版、学术研读、开源本地引擎与开发者接入。 不同场景下的翻译任务有着截然不同的诉求&#xff1a;在手机上快速识别路牌与菜单&#xff0c;在浏览器中对照阅读技术文档&#xff0c;在保留版面结构的前提…

作者头像 李华