先生と生徒の会話形式で理解しよう

生徒

「Rustでプログラム全体から参照できるグローバルな値を定義したいのですが、どうすればいいですか？」

先生

「Rustには定数（const）と静的変数（static）の2種類があります。他の言語と違って、Rustは安全性を重視するので、特に書き換え可能なグローバル変数の扱いは少し慎重になる必要があるんですよ。」

生徒

「普通の変数letとは何が違うんですか？安全に設計するためのコツを知りたいです！」

先生

「いい視点ですね。constはコンパイル時に値が埋め込まれ、staticはメモリ上の固定の位置に配置されます。Rustの厳格な所有権や型システムが、グローバルなデータ設計にどう関わるか詳しく見ていきましょう！」

1. Rustにおける定数と静的変数の基本概念

Rustでグローバルなスコープ、つまり関数の外側で値を定義する場合、主にconstキーワードとstaticキーワードを使用します。これらはプログラムの実行中ずっと存在し続けるデータですが、それぞれ性質が大きく異なります。初心者がまず覚えるべきは、ほとんどのケースではconstを使用するのが推奨されるという点です。定数は不変であり、コンパイル時にその値がコード内の利用箇所に直接インライン化されます。一方で静的変数は、メモリ内の特定の固定アドレスに保持され、プログラム終了までその場所が変わりません。

グローバル変数は、複数のスレッドから同時にアクセスされる可能性があるため、Rustの強力な型システムと安全性のルールが適用されます。特に「可変なグローバル変数」は、データ競合のリスクがあるため、Rustではデフォルトで安全ではない操作（unsafe）として扱われます。この厳しさが、実行時のバグを未然に防ぐRustの最大のメリットなのです。

2. 定数（const）の使い方とインライン化の仕組み

定数はconstキーワードを使って定義します。定数の特徴は、型指定が必須であることと、大文字の蛇型（SCREAMING_SNAKE_CASE）で命名する慣習があることです。定数は「不変」であり、再代入は一切許可されません。また、定数に代入できるのは「定数式」と呼ばれる、コンパイル時に計算が完了できる値のみです。実行時にしか決まらない計算結果を定数に入れることはできません。


// 定数の定義（型指定が必須）
const MAX_POINTS: u32 = 100_000;
const PI: f64 = 3.1415926535;

fn main() {
    println!("最大ポイントは {} です。", MAX_POINTS);
    println!("円周率は {} です。", PI);
}

上記のコードにおいて、MAX_POINTSはコンパイル時に数値の100000としてバイナリの中に直接埋め込まれます。これは、プログラムが実行されるときにメモリのアドレスを参照しに行く手間が省けるため、非常に高速に動作します。物理的な「場所」を持たない、マジックナンバーに名前をつけたものだと考えると分かりやすいでしょう。

3. 静的変数（static）とメモリ配置の重要性

次にstaticです。静的変数はプログラムの全期間にわたって有効な「固定のアドレス」を持つ変数です。定数と似ていますが、大きな違いはメモリ上に実体が存在し続ける点です。例えば、非常に大きなデータ構造をグローバルに保持したい場合、定数にすると使用するたびにデータがコピー（インライン化）されてバイナリサイズが肥大化する可能性がありますが、静的変数なら一つの実体を共有できます。


// 静的変数の定義
static APP_NAME: &str = "Rustプログラミング解説";

fn main() {
    // どこからでも同じメモリアドレスを参照する
    println!("アプリケーション名: {}", APP_NAME);
}

静的変数も型指定が必須で、ライフタイムは自動的に'staticとなります。これはプログラムが開始してから終了するまで有効であることを意味します。通常、読み取り専用のグローバル設定などはstaticよりもconstが好まれますが、特定のアドレスを維持する必要がある低レベルな操作や、後述する外部ライブラリとの連携などではstaticが活躍します。

4. 可変な静的変数が「unsafe」である理由

Rustで最も注意が必要なのが、static mut（可変な静的変数）です。グローバル変数を書き換え可能にすると、複数のスレッドが同時にその値を変更しようとした場合に「データ競合」が発生します。これはプログラムが予測不能な挙動を示したり、クラッシュしたりする原因になります。そのため、Rustではstatic mutへのアクセスや変更はすべてunsafeブロックで囲む必要があります。


static mut COUNTER: u32 = 0;

