上級

Assertion failed の原因と直し方

assert()に渡した条件式がその場でfalseになったときに強制終了するマクロです。「本来ありえないはずの状態」を検出するために使われます。

エラーメッセージの読み方

main: main.c:6: main: Assertion `score > 100' failed.

main: main.c:6: main: Assertion `score > 100' failed.

メモリ管理システム（またはassert）が不整合を検知して出したメッセージ

Aborted

この後プロセスは強制終了します（Aborted）

このエラーが出る典型パターン

 1  #include <stdio.h>
 2  #include <assert.h>
 3  
 4  int main(void) {
 5      int score = 85;
 6      assert(score > 100 );
                     ^
 7      printf("score=%d\n", score);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  #include <assert.h>
 3  
 4  int main(void) {
 5      int stock = 0;
 6      assert(stock > 0 );
                    ^
 7      printf("stock=%d\n", stock);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  #include <assert.h>
 3  
 4  int main(void) {
 5      int temp = 36;
 6      assert(temp < 0  );
                    ^
 7      printf("temp=%d\n", temp);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  #include <assert.h>
 3  
 4  int main(void) {
 5      int age = 25;
 6      assert(age > 150 );
                    ^
 7      printf("age=%d\n", age);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  #include <assert.h>
 3  
 4  int main(void) {
 5      int count = 0;
 6      assert(count != 0);
                    ^
 7      printf("count=%d\n", count);
 8      return 0;
 9  }

よくある誤解

assertはエラーハンドリングの代わりではありません。ユーザー入力のような「起こりうる」異常はif文で処理すべきで、assertは「プログラマのロジックの前提が崩れていないか」を検査するための開発時のツールです。NDEBUGを定義してビルドすると、assertはまるごと消え去ることにも注意が必要です。

実務での勘所

assertを使うべき場面と、if文とエラー処理を書くべき場面は明確に分かれます。assertは「ここに来た時点でこの条件は絶対に成り立っているはず(成り立っていなければプログラマのバグ)」を検査するためのもので、NDEBUGを定義したリリースビルドでは丸ごと消えます。一方、ユーザー入力やファイルの読み込み失敗のように、正しいプログラムでも実際に起こりうる異常はassertではなくif文で検査し、リリースビルドでも必ず動くエラー処理を書く必要があります。

演習をはじめる

関連するエラー

• free(): double free detected in tcache の原因と直し方同じポインタに対してfree()を2回呼び出したときに検出されるエラーです。
• Segmentation fault（再帰関数の終了条件忘れによるスタックオーバーフロー）再帰関数に正しい終了条件（ベースケース）が無いと、関数呼び出しのたびにスタック領域が積み上がり続け、上限に達した時点でクラッシュします。