assert | Programming Place Plus　Ｃ言語編　標準ライブラリのリファレンス

概要

一定の条件式を満たしていることを確認する。

ヘッダ

assert.h

形式

#ifdef NDEBUG
#define assert(expr) ((void)0)
#else
#define assert(expr) ((expr) ? (void)0 : __assert(#expr, __FILE__, __LINE__))
#endif

置換結果

NDEBUGマクロが定義されている場合には、空の式に置換される。

詳細

ほぼ、上記の「置換結果」に書いたとおりである。

出力されるメッセージには、assertマクロに与えた実引数の並びを文字列化したもの、assertマクロを呼び出した個所のソースファイル名、行数が含まれる。後ろの２つは __FILE__、__LINE__ によるものである。これらの内容がどのような書式で構成されるかは処理系依存である。

C99 の場合、さらに呼び出した個所の関数名が出力される。これは、__func__ によるものである。

注意

使用例

#include <stdio.h>
#include <assert.h>

void myputs(const char* str);

int main(void)
{
    myputs("abcde");
    myputs("");
    myputs(NULL);
}

void myputs(const char* str)
{
    assert(str != NULL);
    puts(str);
}

実行結果：

abcde

Assertion failed: str != NULL, file c:\main.c, line 17

関連

解説章

第３０章