如何在Rust中声明带内部链接的可变变量？解决线程安全编译报错

在C++里用static声明内部链接的可变变量很常见，但Rust的安全模型对可变静态变量有严格限制——因为静态变量是全局可访问的，多线程环境下直接读写会导致数据竞争，触发未定义行为，所以Rust要求所有对static mut的操作必须放在unsafe块中。不过直接用unsafe是不推荐的，除非你能手动保证线程安全。下面给几种更安全的实现方式：

1. 直接使用unsafe块（不推荐，仅用于完全可控的单线程场景） #

如果你确定代码只会在单线程运行，可以把对static mut的读写包裹在unsafe块里：

static mut x: i32 = 5;

fn main() {
    unsafe {
        println!("{}", x);
        
        x = 10;
        println!("{}", x);
    }
}

但这种方式跳过了Rust的安全检查，一旦引入多线程就会有风险。

2. 使用原子类型（推荐，适用于简单数值类型） #

对于i32这类简单数值，用标准库的std::sync::atomic模块的原子类型可以安全地实现线程安全的全局可变变量：

use std::sync::atomic::{AtomicI32, Ordering};

static X: AtomicI32 = AtomicI32::new(5);

fn main() {
    println!("{}", X.load(Ordering::SeqCst));
    
    X.store(10, Ordering::SeqCst);
    println!("{}", X.load(Ordering::SeqCst));
}

原子操作是线程安全的，不需要unsafe，Ordering参数用来指定内存顺序，SeqCst是最严格的顺序，适合大多数场景。

3. 使用Mutex包裹（适用于复杂类型） #

如果需要全局可变的复杂类型（比如结构体、Vec等），可以用std::sync::Mutex结合lazy_static（或者Rust 1.63+的const Mutex）来实现：
首先在Cargo.toml里添加lazy_static依赖（如果用老版本Rust）：

[dependencies]
lazy_static = "1.4"

然后编写代码：

use std::sync::Mutex;
use lazy_static::lazy_static;

lazy_static! {
    static ref X: Mutex<i32> = Mutex::new(5);
}

fn main() {
    let mut x = X.lock().unwrap();
    println!("{}", *x);
    
    *x = 10;
    println!("{}", *x);
}

Mutex保证了同一时间只有一个线程能访问内部数据，lazy_static用来在第一次使用时初始化静态变量，避免编译时初始化的限制。

为什么Rust要限制可变静态变量？ #

Rust的核心目标是内存安全和线程安全，可变静态变量天生存在数据竞争的风险——多个线程同时读写时，没有同步机制会导致数据损坏或未定义行为。所以Rust强制要求开发者显式处理这种风险，要么用unsafe手动保证安全，要么用线程安全的同步原语。

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