Goにおける変数のライフサイクルとメモリ管理

変数の有効期間とメモリ割り当ての仕組み

Go言語では、変数のライフサイクル（生存期間）がそのメモリ割り当て場所（スタックまたはヒープ）に直接影響します。変数がいつ、どこでどのように確保されるかを理解することで、パフォーマンスの最適化や不要なガベージコレクション（GC）負荷の低減が可能になります。

スタック: 関数呼び出し時に一時的に作成されるローカル変数を格納する領域。関数のスコープ終了と同時に自動的に解放されます。アクセスが高速で管理コストが低いのが特徴です。
ヒープ: 動的に確保されるメモリ領域。サイズが実行時に決まるスライス、マップ、チャネルなど、または関数外から参照される変数はここに配置されます。GCによって後ほど解放されるため、オーバーヘッドがあります。

変数の存在期間はそのスコープに密接に関連しています。

グローバル変数: プログラム全体の実行期間中、常に存在します。初期化時にヒープに割り当てられ、プロセス終了まで保持されます。
ローカル変数: 関数内またはブロック内で宣言され、そのスコープに入った時点で生成され、スコープを抜けると破棄されます。通常はスタックに割り当てられますが、エスケープ解析によりヒープに移動する場合もあります。
関数の引数と戻り値: これらもローカル変数として扱われ、関数呼び出し時に生成され、終了時に解放されます。

ローカル変数が関数の外側から参照可能になる場合、その変数は「エスケープした」と見なされます。このとき、コンパイラはその変数をスタックではなくヒープ上に割り当てます。

var globalRef *int

func escapeExample() {
    localVal := 42
    globalRef = &localVal // localVal は関数終了後も参照される
}

上の例では、localValは関数escapeExample内で定義されていますが、パッケージレベルのポインタglobalRefにアドレスが代入されているため、関数終了後もアクセス可能です。よって、localValはヒープに割り当てられます。

func noEscape() *int {
    temp := new(int)
    *temp = 100
    return temp // 戻り値経由で外部に渡るが、呼び出し元次第でエスケープ判定
}

この場合、tempがヒープに行くかどうかは呼び出し元の使用状況によります。Goのコンパイラは-gcflags="-m"オプションでエスケープ解析の結果を確認できます。

以下の型はその性質上、実行時にサイズが決定するため、基本的にヒープに割り当てられます。

たとえば、以下のように大量の要素を持つスライスをループ内で生成すると、毎回ヒープ割り当てが発生し、GCの負荷が増加します。

func process() {
    for i := 0; i < 1000; i++ {
        buffer := make([]byte, 2048) // 毎回ヒープ割り当て
        // 処理...
        _ = buffer
    }
}

このようなケースでは、バッファの再利用（sync.Poolの活用）や事前確保による最適化が有効です。

7月24日 21:19 投稿