assert

C/C++ではマクロで、与えらえた式が偽だった場合にはプログラムの実行が終了する。

NDEBUG(No Debugの意)というプリプロセッサーシンボルが定義されている場合は、マクロ全体が「(void)0」のような最適化後に消滅する式に置換されるため、パフォーマンスの低下を避けることが可能。

マクロなので、使用するにはincludeが必要。

#include <assert.h>

assert(条件式)

FreeBSDでは、assert.hで次のように実装されている。

#ifdef NDEBUG

#define assert(e) ((void)0)

#define _assert(e) ((void)0)

#else

#define _assert(e) assert(e)

#define assert(e) ((e) ? (void)0 : __assert(__func__, __FILE__, __LINE__, #e))

#endif

NDEBUGがある場合は常時、そうでなくてもassertの条件式eが真なら、マクロは(void)0になり、コンパイルの段階で最適化により消滅する。

逆に、NDEBUGが無く、assertの条件式eが偽なら、エラー表示後プログラムを強制終了(abort();)する関数__assertを呼び出すことになる。この関数は標準Cライブラリ内にあり、ソースは/usr/src/lib/libc/gen/assert.cに存在する。