Изменяемые статические переменные

Безопасно читать неизменяемую статическую переменную:

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0

static HELLO_WORLD: &str = "Hello, world!";

fn main() {
    println!("HELLO_WORLD: {HELLO_WORLD}");
}

Однако изменяемые статические переменные небезопасно читать и записывать, потому что несколько потоков могут делать это одновременно без синхронизации, что приводит к гонке данных.

Корректное использование изменяемых статических переменных требует рассуждений о конкурентности без помощи компилятора:

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0

static mut COUNTER: u32 = 0;

fn add_to_counter(inc: u32) {
    // SAFETY: Нет других потоков, которые могли бы обращаться к `COUNTER`.
    unsafe {
        COUNTER += inc;
    }
}

fn main() {
    add_to_counter(42);

    // SAFETY: Нет других потоков, которые могли бы обращаться к `COUNTER`.
    unsafe {
        dbg!(COUNTER);
    }
}