VC调试方法

一、调试基础


调试快捷键


F5：  开始调试


Shift+F5: 停止调试


F10：   调试到下一句，这里是单步跟踪 


F11：   调试到下一句，跟进函数内部


Shift+F11:  从当前函数中跳出


Ctrl+F10:  调试到光标所在位置


F9：       设置（取消）断点


Alt+F9:    高级断点设置


跟踪调试


1、 尽量使用快捷键时行调试


2、 观察调试信息


3、 高级中断设置


异常调试


重试－>取消－>调试


函数堆栈，用variables或者call stack 窗口


Release调试


1、 经常测试你的Debug和Release版本


2、 不要移除调试代码，如用ASSERT, TRACE等。


3、 初始化变量，特别是全局变量，malloc的内存，new的内存


4、 当你移除某个资源时，确保你移除了所有跟这个资源相关的申明（主要是在resouce.h文中）


5、 使用3或者4级的警告级编译你的代码，并确保没有警告，project->setting->c/c++->warninglevel(中文版是项目->属性->C/C++->常规－>警告等级)


6、 _debug改成NDEBUG进行调试，project->setting->C/C++->Preprocessordefinitions（中文版是项目->属性->C/C++->预处理器->预处理定义）（这里是debug和Release编译的重要不同之一）


7、 在Release中调试源代码，project->setting->C/C++->debug info选择programDataBase（中文版是项目->属性->C/C++->常规->调试信息格式->用于“编辑并继续”的程序数据库），project－>setting->link选上Generate debug info(中文版是项目->属性->链接器->调试->生成调试信息)


8、 走读代码，特别关注堆栈和指针


二、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。


个人总结：最近看网络编程是碰到了TRACE语句，不知道在哪里输出，查了一晚上资料也没找出来，今天终于找到了，方法如下：


1.在MFC中加入TRACE语句


2.在TOOLS->MFCTRACER中选择 “ENABLE TRACING”点击OK


3.进行调试运行，GO(F5)（特别注意：不是执行‘！’以前之所以不能看到TRACE内容，是因为不是调试执行，而是‘！’了，切记，切记） 


4.然后就会在OUTPUT中的DEBUG窗口中看到TRACE内容了，调试执行会自动从BUILD窗口跳到DEBUG窗口，在那里就看到TRACE的内容了，^_^


以下是找的TRACE的详细介绍：


 ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝


      TRACE宏对于VC下程序调试来说是很有用的东西，有着类似printf的功能；该宏仅仅在程序的DEBUG版本中出现，当RELEASE的时候该宏就完全消失了，从而帮助你调式也在RELEASE的时候减少代码量。


使用非常简单，格式如下：


TRACE("DDDDDDDDDDD");


TRACE("wewe%d",333);


同样还存在TRACE0，TRACE1，TRACE2。。。分别对应0，1，2。。个参数


TRACE信息输出到VC IDE环境的输出窗口（该窗口是你编译项目出错提示的哪个窗口），但仅限于你在VC中运行你的DEBUG版本的程序。


TRACE信息还可以使用DEBUGVIEW来捕获到。这种情况下，你不能在VC的IDE环境中运行你的程序，而将BUILD好的DEBUG版本的程序单独运行，这个时候可以在DEBUGVIEW的窗口看到DEBUGVIE格式的输出了。


VC中TRACE的用法有以下四种：


TRACE1 ，就是不带动态参数输出字符串,  类似C的printf("输出字符串"); 


TRACE2: 中的字符串可以带一个参数输出 ,类似C的printf("...%d",变量);


TRACE3：可以带两个参数输出，类似C的printf("...%d...%f",变量1,变量2);


TRACE4 可以带三个参数输出，类似C的printf("...%d，%d,%d",变量1,变量2，变量3);


TRACE 宏有点象我们以前在C语言中用的Printf函数，使程序在运行过程中输出一些调试信息，使我们能了解程序的一些状态。但有一点不同的是：
TRACE 宏只有在调试状态下才有所输出，而以前用的Printf 函数在任何情况下都有输出。和Printf 函数一样，TRACE函数可以接受多个参数如：


int x = 1;
int y = 16;
float z = 32.0;
TRACE( "This is a TRACE statement\n" );
TRACE( "The value of x is %d\n", x );
TRACE( "x = %d and y = %d\n", x, y );
TRACE( "x = %d and y = %x and z = %f\n", x, y, z );


要注意的是TRACE宏只对Debug 版本的工程产生作用，在Release 版本的工程中，TRACE宏将被忽略。


三、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()函数的调用，从而激活调试器。


AfxAssertFailedLine()是一个未正式公布的函数，它的功能就是显示一个消息框。该函数的源代码驻留在afxasert.cpp中。函数中的—FILE—和—LINE—语句是处理器标志，它们分别指定了源文件名和当前的行号。


 


AfxAssertFailedLine()是一个未正式公布的函数，它的功能就是显示一个消息框。该函数的源代码驻留在afxasert.cpp中。函数中的—FILE—和—LINE—语句是处理器标志，它们分别指定了源文件名和当前的行号。


 


四、VERIFY 宏


 


因为assertion只能在程序的Debug版本中起作用，在表达式中不可以包含赋值语句、增加语句（＋＋）或者是减少语句（－－），因为，这些语句实际改变数据。可有时你可能想要验证一个能动的表达式，使用一个赋值语句。那么就到了用VERIFY宏来替代ASSERT。例如：


voidfoo(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信息，这类错误将很难被发现。


五、VC高级调试方法－条件及数据断点的设定


（一）位置断点（LocationBreakpoint） 
  大家最常用的断点是普通的位置断点，在源程序的某一行按F9就设置了一个位置断点。但对于很多问题，这种朴素的断点作用有限。譬如下面这段代码：


void CForDebugDlg::OnOK()