assert

プログラム中に診断機能を付け加えます． 

#include <assert.h>

void assert(
    スカラ型 expression /* 条件式 */
);

assert をソース中に埋め込んでおくと，プログラム実行時に診断を行うことができます．
assert が実行されたとき，expression が 0 (偽) であれば，プログラムの実行を停止し，assert が呼び出された箇所を表示します．
※ assert は NDEBUG マクロが定義 (#define NDEBUG) されていない場合にのみ有効になります．

C言語サンプルプログラム

以下に assert マクロを使用してエラーメッセージを表示するサンプルプログラムを示します．

/* header files */
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>

/* main */
int main(void) {
    int i = 10;
    assert( i == 10 );
    assert( i == 9 ); /* <-- ここでメッセージが表示されます */
    return EXIT_SUCCESS;
}

実行例

サンプルプログラムの実行結果は以下のようになります．

Assertion failed: i == 9, file assert.c, line 10

Cプログラマの必読書

たくさんあるC言語関連の書籍の中でも特に役に立った本です．よかったら参考にしてみてください．

C実践プログラミング 第3版

C言語の実践的参考書．少々値段は張りますが初心者を脱しようとしている人は絶対に読むべきです．
文法だけでなく，コーディングスタイルやデバッグなど文字通り「実践的」なことが書かれているので非常にためになります． オライリーの本は，読みにくい本が多いのですが本書はとても読みやすくオススメです．


C言語ポインタ完全制覇 (標準プログラマーズライブラリ)

ポインタの解説書としては最高の書籍です．
この1冊でポインタを完全に理解することができます．全くの初学者が読むには敷居が高いですが，入門書を読み終えた後に読むと非常に有益です．