Error Handling Robustness

エラーは隠すものではなく、明示的に扱う値である。握りつぶし（silent failure）を作らない。想定内の失敗と想定外の異常を区別する。

鉄則

1. すべてのcatch/exceptは、最低限「ログに残す」か「呼び出し元に伝播する」のどちらかを必ず行う。 何もしない・握りつぶすcatchブロックは作らない。
2. 想定内の失敗（ユーザー入力エラー、ネットワーク障害、リソース未検出等）は型付きエラー・戻り値として呼び出し側に処理させる。想定外の異常（プログラムのバグに起因するもの、到達不能なはずの分岐）はfail-fast（即座に停止・assert・例外）で処理する。
3. エラーメッセージには「何が」「なぜ」失敗したかに加え、可能な限り「対処のヒント」（どの入力が問題だったか、次に何をすべきか）を含める。
4. コード中の「ここでは必ずこの条件が成り立つ」という暗黙の前提は、assert・契約チェックとして明文化する。冗長に見えても書く。

作業手順

ステップ1: 「この処理は失敗しうるか」を最初に確認する

関数・エンドポイントを実装する前に、失敗しうる操作（I/O、外部呼び出し、パース、型変換、配列アクセス等）を洗い出す。失敗しうるなら、戻り値・型・例外のいずれかで明示的に表現する設計にする。

ステップ2: 想定内 vs 想定外を分類する

• 想定内（呼び出し側が対処できる）: ユーザー入力の不正、ネットワークタイムアウト、リソース未検出、認可エラー → 型付きエラー・Result風の戻り値・チェック例外として返す。呼び出し側にハンドリングを強制する設計が望ましい。
• 想定外（プログラムのバグ、到達しないはずの状態）: nullが来るはずのない箇所にnullが来た、switchのdefaultに来た、不変条件が破れた → assertまたは即座に例外を投げてfail-fastする。回復しようとしない。

ステップ3: catch/exceptを書くときの必須チェック

1. 何かをキャッチしたら、必ず次のいずれかを行う。
   • ログに構造化して残す（スタックトレース・入力値・コンテキストを含める）
   • 呼び出し元に再送出する、または型付きエラーとして返す
   • 明示的なフォールバック処理を行う（その場合はフォールバックした事実を必ずログに残す）
2. 上記のいずれも行わないcatch { } / except: passは禁止。書きそうになったら「これは本当に無視してよいエラーか」を自問し、無視してよい場合でも理由をコメントで残す。
3. エラーを再送出する際、元のエラー情報（原因・スタックトレース）を握りつぶさない（raise from 等でチェーンを保持する）。

ステップ4: エラーメッセージを実行可能にする

悪い例: "Error occurred" / "Invalid input" 良い例: "Failed to parse config.yaml: line 12, expected string but got null (key: 'timeout')" チェック項目:

• 何が失敗したか（対象・操作）が書かれているか
• なぜ失敗したか（原因）が書かれているか
• 可能なら次に何をすべきかのヒントが書かれているか
• 機密情報（パスワード、トークン、個人情報）を含んでいないか

ステップ5: assertで仮定を文書化する

1. 関数の入口で「この引数はnullではない」「このリストは空ではない」等の前提をassert/契約チェックとして書く。
2. 「起こらないはず」の分岐（elseの最後、switch/matchのdefault）には、到達したら即座に失敗するassertか例外を入れる。
3. リファクタリングでassertを削除する前に「本当に不要になった前提か」を確認する。多くの場合、暗黙の前提を消してしまうだけのリスクがある。

チェックリスト

• すべてのcatch/exceptがログ記録または伝播のいずれかを行っているか
• 想定内の失敗と想定外の異常を区別して処理を分けているか
• エラーメッセージに「何が・なぜ・どうすれば」が含まれているか
• 暗黙の前提条件をassertとして明文化したか
• エラー情報（原因・スタックトレース）をチェーンとして保持しているか
• リトライ・フォールバックを入れた場合、それをログに残しているか
• エラーメッセージに機密情報が漏れていないか

アンチパターン集

出典

• Rust公式ドキュメント — Error Handling（Result<T, E>によるエラーの明示的伝播）
• Go言語の(value, error)戻り値パターンとRustの比較 — Comparing Error Handling in Rust and Go
• John Carmack — assertを仮定の検証・ドキュメントとして多用する考え方（cbarrete.com/carmack.html）