为何Rust允许对不可变的RwLock执行写入操作？

这不是编译器的特殊处理，也不存在所谓“魔法类型”，核心原因是RwLock利用了Rust的内部可变性（Interior Mutability）机制，而内部可变性的基础是UnsafeCell类型。

1. Rust的两种可变性概念 #

Rust里区分两种可变性：

• 外部可变性：通过let mut声明的变量，整个实例本身可被修改（比如重新赋值、调用&mut self方法）。
• 内部可变性：实例本身是不可变的（用let而非let mut声明），但内部数据可通过安全API修改。这种能力由UnsafeCell提供——它是Rust中唯一允许在不可变引用下修改内部数据的安全原语。

2. RwLock的实现逻辑 #

RwLock<T>内部用UnsafeCell<T>包裹了存储的数据。即使RwLock实例本身不可变，只要调用它提供的安全API（比如write()），就能获取内部数据的可变引用：

• write()方法会先获取写锁，保证同一时间只有一个线程能持有写锁，避免数据竞争。
• 获取到的RwLockWriteGuard是智能指针，实现了DerefMut，因此可以通过*解引用来修改内部数据。

3. 关于“堆存储”的猜测 #

你的猜测有部分关联，但核心原因不是堆/栈存储：

• RwLock::new(0)默认会把数据存在栈上（如果T是栈类型），实际多线程场景中常配合Arc把RwLock放到堆上共享，但这只是共享方式，不是能修改内部值的原因。
• 无论数据在堆还是栈，只要用UnsafeCell包裹，就能实现内部可变性。

4. 为什么这是安全的？ #

内部可变性不是无限制的“钻空子”：

• 对于RwLock，它通过锁机制在运行时保证线程安全，避免数据竞争。
• 类似的RefCell会在运行时检查单线程内的借用规则，违反时直接panic。
  这些类型的API都经过严格设计，确保即使绕过编译期可变检查，也不会触发内存不安全问题。

简单类比：RwLock就像一个带锁的柜子，柜子本身不能移动（实例不可变），但你可以通过钥匙（write()方法）打开柜门修改内部物品——钥匙的获取逻辑会保证同一时间只有一个人能操作柜门。

内容的提问来源于stack exchange，提问作者TheMisir