View source for Aritalab:Lecture/Programming/Debug

==Assert Debug==
最近のプログラミング本で紹介されるのが、assert文です。
assertとは「主張」の意味で、プログラム実行中にtrue/falseを検証するために使います。
assert文で検証するのは「真とみなされる論理式」である点に注意してください。

===Javaの場合===
Java言語はassertを言語仕様としてサポートしています。
Javaの場合は、エラーメッセージを出力することができます。
<pre>
assert denominator != 0 : "Division by zero!";
</pre>
エラーメッセージは無くても大丈夫です。
<pre>
assert denominator != 0;
</pre>

===C&#43;&#43;の場合===
C&#43;&#43;におけるassert文は単なるマクロです。
以下のようにして使えます。

<pre>
/* #define NDEBUG */
#include <assert.h>
 :
 :
assert( ...);
</pre>
直前のNDEBUGをコメントアウトすると、No Debugの意味でプログラム中のassert文を全てコンパイル時に無視します。
つまり、ソースプログラムを変更しなくても実行速度が落ちないデバッグを実現できます。C&#43;&#43;にこだわる人は<tt>#include <cassert></tt>と書いても良いです。


しかし、このassert文はエラーメッセージを出さないので問題部分の特定がしづらく、使いづらいです。そこで以下のマクロを自分で定義しても良いでしょう。
<pre>
#define ASSERT( condition, message ){\
  if ( !(condition) ) { \
  Error( "Assertion: ",(message),\
    (__FILE__),(__LINE__) ); \
  exit( -1 ); } }

static void Error
(const char* label, const char* msg, const char* fname, const int line)
{ //最低限の処理
  printf("%s %s %s %d", label, msg, fname, line);
}
</pre>