在 Rust 的所有权系统中，默认规则要求通过可变引用（&mut T）修改数据，而共享引用（&T）则禁止修改。然而，实际工程中经常存在一种需求：在持有共享引用的情况下修改内部状态。这种看似矛盾的需求通过内部可变性（Interior Mutability）模式得以实现，而这一机制与 Rust 的并发安全标记 ——Send 与 Sync trait—— 紧密关联。

内部可变性的核心：UnsafeCell

理解内部可变性，必须从 UnsafeCell<T> 说起。根据 Rust 语言参考的定义，UnsafeCell 是标准库中唯一允许在不可变别名存在时修改内部状态的类型。当 UnsafeCell<T> 被不可变引用时，仍然可以安全地获取可变引用或修改内部值。这一特性打破了共享引用不可变这一基本规则，但规则仍然存在：多个可变引用同时存在是未定义行为。

UnsafeCell 是所有内部可变性类型的底层基石。标准库在此基础上构建了安全的上层 API，包括单线程场景的 Cell 与 RefCell，以及多线程场景的 Mutex 与 RwLock。理解这一点有助于在调试时定位内部可变性相关的问题。

单线程内部可变性：Cell 与 RefCell

Cell 是最简单的内部可变性封装，适用于实现了 Copy trait 的类型。其核心方法包括 get() 获取值副本、set() 设置新值、以及 replace() 替换并返回旧值。由于操作时转移的是值的副本而非引用，Cell 不涉及借用检查，完全在编译期完成。值得注意的是，Cell 不是 Sync，这意味着它不能在多线程间共享。工程实践中，Cell 常见于 struct 内部需要修改但自身被不可变引用持有的场景，例如配置对象的部分字段更新。

RefCell 则更接近普通引用的使用习惯，它提供了 borrow() 与 borrow_mut() 方法，分别返回 Ref<T> 与 RefMut<T>。与编译期借用检查不同，RefCell 在运行时检查借用规则：同时存在多个不可变借用是允许的，但可变借用与任何其他借用共存将触发 panic。这一设计使得 RefCell 能够在编译期无法确认借用合法性的场景下工作 —— 代价是牺牲了部分编译时安全性，改为运行时检测。典型的应用场景是配合 Rc<T> 实现单线程内的共享可变状态，例如图数据结构的节点引用计数管理。

选择 Cell 还是 RefCell，关键在于数据类型是否实现了 Copy 以及是否需要借用内部值。对于简单标量类型优先使用 Cell 以获得零运行时开销；对于需要借用复杂数据结构的场景使用 RefCell。

线程安全内部可变性：Mutex 与 Send+Sync 约束

当需要在多线程间共享可变状态时，Cell 与 RefCell 显得力不从心 —— 它们不是 Sync，无法通过类型检查。Mutex 提供了跨线程的内部可变性方案：通过内部锁机制确保任意时刻只有一个线程能够访问或修改内部数据。从 trait 约束角度看，Mutex<T> 本身实现了 Send 与 Sync（前提是 T 实现了 Send），这意味着 Mutex<T> 可以安全地在线程间传递，且可以通过共享引用在线程间共享。

理解 Send 与 Sync 的语义至关重要。Send 表示类型可以安全地被移动到另一个线程；Sync 表示类型可以安全地通过共享引用（&T）在多个线程间共享。Rust 编译器自动推导这两个 trait 的实现，但对于内部可变性类型，推导结果直接决定了其线程安全性。Cell 与 RefCell 推导为非 Sync，因为它们缺乏同步机制；Mutex 推导为 Sync，因为锁机制提供了必要的同步保证。

实际工程中，常见的模式是将数据包装在 Arc<Mutex> 中。Arc 提供了共享所有权的引用计数，Mutex 则确保访问的互斥性。这种组合在并发服务器、线程池任务队列等场景中极为常见。

工程实践选择策略

选择内部可变性类型时，首先明确使用场景是单线程还是多线程。单线程优先考虑 Cell（Copy 类型）或 RefCell（需借用）；多线程必须选择 Mutex（互斥访问）或 RwLock（读多写少场景）。其次评估性能敏感度：Cell 零运行时开销，RefCell 仅在借用冲突时付出代价，Mutex/RwLock 每次访问都有锁操作开销。

对于 RefCell 的运行时借用冲突，工程中常见的监控指标包括：panic 发生次数（可通过捕获 panic 记录日志）、借用时长（过长可能导致锁竞争或 borrow 冲突）。对于 Mutex，需要关注的参数包括锁竞争时长、队列等待时间，以及死锁风险 —— 建议使用 RAII 模式确保锁在作用域结束时释放，避免长时间持有锁。

内部可变性是 Rust 所有权模型的重要补充，它在安全与灵活之间找到了平衡点。理解 Cell、RefCell 与 Mutex 的差异，以及 Send 与 Sync 的约束关系，是编写高效、安全 Rust 代码的关键。

资料来源：