C言語 assert()を使うメリット

Question

assert()について調べたところ、デバッグの時に便利と記述されていました。ただ、その記事を読んでもいまいちassert()の使い方と使うメリットがわかりませんでした。
assert()の使い方を詳しくご教示お願いします。

Answer 1

たとえば 整数での平方根を求める関数を作るとしましょうか:

int square_root(int x) { ... }

たとえきっちり実装し正しく動く自信があっても、
利用者側に間違った使い方されちゃ台無しです。

int r = square_root(-5); // -5の平方根は無理!

こんなとき、assert(真であらねばならぬ式); をコードに埋め込むと:

int square_root(int x) {
    assert(x >= 0); // 事前条件

    int s = 1;
    int t = x;
    if (t != 0) {
        while (s < t) { s <<= 1;  t >>= 1; }
        do {
            t = s;
            s = (x / s + s) >> 1;
        } while (s < t);
    }

    return t;
}

そうすれば、使う側がおかしな引数渡したらassertに失敗し、
プログラムは(ファイル名と行番号を吐いて)停止します。

犯人捜しが圧倒的に楽になるってスンポーです。

他にも「このファイルオープンは絶対に成功するはず!」なら:
FILE* fp = fopen(...);
assert(fp != NULL);
とか書いておいて、"万が一のヤバいことが起こった"ことを検出できる、と。

※ assertに引っかかるのはバグ。なのでリリース時にはassertを無効化できます。

Comments

[junnnnchan]

なるほど！すごいわかりやすかったです！
ありがとうございます。

Answer 2

c言語 assert 使い方 - Google 検索

でてるのを一通り読んでみよう。
それでもわからないところがあるなら、そのページの提示とともに聞いてください