# memory: instinct-exception-keyed-on-presence-not-value

例外条件を「引数の有無」でなく「値」で書くことで、禁止を無効化する操作を防ぐ。既定値を明示しても例外側に入れる問題を解決する。

## ポイント
- 例外条件は「値」で書く
- 定数なら値を見る、非定数（変数渡し）は禁止側に倒す
- 静的走査は合流点に1行残す
- 陽性対照は穴の形で書く
- 引用は実装が従っている証明ではない

## 関連ページ
[[instinct-oscillating-filter-means-wrong-axis]] [[instinct-fail-open-predicate-needs-measured-blast-radius]] [[instinct-limit-belongs-at-the-confluence]] [[instinct-new-check-must-redden-on-the-prefix-artifact]]

## 関連概念（未作成）
`例外条件の設計原則` `静的解析の限界` `コード品質の改善`