オーバーフロー
Overflow
コンピュータが扱える数値の範囲や、割り当てられたメモリ容量の上限を超えて、データが溢れ出してしまう状態やエラーのことです。
🐾 猫で例えると？
一人用のハンモックに、仲良しな茶トラとアメショが無理やりダイブ！当然、ハンモックが支えられる容量（メモリ）を大幅に超えてしまい、猫たちの手足やふっくらした体が外へと完全にはみ出してしまっています。ITの世界でもこれと同じように、用意した「箱（変数やメモリ領域）」に対して中身が大きすぎると、入り切らなかったデータが周囲に漏れ出し、システムを予期せぬ動作に陥らせてしまうのです。
🐾猫あるある：IT現場の日常
- 小さな箱に無理やり収まり肉球がはみ出る： 用意されたメモリ領域の容量を超えるデータが書き込まれ、隣接する正常な領域まで上書きして破壊してしまう脆弱性。
- 許容量を超えたごはんが一気に押し寄せる： 一度に処理できる限界値を超えたデータやアクセス負荷が集中し、サーバーやアプリケーションが処理不能に陥る現象。
- 嬉しさが爆発して感情のパラメータが狂う： 変数が保持できる最大値を超えた数値が入力された結果、データが最下位の最小値へ回り戻ったり破損したりする演算エラー。
💻 IT現場における「オーバーフロー」とは？
現場で最も警戒されるのは「バッファオーバーフロー」と「スタックオーバーフロー」です。バッファオーバーフローは、プログラムが確保したメモリ領域（バッファ）を超えてデータを書き込んでしまうことで、隣接するメモリを破壊し、最悪の場合は外部から不正なコードを実行されるセキュリティ脆弱性につながります。
スタックオーバーフローは、関数の呼び出し情報を記録する「スタック」という領域が足りなくなる現象です。特に、終了条件を間違えた「再帰関数」などが自分自身を呼び出し続けると、あっという間にメモリを使い果たしてシステムがクラッシュします。
⚠️ 算術オーバーフローの仕組み
数値計算においてもオーバーフローは発生します。例えば、最大255までしか数えられない箱（8ビット整数型）に255が入っている状態で、さらに1を足すと、コンピュータ内部では「0」に戻ってしまったり（ラップアラウンド）、エラーが発生したりします。
計算ミスが大きなバグに
「たかが1増えるだけ」と思っていても、プログラム上では「最大値から突然最小値（あるいはマイナス）になる」ため、在庫管理システムや金融システムでは致命的な計算ミスを引き起こす原因となります。
// C言語でのバッファオーバーフロー攻撃の温床となる例
char cat_name[5];
// 5文字しか入らない箱に長すぎる名前を入れようとすると...
strcpy(cat_name, "LONG_CAT_IS_VERY_LONG");
// 隣のメモリ領域までデータが溢れて破壊される！現代のプログラミング言語（JavaやPythonなど）では、このようなメモリ管理のミスを自動で防ぐ仕組みが備わっていますが、C言語などの低レイヤーに近い言語では、今でもエンジニアが最も気を配るべきポイントの一つです。
🛠️ オーバーフローを防ぐためのポイント
安全なシステムを作るためには、データの「溢れ」を常に想定しておく必要があります。
- 適切なデータ型を選ぶ： 扱う数値の最大値を予測し、32ビットや64ビットなど十分な大きさを持つ型（int, long longなど）を選択しましょう。
- 入力値のチェックを徹底する： ユーザーから送られてくるデータの長さを必ずチェックし、想定以上のサイズであれば処理を拒否するバリデーションを実装します。
- 再帰の深さを制限する： 繰り返し処理を行う際は、無限に呼び出しが続かないよう、必ず明確な終了条件と最大回数を設定しましょう。
小さなカゴから溢れ出す猫の肉球は可愛いものですが、プログラムのデータ溢れはトラブルの元。猫たちが広いベッドでゆったり眠れるように、余裕を持ったメモリ設計を心がけましょう！