Keyword static

静态项是在程序的整个持续时间 ('static 生命周期) 内有效的值。

从表面上看，static 项与 const 非常相似: 两者都包含一个值，都需要类型注解，并且都只能使用常量函数和值进行初始化。

但是，static 与众不同之处在于它们表示内存中的一个位置。 这意味着您可以引用 static 项，甚至可以对其进行修改，从而使它们本质上是变量。

静态项不要在程序末尾调用 drop。

static 项有两种类型: 与 mut 关键字关联声明的 static 项和没有 mut 关键字的 static 项。

静态项无法移动:

static VEC: Vec<u32> = vec![];

fn move_vec(v: Vec<u32>) -> Vec<u32> {
    v
}

// 该行导致错误
move_vec(VEC);

简单的 static

访问非 mut static 项被认为是安全的，但存在一些限制。 最值得注意的是，static 值的类型需要实现 Sync trait，排除内部可变性容器 (如 RefCell)。 有关更多信息，请参见 Reference。

static FOO: [i32; 5] = [1, 2, 3, 4, 5];

let r1 = &FOO as *const _;
let r2 = &FOO as *const _;
// 对于严格只读的静态，引用将具有相同的地址
assert_eq!(r1, r2);
// 在许多情况下，可以像使用变量一样使用静态项
println!("{:?}", FOO);

可变 static

如果使用 mut 关键字声明了 static 项，则程序允许对其进行修改。 但是，访问可变的 static 可能以多种方式导致未定义的行为，例如由于多线程上下文中的数据竞争。 因此，对可变 static 的所有访问都需要一个 unsafe 块。

尽管它们不安全，但是在许多情况下，可变的 static 是必需的: 它们可用于表示整个程序共享的状态或在 extern 块中绑定到 C 库中的变量。

在 extern 块中:

extern "C" {
    static mut ERROR_MESSAGE: *mut std::os::raw::c_char;
}

就像简单的静态变量一样，可变静态变量也有一些限制。有关更多信息，请参见 Reference。