Rust中的全局单例：用代码打破刻板印象

轻松学习Python，无需理论负担。在浏览器中直接解决带自动检查的实践任务，无需安装任何东西。

引言：为什么Rust中的全局单例是一个挑战？

如果你来自Python、JavaScript或C++的世界，你可能已经习惯了简单的全局对象。在模块级别声明一个变量，它就是你的了。在Rust中，这种技巧行不通。编译器严格监控数据的生命周期和访问权限，尤其是当数据可能被多个线程修改时。正因如此，Stack Overflow上的问题“How do I create a global, mutable singleton?”获得了数千次浏览和数十个复杂的回答。

但别急着害怕。Rust中的单例不是痛苦，而是一种纪律。今天，我们将探讨如何安全、高效且透彻地创建一个全局可变单例。你将了解为什么static mut是邪恶的，以及哪些工具（lazy_static、OnceCell、Mutex）能让我们掌控局面。

本文为教育网站pythonlib.ru编写，并将SO上的一个真实问题改编为实践教程。我们开始吧！

问题：什么是全局可变单例？

单例是一种设计模式，其中类或结构体在整个程序中只有一个实例。在Rust的上下文中，我们讨论的是一个全局变量，可以从代码的任何位置访问，并且可以修改（mut）。

使用示例：

应用程序配置，在启动时加载一次。
全局日志记录器或事件计数器。
数据库连接池。
内存缓存（in-memory cache）。

问题在于，Rust禁止在没有特殊包装的情况下使用全局可变变量。为什么？因为它们会导致数据竞争（data races）和未定义行为。编译器无法证明两个线程不会同时写入同一内存单元。

一个天真的解决方案如下：

// 糟糕的代码——不要这样做！static mut COUNTER: u32 = 0;

fn increment() {    unsafe {        COUNTER += 1;    }}

这能工作，但需要unsafe，并且让你独自面对数据竞争。在多线程环境中，这是一颗定时炸弹。我们需要一种安全、惯用的方法。

工具1：lazy_static + Mutex——经典组合

创建全局可变单例最流行的方法是结合使用lazy_static（惰性初始化）和Mutex（互斥锁）。

在Cargo.toml中添加依赖：

[dependencies]lazy_static = "1.4"

现在来看代码：

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

lazy_static! {    static ref GLOBAL_CONFIG: Mutex<Config> = Mutex::new(Config::default());}

#[derive(Debug)]struct Config {    db_url: String,    max_connections: u32,}

impl Default for Config {    fn default() -> Self {        Config {            db_url: "localhost:5432".to_string(),            max_connections: 10,        }    }}

fn main() {    // 读取    let config = GLOBAL_CONFIG.lock().unwrap();    println!("当前URL: {}", config.db_url);

    // 写入    // drop(config); // 显式释放锁    let mut config = GLOBAL_CONFIG.lock().unwrap();    config.db_url = "new-host:8888".to_string();    println!("新URL: {}", config.db_url);}

它是如何工作的？