为何unsafe块中static mut变量允许多个可变借用？

首先得明确：Rust的借用检查器对普通mut变量和static mut变量的处理逻辑从根上就不一样。

普通mut变量的规则 #

哪怕在unsafe块里，普通mut变量的借用规则依然生效——因为编译器能完全掌控这个变量的生命周期、作用域和所有可能的访问路径。unsafe的作用是绕过部分安全检查（比如裸指针操作、未初始化内存），但不是废掉整个借用检查的核心不变式。编译器依然依赖这些不变式做优化，比如消除冗余加载、重排指令，所以哪怕用unsafe也不能随便创建多个可变借用。

static mut的特殊性 #

static mut是全局可变状态，它的生命周期是'static，意味着程序运行全程都存在，而且可能被任意线程、甚至外部FFI代码访问。这种情况下，编译器根本没法在编译期追踪所有可能的访问场景——它不可能知道某个外部C函数会不会偷偷修改这个静态变量，也没法保证跨线程的访问顺序。

所以Rust的设计是：把static mut的所有操作都放进unsafe块，把保证安全的责任完全交给开发者。允许在unsafe内创建多个可变引用，本质是因为编译器无力对它做常规的借用检查，只能放弃这部分的编译期验证，转而要求开发者手动确保没有数据竞争、没有悬垂引用等问题。

这不是遗留特性，是刻意的设计 #

这个特性不是历史遗留，而是为了满足两类刚需：

• 底层硬件/系统编程：比如访问内存映射的硬件寄存器，这类场景必须用全局可变状态，而且没法用常规的借用规则约束。
• C/LLVM互操作性：C语言里大量使用全局可变变量，Rust需要能和这些代码交互，static mut就是对应C全局可变变量的安全（虽然是unsafe的）接口。

当然，Rust社区更推荐用更安全的替代方案（比如std::sync::Mutex、OnceCell、Atomic*类型）来处理全局状态，static mut只应该在没有其他更好选择的底层场景使用。

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