Stack overflow / Maximum call stack size exceeded

一言でいうと（このエラーが何を意味するか）

関数を呼ぶたびに、実行環境はコールスタックへ1つのスタックフレームを積みます。フレームには戻り先アドレス、引数、ローカル変数、退避したレジスタなどが入ります。関数が return するとフレームは取り除かれます。このスタックはサイズ上限が決まった連続領域で、再帰などで呼び出しが深くなりフレームを積み続けると上限に達し、これ以上積めなくなった瞬間に Stack overflow が発生します。

JavaScript（V8 など）ではこの状態が RangeError: Maximum call stack size exceeded、Java では StackOverflowError、C/C++ では多くの場合セグメンテーションフォルトとして現れます。いずれも「呼び出しが深すぎてスタックを使い切った」という同一現象です。ヒープ枯渇（メモリ不足）とは領域が別で、原因も対処も異なります。

横にスクロール

よくある原因（複数を具体的に、頻度順）

1. 終了条件（ベースケース）の欠落・誤り＝無限再帰。 最頻の原因です。条件はあるが一度も真にならない、更新式が誤って値が縮まない、といった論理ミスで自分を呼び続けます。

// 悪い例: n が減らず終了条件に到達しない
function sum(n) {
  return n + sum(n);   // sum(n-1) の書き忘れ
}
sum(10); // RangeError: Maximum call stack size exceeded

2. 相互再帰・間接再帰の見落とし。 A が B を、B が A を呼ぶ循環。単体では正しく見え、スタックトレースに複数の関数名が交互に並ぶため気づきにくいです。イベント駆動で「setter が描画を呼び、描画が値を書き戻して再び setter を発火」する循環もこの類型です。

3. データ量に比例する深い再帰。 ロジックは正しくても、要素数 n の連結リストや深くネストした JSON・ツリーを1要素1フレームで再帰処理すると、深さが n に比例し大きな n で上限を超えます。終了条件は正しいので「小さい入力では通り、本番データで落ちる」形になります。

診断の手順（切り分け方・見るべきログ/コマンド）

スタックトレースの形を読む。 最優先はトレースの反復パターンです。同一の関数名が延々と続くなら単純再帰の無限ループ、2つ以上が交互なら相互再帰を疑います。トレースは深さで途中省略されることが多いので、末尾（最も内側）ではなく繰り返しの単位に注目します。

入力サイズを変えて再現条件を見る。 小さい入力で通り大きい入力で落ちるなら、無限再帰ではなく深さがデータ量に比例する再帰です。落ちる直前の深さを測るとフレーム数の見当がつきます。

// 現在のスタック深さを推定する（デバッグ用）
function depth() {
  try { return 1 + depth(); } catch (e) { return 1; }
}
console.log(depth()); // 環境ごとの概算の限界深度

末尾呼び出し最適化（TCO）に依存していないか確認する。 「末尾再帰だから最適化されるはず」という前提は多くの環境で成り立ちません。ECMAScript 仕様上は末尾呼び出しの最適化が規定されていますが、V8（Chrome / Node.js）や SpiderMonkey は実装しておらず、末尾再帰でもフレームは積まれます。CPython も設計方針として TCO を行いません。頼れるのは処理系が明示的に保証する場合のみです。

解決と予防（対処と再発防止）

まずベースケースを検証する。 無限再帰なら、すべての再帰呼び出しが必ず終了条件へ近づくこと、条件が実際に真になり得ることを確認します。ここが根本原因なら上限緩和では直りません。

再帰を反復（ループ）へ書き換える。 最も確実な根治です。末尾再帰は単純なループへ機械的に置換できます。木やグラフの走査など本質的に再帰的な処理は、呼び出しスタックの代わりに明示的なスタック（配列）を使い、深さをヒープ側で管理します。これにより深さの上限がスタック容量からヒープ容量へ移り、桁違いに深い処理が可能になります。

// 再帰DFS → 明示スタックによる反復DFS
function traverse(root) {
  const stack = [root];
  while (stack.length > 0) {
    const node = stack.pop();
    visit(node);
    for (const child of node.children) stack.push(child);
  }
}

深さ制限とガードを入れる。 反復化が難しい箇所は、再帰の深さ引数に上限を設け、超過時に明示的な例外を投げて無限再帰を早期かつ意味のあるメッセージで止めます。想定最大深度を超える入力を弾く入力バリデーションも有効です。スタック上限自体の引数変更（Node.js の --stack-size、pthread のスタックサイズ、ulimit -s）は対症療法で、根本原因を残したまま限界を先送りするだけと理解して使います。

スタック／ヒープのメモリ配置とスレッドごとのスタック上限はOSを、再帰・反復・計算量の基礎はプログラミングを、Maximum call stack size exceeded を出す V8 などブラウザ実行環境の挙動はWebを参照してください。