Aritalab:Lecture/Programming/Debug - Revision history

Adm at 05:06, 13 October 2010

2010-10-13T05:06:27Z

Adm at 03:46, 13 October 2010

2010-10-13T03:46:04Z

Adm: /* C++の場合 */

2010-10-12T07:11:18Z

‎C++の場合

Adm: /* Javaの場合 */

2010-10-12T07:08:47Z

‎Javaの場合

Adm: /* Print Debug */

2010-10-12T07:08:09Z

‎Print Debug

Adm: /* Assert Debug */

2010-10-12T07:07:34Z

‎Assert Debug

Adm: /* Print Debug */

2010-10-12T07:04:56Z

‎Print Debug

Adm: New page: ==Debugの仕方== ==Print Debug== いわずと知れた、print文をプログラムの随所に挟むデバッグ法です。

 #ifndef NDEBUG

==Assert Debug== assertと...

2010-10-12T06:57:32Z

New page: ==Debugの仕方== ==Print Debug== いわずと知れた、print文をプログラムの随所に挟むデバッグ法です。 <pre> #ifndef NDEBUG </pre> ==Assert Debug== assertと...

New page

==Debugの仕方==

==Print Debug==
いわずと知れた、print文をプログラムの随所に挟むデバッグ法です。
<pre>
#ifndef NDEBUG

</pre>

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

===Javaの場合===
Javaの場合は、エラーメッセージを出力することができます。
<pre>
assert denominator != 0 : "Division by zero!";
</pre>

===C++の場合===
C++のassert文は以下のようにして使えます。

<pre>
/* #define NDEBUG */
#include <assert.h>
:
:
assert( ...);
</pre>
直前のNDEBUGをコメントアウトすると、No Debugの意味でプログラム中の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>

← Older revision		Revision as of 05:06, 13 October 2010
Line 1:		Line 1:
	{{Lecture/Header}}		{{Lecture/Header}}
−
−	~~==Debugの仕方==~~

	==Print Debug==		==Print Debug==

← Older revision		Revision as of 03:46, 13 October 2010
Line 1:		Line 1:
−	~~==Debugの仕方==~~	+	{{Lecture/Header}}

		+	==Debugの仕方==

	==Print Debug==		==Print Debug==

@@ Line 42: / Line 42: @@
 </pre>
 直前のNDEBUGをコメントアウトすると、No Debugの意味でプログラム中のassert文を全てコンパイル時に無視します。
-つまり、ソースプログラムを変更しなくても実行速度が落ちないデバッグを実現できます。
+つまり、ソースプログラムを変更しなくても実行速度が落ちないデバッグを実現できます。C&#43;&#43;にこだわる人は<tt>#include <cassert></tt>と書いても良いです。
-しかし、このassert文はエラーメッセージを出さないので問題部分の特定がしづらく、使いづらいです。
-そこで以下のマクロを自分で定義しても良いでしょう。
 <pre>
 #define ASSERT( condition, message ){\

@@ Line 12: / Line 12: @@
 デバッグに使う文を全てPDEBUGというブール定数の下に置いておけば、デバッグ終了後に<tt>PDEBUG = false;</tt>と置くだけでデバッグ用のコードは全てコンパイル時に無視されます。（if文の条件部が定数のfalseであるため。）
-この仕組みで効率的なデバッグは十分可能です。
+この仕組みで効率的なデバッグが十分可能です。
 ==Assert Debug==

@@ Line 24: / Line 24: @@
 <pre>
 assert denominator != 0 : "Division by zero!";
 </pre>

@@ Line 15: / Line 15: @@
 ==Assert Debug==
 assertとは「主張」の意味で、プログラム実行中にtrue/falseを検証するために使います。
 assert文で検証するのは「真とみなされる論理式」である点に注意してください。
 ===Javaの場合===
 Javaの場合は、エラーメッセージを出力することができます。
 <pre>
@@ Line 25: / Line 27: @@
 ===C&#43;&#43;の場合===
-C&#43;&#43;のassert文は以下のようにして使えます。
+C&#43;&#43;におけるassert文は単なるマクロです。
 <pre>
@@ Line 36: / Line 39: @@
 直前のNDEBUGをコメントアウトすると、No Debugの意味でプログラム中のassert文を全てコンパイル時に無視します。
 つまり、ソースプログラムを変更しなくても実行速度が落ちないデバッグを実現できます。
-しかし、この文はエラーメッセージを出さないので使いづらいです。
+しかし、このassert文はエラーメッセージを出さないので問題部分の特定がしづらく、使いづらいです。
-以下のようなマクロを自分で定義すると良いでしょう。
+そこで以下のマクロを自分で定義しても良いでしょう。
 <pre>
 #define ASSERT( condition, message ){\

@@ Line 5: / Line 5: @@
 いわずと知れた、print文をプログラムの随所に挟むデバッグ法です。
 <pre>
-#ifndef NDEBUG
+const bool PDEBUG = true;
-−
+ :
 </pre>
 ==Assert Debug==