1. 導入：なぜAssertionFailedが重要なのか
プログラムを書いているとき、「本来ここは絶対にこうなるはずだ」という確信を持つ場面がありますよね。しかし、その確信が裏切られたとき、バグの原因を特定するのは非常に困難です。そんなとき、プログラムの実行を意図的に停止させ、「論理が破綻しているよ！」と教えてくれるのが「Assertion（アサーション）」です。今回は、この強力なチェックツールであるAssertionFailed例外について解説します。
2. 基礎知識：Assertionとは何か
Assertionは、日本語で「主張」や「断定」という意味です。プログラムの世界では、「この条件は常に真（True）であるはずだ」というプログラマの主張を記述します。
重要な点は、これは「ユーザーの入力値エラー」をチェックするものではないということです。ユーザーの入力エラーはif文で丁寧に処理すべきですが、Assertionは「プログラマの設計上のミス」や「プログラム内部の論理的な矛盾」を検知するために使います。また、多くの言語において、このチェックは「開発中（デバッグモード）」のみ有効で、製品版の実行速度には影響を与えない仕組みになっています。
3. 実装/解決策：どこに使うべきか
Assertionは、主に以下の場所で使用します。
・関数の先頭で、引数が前提条件を満たしているか確認する。
・複雑な計算の途中で、内部状態が壊れていないか確認する。
・if文やswitch文の「到達しないはずの場所（elseなど）」に置いて、予期せぬ挙動を検知する。
4. サンプルプログラム
ここでは、最も一般的な「引数のチェック」を例に挙げます。
public class CalculationUtil {
// 正の数のみを受け取る計算メソッド
public int calculateSquare(int number) {
// プログラマの想定：numberは必ず正の数であるはずだ
// もし負の数が渡されたら、それはプログラムのどこかに論理ミスがある証拠
assert number > 0 : “エラー：正の数が渡されていません”;
return number number;
}
public static void main(String[] args) {
CalculationUtil util = new CalculationUtil();
// 正常な呼び出し
System.out.println(util.calculateSquare(5));
// 論理ミスをシミュレート（AssertionFailedが発生）
System.out.println(util.calculateSquare(-1));
}
}
※注意：Javaなどで実行する場合、デフォルトではassertが無効化されていることがあります。実行時に「-ea」オプション（Enable Assertions）を付与して動作確認を行ってください。
5. 応用・注意点：現場で陥りやすい罠
最後に、現場で役立つ注意点を3つお伝えします。
1. 副作用のあるコードを書かない：assert文の中に「変数の値を書き換える処理」を書かないでください。リリース時にはassertが無視されるため、その処理自体が実行されず、バグを生む原因になります。
2. ユーザー入力には使わない：ログインフォームの入力チェックなどに使ってはいけません。本番環境ではassertが消滅するため、セキュリティの脆弱性になります。
3. 「絶対に起きないこと」を証明する：assertは「テストコード」の代わりにはなりませんが、テストを補完する役割を持ちます。プログラムをリリースする前の「防波堤」として活用しましょう。
Assertionを使いこなせば、バグを早期発見し、コードの品質を一段階引き上げることができます。ぜひ今日から積極的に取り入れてみてください。
コメント