fn increment_counter() {
    // 可変な静的変数へのアクセスはunsafeが必要
    unsafe {
        COUNTER += 1;
    }
}

fn main() {
    increment_counter();
    unsafe {
        println!("カウンターの値: {}", COUNTER);
    }
}

このように、unsafeを使うことでコンパイラの安全チェックを一部解除することになります。初心者が安易にstatic mutを使うのは避けるべきです。Rustの設計思想では、「グローバルな状態を持つこと」自体を最小限に抑えるか、次に紹介する「スレッド安全な仕組み」を使って安全に管理することが推奨されています。グローバル変数の乱用は、コードのテストを困難にし、予期せぬ依存関係を生む原因にもなります。

5. 安全なグローバル設計：LazyCellとOnceCellの活用

Rust 1.70以降、標準ライブラリにOnceCellやLazyCell（およびスレッド安全なOnceLock、LazyLock）が導入され、グローバルな初期化が劇的に楽になりました。これらを使うと、グローバル変数を「最初にアクセスされたときに一度だけ初期化する」という遅延初期化が可能になります。これにより、実行時にしか決まらない値（環境変数や現在の時刻など）をグローバルに安全に保持できます。


use std::sync::LazyLock;

// スレッド安全な遅延初期化（Rust 1.80〜 標準ライブラリ）
static GLOBAL_CONFIG: LazyLock<String> = LazyLock::new(|| {
    // ここで複雑な初期化処理ができる
    println!("設定を初期化中...");
    "Rust_Safe_Config_v1".to_string()
});

fn main() {
    println!("1回目のアクセス");
    println!("値: {}", *GLOBAL_CONFIG);
    
    println!("2回目のアクセス");
    println!("値: {}", *GLOBAL_CONFIG);
}


1回目のアクセス
設定を初期化中...
値: Rust_Safe_Config_v1
2回目のアクセス
値: Rust_Safe_Config_v1

LazyLockを使用すると、初期化処理は一度しか走りません。2回目以降のアクセスでは、既に生成された値が返されます。内部的に排他制御が行われているため、マルチスレッド環境でも安全です。これはstatic mutとunsafeを使うよりも遥かに現代的で、Rustらしい安全な設計パターンです。グローバルな設定オブジェクト、データベース接続プール、重い計算結果のキャッシュなどは、この手法で設計するのがベストプラクティスです。

6. 内部可変性とグローバル変数の組み合わせ

もし、どうしてもグローバルな値をプログラムの途中で変更したい場合は、MutexやRwLockを組み合わせるのが正解です。これらは「内部可変性」と呼ばれるパターンを提供します。変数自体は不変（静的）として定義し、その中身をロックによって保護することで、安全に値を書き換えることができます。これにより、unsafeを使わずに安全な並行プログラミングが可能になります。

たとえば、共有のログバッファや統計情報を保持する場合、static COUNTER: AtomicU32 = AtomicU32::new(0);のようにアトミック型を使用するか、複雑な構造体の場合はstatic DATA: LazyLock>> = LazyLock::new(|| Mutex::new(Vec::new()));のように記述します。ロックを取得する手間はありますが、それによってデータが壊れる心配がなくなるため、メンテナンス性が飛躍的に向上します。

7. 定数と静的変数の使い分けまとめ表

これまでの内容を整理するために、constとstaticの主な違いを比較表にまとめました。どちらを使うべきか迷った際の参考にしてください。基本的には、単純な値ならconstを、共有されるべき唯一のインスタンスならstatic（必要に応じてLazyLockやMutexを併用）を選択するのがRustの王道です。

特徴	定数 (const)	静的変数 (static)
メモリ上の実体	なし（インライン展開）	あり（固定アドレス）
型指定	必須	必須
可変性	不可	可能（だがunsafeが必要）
初期化	コンパイル時のみ	コンパイル時（LazyLockで実行時も可）
主な用途	マジックナンバーの命名	大きなデータ、シングルトン

Rustでのプログラミングにおいて、グローバル変数を減らすことは、単にコードを綺麗にするだけでなく、所有権のシステムを最大限に活用するために不可欠です。データを関数の引数として渡す「依存性の注入」を優先し、どうしても必要な場合にだけ、今回学んだ安全なグローバル設計を取り入れるようにしましょう。これが、Rustマスターへの第一歩です。