Go Academy · レッスン

スタックとヒープ、エスケープ解析

Q: 「スタックとヒープ、エスケープ解析」で何を学びますか？

Goがメモリの割り当て先を決める仕組み ブラウザで直接実行するハンズオンコードでGo Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

Goがメモリの割り当て先を決める仕組み

「スタックとヒープ、エスケープ解析」はCoddyKit上の無料Go Academyレッスンです。これはレッスン1/4です。下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。これはGo Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Go Academyコースには全4レッスンが含まれています。

スタック割り当て

関数からエスケープしないローカル変数は、ゴルーチンのスタックに割り当てられます。スタック割り当ては高速で、単にポインターをインクリメントするだけです。また、戻り時にスタックフレームを破棄するため、回収コストもかかりません。

ヒープ割り当て

ヒープにエスケープする変数は Go のアロケーターによって割り当てられ、ガベージコレクターによって追跡されます。ヒープ割り当てはより低速で、GC の負荷も増加します。

エスケープの原因

よくあるエスケープの原因には、ローカル変数のアドレスを取得して返すこと、ローカル変数をインターフェースに格納すること、チャネルに送信することがあります。コンパイラーのエスケープ解析によって、この判定が行われます。

func newUser() *User { // *User escapes to heap
    return &User{Name: "Alice"}
}

go build -gcflags=-m

エスケープ解析の判定を出力します。

go build -gcflags="-m" .
// main.go:10:15: &User literal escapes to heap
// main.go:5:14: s does not escape

ゴルーチンのスタック

各ゴルーチンは小さなスタック（Go 1.14 以降では 2 KiB）で開始し、必要に応じて動的に拡張されます。スタックはヒープとは別に管理され、ゴルーチンの終了時に回収されます。

割り当ての回避

小さな構造体では、ポインターではなく値を渡します。サイズが分かっている場合は、スライスではなくスタックに割り当てられる配列を使用します。値を返すことで、ポインターではなくスタック上に保持できます。

インターフェースボックス化

具体的な値をインターフェースに代入すると、その値はヒープにエスケープします（ボックス化）。ホットパスでは、インターフェースの代わりに具体的な型を受け取るか、ジェネリクスを使用します。

sync.Pool

sync.Pool を使用してヒープに割り当てられたオブジェクトを再利用すると、短期間だけ使用されるオブジェクト（バッファーやリクエストコンテキスト）を頻繁に割り当てることによる GC の負荷を減らせます。

var pool = sync.Pool{New: func() any { return make([]byte, 1024) }}
buf := pool.Get().([]byte)
defer pool.Put(buf[:0])

割り当てのプロファイリング

go test -benchmemと-alloc_spaceを使ったヒーププロファイリングで、最も多くのメモリを割り当てている関数を見つけます。

スライスと配列

小さな配列[N]Tはスタック上に保持されることがあります。スライスヘッダー（24 バイト）はスタックに割り当てられますが、バッキング配列はエスケープする可能性があります。make で事前に確保すると、再割り当ての繰り返しを避けられます。

文字列インターニング

文字列リテラルはヒープに割り当てられません（読み取り専用データセグメントに格納されます）。[]byte から string への変換では割り当てが発生します。頻繁に使用する文字列をキャッシュして、変換の繰り返しを避けます。

クイックチェック

ローカル変数がスタックからヒープへエスケープする原因は何ですか。

まとめ：スタックとヒープ

要点：

スタックは高速で GC コストがかからず、ヒープは低速で GC によって追跡されます
go build -gcflags="-m" でエスケープの判定を確認できます
インターフェースボックス化、ローカル変数のアドレス取得、チャネルへの送信によってエスケープが発生します
頻繁に割り当てと破棄を行うオブジェクトには sync.Pool を使用します

よくある質問

「スタックとヒープ、エスケープ解析」レッスンは無料ですか？

はい。「スタックとヒープ、エスケープ解析」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Go Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Go Academyコースには全4レッスンが含まれています。

「スタックとヒープ、エスケープ解析」で何を学びますか？

Goがメモリの割り当て先を決める仕組みブラウザで直接実行するハンズオンコードでGo Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

Go Academyを始めるのに経験は必要ですか？

事前経験は必要ありません。CoddyKitのGo Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。これはレッスン1/4です。

「スタックとヒープ、エスケープ解析」レッスンにはどのくらい時間がかかりますか？

ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このGo Academyレッスンでコードを書いて実行できますか？

はい。すべてのGo Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

← Go Academyに戻る