VC中用于调试程序的几个宏的使用技巧

　2008-03-08 22:01:09　来源：WEB开发网　　　

核心提示：一、TRACE宏当选择了Debug目标，并且afxTraceEnabled变量被置为TRUE时，VC中用于调试程序的几个宏的使用技巧，TRACE宏也就随之被激活了，但在程序的Release版本中，这将会导致程序的错误运行，由于Release版的程序通常不包含Debug信息，它们是被完全禁止的，下面是一个典型的TRAC

一、TRACE宏 当选择了Debug目标，并且afxTraceEnabled变量被置为TRUE时，TRACE宏也就随之被激活了。但在程序的Release版本中，它们是被完全禁止的。下面是一个典型的TRACE语句：　　… 　　　 int nCount =9; 　　　 CString strDesc("total"); 　　　 TRACE("Count =%d,Description =%s\n",nCount,strDesc); 　　　 … 可以看到，TRACE语句的工作方式有点像C语言中的PRintf语句，TRACE宏参数的个数是可变的，因此使用起来非常轻易。假如查看MFC的源代码，你根本找不到TRACE宏，而只能看到TRACE0、TRACE1、TRACE2和TRACE3宏，它们的参数分别为0、1、2、3。 二、ASSERT宏 假如你设计了一个函数，该函数需要一个指向文档对象的指针做参数，但是你却错误地用一个视图指针调用了这个函数。这个假的地址将导致视数据的破坏。现在，这种类型的问题可以被完全避免，只要在该函数的开始处实现一个ASSERT测试，用来检测该指针是否真正指向一个文档对象。一般来讲，编程者在每个函数的开始处均应例行公事地使用assertion。ASSERT宏将会判定表达式，假如一个表达式为真，执行将继续，否则，程序将显示一条消息并且暂停，你可以选择忽视这条错误并继续、终止这个程序或者是跳到Debug器中。下面一例演示了如何使用一个ASSERT宏去验证一个语句。 void foo( char p, int size )　　　　 { 　　　　　　 ASSERT( p != 0 ); //确认缓冲区的指针是有效的　　　 ASSERT( ( size >= 100 ); //确认缓冲区至少有100个字节　　　　　　 // Do the foo calculation } 这些语句不产生任何代码，除非—DEBUG处理器标志被设置。Visual C＋＋只在Debug版本设置这些标志，而在Release版本不定义这些标志。当—DEBUG被定义时，两个assertions将产生如下代码： //ASSERT( p != 0 ); 　　　 do{
　　　 if( !(p != 0) && AfxAssertFailedLine(—FILE—,—LINE—) ) 　　　　　　 AfxDebugBreak(); 　　 }while(0); 　　　 //ASSERT((size 〉= 100); 　　　 do{ 　　　 if(!(size 〉= 100) ＆＆AfxAssertFailedLine(—FILE—,—LINE—)) 　　　　　　 AfxDebugBreak(); }while(0); Do－while循环将整个assertion封装在一个单独的程序块中，使得编译器编译起来很愉快。If语句将求取表达式的值并且当结果为零时调用AfxAssertFailedLine()函数。这个函数将弹出一个对话框，其中提供三个选项“取消、重试或忽略”，当你选取“重试”时，它将返回TRUE。重试将导致对AfxDebugBreak()函数的调用，从而激活调试器。 Do－while循环将整个assertion封装在一个单独的程序块中，使得编译器编译起来很愉快。If语句将求取表达式的值并且当结果为零时调用AfxAssertFailedLine()函数。这个函数将弹出一个对话框，其中提供三个选项“取消、重试或忽略”，当你选取“重试”时，它将返回TRUE。重试将导致对AfxDebugBreak()函数的调用，从而激活调试器。 AfxAssertFailedLine()是一个未正式公布的函数，它的功能就是显示一个消息框。该函数的源代码驻留在afxasert.cpp中。函数中的—FILE—和—LINE—语句是处理器标志，它们分别指定了源文件名和当前的行号。 AfxAssertFailedLine()是一个未正式公布的函数，它的功能就是显示一个消息框。该函数的源代码驻留在afxasert.cpp中。函数中的—FILE—和—LINE—语句是处理器标志，它们分别指定了源文件名和当前的行号。 三、VERIFY 宏 因为assertion只能在程序的Debug版本中起作用，在表达式中不可以包含赋值语句、增加语句（＋＋）或者是减少语句（－－），因为，这些语句实际改变数据。可有时你可能想要验证一个能动的表达式，使用一个赋值语句。那么就到了用VERIFY宏来替代ASSERT。例如： void foo(char p, int size ) 　　　 { 　　　　　　　 char q; 　　　　　　　 VERIFY(q = p);
　　　　　　　 ASSERT((size 〉= 100); 　　　　　　　 // Do the foo calculation 　　　　　　　 // Do the foo calculation 　　　 } 在Debug模式下，ASSERT和VERIFY是一回事，但是在Release模式下，VERIFY宏仍然测试表达式而assertion却不起任何作用。可以说，在Release模式下，ASSERT语句被删除了。请注重，假如你在一个ASSERT语句中错误地使用了一个能动的表达式，编译器将不做任何警告地忽略它。在Release模式下，该表达式就会被无声息地删除掉，这将会导致程序的错误运行。由于Release版的程序通常不包含Debug信息，这类错误将很难被发现。