- プログラムが使うメモリの「スタック領域」が割り当てられた限界を超えてあふれることで起きるエラーのこと
- 関数を呼び出すたびにスタックに情報が積まれるため終了条件のない無限の再帰呼び出しなどでスタックが限界を超えるとプログラムがクラッシュする
- プログラミングのエラーとしてのスタックオーバーフローと、世界最大のプログラマー向けQ&Aサイト「Stack Overflow」は名前が同じだが全くの別物で、文脈で区別する必要がある
【深掘り】これだけ知ってればOK！
スタックオーバーフローの主な原因を理解しよう。無限再帰：終了条件のない、または条件に到達しない再帰関数。最も一般的な原因。深すぎる再帰：終了条件はあるが再帰の深さが極端に大きい。巨大なローカル変数：関数内で巨大な配列をスタックに確保する。これらでスタックの限界を超えると、多くの言語で「Stack Overflow Error」や「segmentation fault」が発生する。
無限再帰の例と対策を理解しよう。例えば階乗を計算する再帰関数で終了条件（nが0になったら1を返す）を書き忘れると、関数が自分自身を無限に呼び出し続けてスタックがあふれる。対策は、再帰関数に必ず正しい終了条件（ベースケース）を設けること、深い再帰が必要な場合はループ（反復）に書き換えることだ。末尾再帰最適化に対応した言語ならその活用も有効だ。
再帰とループの使い分けを理解しよう。再帰はコードが簡潔で木構造の探索などに自然に書けるが、深さの分だけスタックを消費する。ループ（反復）はスタックを消費しないため深い処理でも安全だ。アルゴリズムによって適切な方を選ぶ。再帰が自然な処理でも、データが巨大になる可能性がある場合はループへの書き換えやスタックを明示的に使う方法を検討する。
よくある誤解
スタックオーバーフローはQ&Aサイトのことだと思っている
文脈によって異なる。プログラミングのエラーとしてのスタックオーバーフローと、世界最大のプログラマー向けQ&Aサイト「Stack Overflow」は名前が同じだけの別物だ。サイト名はこのエラー名にちなんで付けられている。
再帰処理は必ずスタックオーバーフローを起こすと思っている
正しい終了条件（ベースケース）があり再帰の深さが適切なら、再帰処理は安全に動作する。スタックオーバーフローが起きるのは、終了条件がない無限再帰や深さが極端に大きい場合だ。適切に書けば再帰は強力なツールだ。
会話での使われ方
この再帰関数、終了条件が抜けています。無限再帰でスタックオーバーフローになるので、必ずベースケースを追加してください。
先輩エンジニアがコードレビューで再帰関数の不具合を指摘している場面。
データが深い階層になるとスタックオーバーフローのリスクがあります。再帰をループに書き換えて安全にしましょう。
エンジニアが大規模データへの対応を検討している場面。
このエラー、Stack Overflowで検索したらすぐ解決策が見つかりました。同名のエラーとサイトは別物ですけどね。
開発者がQ&Aサイトで問題解決した経験を話している場面。
【まとめ】3つのポイント
- スタック領域が限界を超えてあふれることで起きるエラー：関数を呼び出すたびにスタックに情報が積まれるため終了条件のない無限再帰などでスタックが限界を超えるとプログラムがクラッシュする
- 無限再帰が主な原因で正しい終了条件が対策になる：終了条件のない・条件に到達しない再帰呼び出しが最も一般的な原因で再帰関数に必ず正しいベースケースを設けることが基本的な対策になる
- 同名のプログラマー向けQ&Aサイトとは別物：エラーとしてのスタックオーバーフローと世界最大のプログラマー向けQ&Aサイトは名前が同じだけの別物でサイト名はこのエラー名にちなんで付けられている
よくある質問
-
Qスタックオーバーフローの主な原因は何ですか？
-
A
最も一般的なのは終了条件のない無限再帰です。ほかに再帰の深さが極端に大きい場合や、関数内で巨大なローカル変数を確保した場合にも起きます。
-
Qスタック領域とヒープ領域の違いは何ですか？
-
A
スタック領域は関数の呼び出し情報やローカル変数を一時的に積む領域でサイズが限られます。ヒープ領域は動的に確保するデータ用で比較的大きいです。
-
Qスタックオーバーフローを防ぐにはどうすればいいですか？
-
A
再帰関数に正しい終了条件（ベースケース）を設けること、深い処理が必要な場合はループに書き換えることが基本的な対策です。
-
QエラーとQ&Aサイトのスタックオーバーフローは関係ありますか？
-
A
名前が同じだけの別物です。Q&Aサイトの名前は、エラーで困ったプログラマーが集まる場所という意味でこのエラー名にちなんで付けられています。
【出典】参考URL
https://stackoverflow.com/ ：Stack Overflow（Q&Aサイト）
https://developer.mozilla.org/ja/docs/Glossary/Call_stack ：MDNのコールスタック解説
https://e-words.jp/w/%E3%82%B9%E3%82%BF%E3%83%83%E3%82%AF%E3%82%AA%E3%83%BC%E3%83%90%E3%83%BC%E3%83%95%E3%83%AD%E3%83%BC.html ：IT用語辞典「スタックオーバーフロー」
コメント