ArchGrid - 架构知识网格
·
Rust惑点启示系列（七）：使用全局变量和单例
💡
原文中文，约3100字，阅读约需8分钟。
📝
内容提要
在Rust中，全局变量使用`static`声明并需初始化，可变全局变量需在`unsafe`块中使用。全局变量可通过`std::cell`或`std::sync`模块实现，前者适用于同步程序，后者适用于多线程或异步程序。单例模式可通过全局变量或使用`RwLock`和`LazyLock`实现。
🎯
关键要点
- 全局变量在Rust中使用static声明并需初始化，且可变全局变量需在unsafe块中使用。
- 全局变量的声明必须显式书写其类型，且不可变全局变量可以直接声明。
- 可变全局变量使用static mut声明，但需在unsafe块中操作以保证并发安全性。
- 可以使用std::cell或std::sync模块来实现全局变量，前者适用于同步程序，后者适用于多线程或异步程序。
- OnceCell和OnceLock是只读变量，LazyCell和LazyLock在首次访问时初始化。
- 可写全局变量可以使用Mutex或RwLock来实现，并可通过Option支持在运行时初始化。
- 全局变量实际上可以作为单例模式的实现，LazyLock、Mutex或RwLock可用于实现单例模式。
❓
延伸问答
在Rust中如何声明全局变量？
在Rust中，全局变量使用`static`关键字声明，并且必须在声明时初始化，且类型必须显式指定。
Rust中可变全局变量的使用有什么限制？
可变全局变量使用`static mut`声明，但必须在`unsafe`块中操作，以确保并发安全性。
如何在Rust中实现单例模式？
在Rust中，可以通过全局变量结合`RwLock`或`LazyLock`来实现单例模式。
Rust中全局变量的线程安全如何保证？
可以使用`Mutex`或`RwLock`来实现可写全局变量，从而保证线程安全。
什么是OnceCell和LazyCell，它们有什么区别？
OnceCell和LazyCell都是只读变量，OnceCell在声明时初始化，而LazyCell在首次访问时初始化。
在Rust中如何使用Option来初始化全局变量？
可以将全局变量声明为`RwLock<Option<T>>`，并在运行时通过获取写入锁来初始化其值。
➡️
