Pythonのassert文によるデバッグと正常性チェック

2025年9月5日

この記事では、Pythonのassert（アサート）文について解説します。アサートは、プログラムが開発者の意図通りに動作していることを確認するための「正常性チェック」として機能し、バグの早期発見に役立ちます。

アサートの基本構文

assert文は、指定した条件がTrueであると断定するためのものです。もし条件がFalseと評価された場合、プログラムは即座に停止し、AssertionErrorという例外を発生させます。

構文は以下の通りです。 assert 条件, "条件がFalseだった場合に表示するエラーメッセージ"

user_status = "active"
# user_statusが"active"であることを確認
assert user_status == "active", "ユーザーステータスは'active'である必要があります。"

user_status = "inactive"
# user_statusが"active"でないため、ここでAssertionErrorが発生する
# assert user_status == "active", "ユーザーステータスは'active'である必要があります。"

条件がTrueの間は何も起こりませんが、Falseになるとプログラムはエラーメッセージと共に停止します。

実用例：信号機のシミュレーション

アサートは、プログラムの内部状態が「ありえない」状態になっていないかを確認するのに非常に有効です。

例えば、交差点の信号機を制御する関数を考えます。信号機は、南北（ns）と東西（ew）のどちらか一方が青（green）でもう一方が赤（red）であるべきで、両方が同時に青になることは絶対にありません。この「不変条件」をassertでチェックできます。

def switch_traffic_lights(stoplight):
    for key in stoplight.keys():
        if stoplight[key] == 'green':
            stoplight[key] = 'yellow'
        elif stoplight[key] == 'yellow':
            stoplight[key] = 'red'
        elif stoplight[key] == 'red':
            stoplight[key] = 'green'
    
    # 正常性チェック：南北と東西の信号が同じ色になることはない
    assert stoplight['ns'] != stoplight['ew'], "信号が両方同じ色になっています！"

# 初期状態
intersection_A = {'ns': 'green', 'ew': 'red'}
print(f"切り替え前: {intersection_A}")

# 1回切り替え
switch_traffic_lights(intersection_A)
print(f"切り替え後 (1): {intersection_A}")

# 2回切り替え
switch_traffic_lights(intersection_A)
print(f"切り替え後 (2): {intersection_A}")

このコードでは、switch_traffic_lights関数が呼び出されるたびに、信号の状態が論理的に正しいかassertでチェックされます。もしバグによって両方の信号が同じ色になるようなことがあれば、プログラムは即座に停止し、開発者は問題をすぐに認識できます。

`assert`文の注意点：デバッグ専用

assert文に関して最も重要な注意点は、これらが開発中のデバッグ目的でのみ使用されるべきということです。

Pythonは、-O（Optimize）オプションを付けて実行されると、すべてのassert文を無視します。 python -O my_script.py

これは、本番環境ではパフォーマンスのために正常性チェックを無効化できるという利点がある一方で、assert文が実行されることを前提としたプログラムを書いてはならないことを意味します。

ユーザーからの入力値の検証や、本番環境で起こりうるエラーの処理には、assertではなく、if文による条件分岐やtry...exceptによる例外処理を使用してください。

まとめ

assert文は、プログラマが「この条件は絶対に真のはずだ」と仮定する箇所に配置する、便利なデバッグツールです。プログラムの内部状態が意図しないものになった場合に即座にエラーを発生させることで、バグの早期発見に貢献します。ただし、無効化される可能性があるため、本番環境でのエラーハンドリングには使用してはなりません。

よかったらシェアしてね！