ケース処理漏れ

直和型に新しいケースを追加した際、呼び出し側の分岐がそのケースに対応できておらず、処理が漏れること。

概念URI

https://comcomponent.com/knowledge/case-handling-omission/

別名・表記

処理漏れ / 網羅性の欠如

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Matchメソッドパターンはケース処理漏れを防ぎます。Matchメソッドは全ケース分のデリゲートを引数に要求するため、新しいケースを追加すると呼び出し側の呼び出しがコンパイルエラーになり、処理漏れを検出できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• F#の判別共用体はケース処理漏れを軽減します。F#のコンパイラーはmatch式の網羅性を検査し、不足があれば警告するため処理漏れが起きにくい。ただし既定では警告であってコンパイルエラーではないため、警告を無視すれば処理漏れのまま実行され得る / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• record階層はケース処理漏れの原因になることがあります。record階層だけでswitch式を書くと、C#の古い安定版では網羅性チェックが弱く処理漏れが起きやすい / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• 代数的データ型を.NET Framework / .NETで使う ── 状態と結果を型で表す設計(言及)

一次資料

• https://learn.microsoft.com/dotnet/csharp/fundamentals/functional/pattern-matching

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。