数学建模社区-数学中国
标题:
掌握C++Builder的除错艺术1
[打印本页]
作者:
韩冰
时间:
2005-1-26 01:34
标题:
掌握C++Builder的除错艺术1
<
>第一篇-正确书写代码</P>
8 y4 c& K8 F3 S0 L. ?7 F
: A1 f4 n; _7 o1 J% I
3 O, l$ z# v& b* c% K/ I' P
<
>1. 简介</P>
- G; |% o% _# {0 U! m$ ~, r. Q; W
<
>2. 书写干净的代码</P>
5 q; R/ b, \0 Q* V# w
<
>3. 使用异常及异常处理能力</P>
, J) h, k+ J5 T- @/ M: Q' n+ W
<
>4. 使用记录(logging)机制</P>
1 R$ L+ k5 {9 |- q: F3 a( z5 _6 d& A$ j
<
>5. 结合使用记录机制与类的异常处理机制 </P>
$ r6 p/ D; W# s
<
>6. 处理您代码外产生的异常</P>
: E, ^3 e( g* M4 W
<
>7. 你的回合</P>
. K+ A) y* m8 N( e
<
>8. 版权说明</P>
; j1 [/ m" f# m, a! [4 u
$ m$ v: y1 N/ D1 ^( e1 }2 m7 V
<
>简介
f- J+ t- P, O. i |+ g9 I K6 l# V6 t
这篇文章,我将从最基本的开始谈起。但希望可以涉及更广的层面,而不仅仅是为你的程序除错(debug)。你将会看到,我认为除错(debugging)这个字的全部意义,并不只是通过IDE的内建机制来运行的。我希望在这篇小小的文章结束时,几乎每个读者都可以学到至少是一件新东西,并把它藏到你的兵器库中。记住,你程序中的错误(BUG)越少,你的最终用户对你的程序的感觉就越好;你对错误(BUG)的处理越好,用户们发现错误(BUG)时就越乐于告诉你以便你改正错误。好了,现在系好安全带,戴上护目镜,让我们开始一段疯狂的路程!</P>
! T* ~/ {- U" a2 b; a7 \
<
>书写干净的代码</P>
$ X- @; e" B! k/ ?$ g6 t
<
>首先而且也许是最重要的一点是书写干净、可读的代码是极其重要的。能够在写完一段代码后回顾一下并给它加上注释来说明这段代码用来做什么和为什么这么做,将会省去你以后跟踪代码的无数个痛苦的小时。也许你会多花一点时间来书写,但当你花过N小时来跟踪那些难以捉摸的BUG时,你就会同意多花点时间来让程序代码可读是多么值得了。(你本可以很容易完成除错的)。如果没有这么做过,我建议你停下来,读读另一篇Scott的精彩文章-代码的风格(大家需要的话,将会尽快翻译)。</P>
% V- ]* L( E I
<
>使用异常及异常处理能力
$ f I: B" ?5 P9 c3 n6 a
现在进入下一步,这仍然是基于代码的步骤。(除了在极少数的情况下,你不能老是使用系统内建的除错器,所以知道其他可以找出这些麻烦的虫子的办法总是个好主意)。本步骤完全是关于如何做到,更重要的是处理好在你的窗体出现异常时系统扔给你的(产生的)错误。在C++标准得到认可前黑暗的旧日子里,应用程序通常会通过返回值来发出错误信号(这种方法在OLE和一些WINAPI函数中仍在使用)。很显然,你可以很轻易的忽略这些(事实上也是经常的,我的意思是你经常检查一个WINAPI函数的返回值吗?)。</P>
5 c$ }& V5 c+ t! F$ s, H' l4 S
<
>所以他们决定….,okay,我们需要一个新的机制,一个你不能忽略的。但你可以处理,定制(自定义 customize)。异常就此出现了。想要一个特殊的错误类型标志?容易的很,定义一个新的异常类型(不过是一个类,没别的),抛出来(产生这个异常)。完了。</P>
' L4 g# l# g. Q
<
>例子:</P>
# ~8 j/ q( {5 O% }4 \
<
>class MyException
1 C$ o" o9 C) Z5 A3 ~& p
{
0 H H# D, W. P" `2 K
public:
1 [% S1 Q8 H2 g! l. b5 q- }
AnsiString iMessage;
q1 v- N$ \) y( l3 o S% T9 K
MyException(AnsiString Message) { iMessage=Message;}
9 i# h; d5 L( ]) ?
};
! c: ~# ^$ w6 W8 d8 j2 W3 W
throw new MyException(“Test Exception Message”);
* K; [" i3 J. H$ M8 y
就这么简单!(当然不是很完全,我会很快加上的)。漂亮而又简单,并且非常容易定制来满足您的需要。Okey,你会问到:“我能产生异常了,但如何处理它们?我的意思是,我想在第一时间(位置)从我的代码中排除异常!”这当然很容易做到,实际上还很容易定制呢!标准委员会为我们定义了try {/* code */} catch (...) {/* code */ }机制,跟异常机制一样,它完全可以定制来满足您的需要!只需把您的执行代码段放在try模块中就行了,您还需要一个catch( ) 或 __finally 模块来告诉程序(如果)得到一个异常的时候作什么。现在就是你这么做的好处,你定义了一个类class类型并且输入变量来捕捉异常-通过声明catch( )。(在前面的例子中,应该是这样-catch(MyException &E) { /*在这里书写捕捉到异常后的处理代码*/})为了让这个系统更有力,你可以建立完整的子类继承树。这样当你捕捉基类时你可以捕捉所有从这个基类继承的异常类型(VCL中一个很好的例子就是所有的异常都是从Exception类继承而来的,所以catch(Exception& E) 将捕捉所有的VCL异常,当然包也括您所产生的。但EsocketError除外,见xiphias在<a href="http://www.bytamin-c.com/" target="_blank" >http://www.bytamin-c.com/</A> 的howto (若你不喜欢E文的话,我会尽快翻译)。记住这个想法,我会在以后另一个步骤详细说明)。要让它再有力一些的话,标准委员会决定包括如下的声明catch(…) ,没错括号中就是三个点。此声明允许我们捕捉任何异常,我的意思是所有的异常。还想再有力一些?当然可以,你可以用附加的catch( )声明,跟if..else if…的样子差不多。这里要牢牢记住!如果你捕捉到了一个异常类型,那么以后就它不会被再次捕捉到了!所以先看下面的代码…</P>
& K; o1 H0 n$ m+ k+ D; y n
<
>
7 P' w( q, l* J4 P6 c, Q. C
Try
, P5 {2 E6 w7 g' z% I; C2 f
{
7 r$ x, r- H! [# w
// 程序的正常运行代码
4 Y2 l% x/ I- k$ e# x7 G ]( }* P
}
4 a4 {! t9 A, Q5 S3 Y
catch(EDBEngineError &E)
3 i& ~$ b( R7 S
{
3 ]" ?7 x- g4 @! u# w. @
// 处理基于数据库引擎的错误
. H! c' i5 A0 J5 Z) B2 ` o
}
1 C+ R w9 A0 U
catch(EExternalError &E)
# T5 a8 o! s. b, k9 v6 L# v
{
8 G. g! p* \' r2 a) F
//通常处理基于windows的错误
) l b; O1 R! `+ [% M
}
4 f2 j. m8 p8 G7 C/ n. p! B* D
catch(Exception &E)
1 c4 }/ k) M0 G, w% }7 g+ p3 h, `
{
% f. H% u" L! N: h% x0 U+ C, j
// 处理所有其他的VCL错误
& D; y; @) _4 V
}
& x. N' N9 p. L, a% a9 J' T8 p
你可以看到,这里按照 "是EDBEngineError吗? 是->处理,不是?->继续捕捉" "是EexternalError吗? 是-> 处理, 不是?-> 继续下一次捕捉" 等等… 这样的顺序排列。</P>
; L: T8 J# r* Y7 [1 R6 Q$ s* \
<
>接着还有更多的内容。如果你希望对某个异常做些什么,又不希望异常就此消失,你可以重新抛出(产生)这个异常。它将继续向后寻找新的catch()过程来处理它。我不能说我经常这么做。但最好应该知道,就象“抛出”一样简单。就是这样,throw将带着已经被你处理过的异常继向后寻找另一个catch来处理它。</P>
4 j% t$ j/ }3 {, Y0 @+ J& L
<
>最后而不是最不重要的 (这部分不包括在标准规范中,倒更象是Borland专有的增加版)就是 __finally 声明,使用一个 __finally{ } 模块,你可以指定不管有否异常产生都将运行的代码。这里是清除你通过new方法分配的局部变量及将所有应该设定回正常状态的标志复位(例如将一个等待状态的鼠标指针复位成正常状态)的最方便的地方。</P>
7 d( E! I2 h8 C$ y3 V% ~4 p
<
>呸,太多了!休息一下吧,有空可以看一看C++Builder帮助中的Exception类, (所有E开头的,你会注意到它们都是从Exception类继承来的。这也是定制你自己的异常类的好练习!) 当你回来时,我们将进入下一步旅程。</P>
( U x* U% X; H4 a" j
<
>使用记录(logging)机制</P>
7 M2 H) ?4 }& U+ X7 d& R" e0 u
<
>您不可能总是使用除错器来除虫,有时你没法依靠内建除错器的力量,所以有时你将不得不求助于其他的除错手段来调试程序。(典型例子如:NT服务、ISAPI/CGI程序、实时应用程序…等等)此时您将不得不求助于我们这样经验丰富的程序员才会谈到的老式的除错/调试技术。例如产生使用某种记录(logging)机制来看看程序的头巾下面到底发生了什么的念头。幸运的是,有许许多多的现成的机制可以让我们的这项工作变得容易些。这里我将谈到我所偏爱的三种方法,你也可以将您自己的方法email给我,我会考虑加入这一部分。</P>
" J) o, u, l/ k+ F0 ?3 [& r
<
>Okay 先说第一种,(调试/除错输出字串)OutputDebugString。幸运的是Microsoft已经为我们实现了一个非常广泛的调试/除错子系统。包括实现您自己的调试/除错记录系统的机制。程序在一个调试/除错进程内运行的时候,OutputDebugString将它的参数(一个c string)输出到调试/除错器的输出上下文,若调试/除错器没有运行,OutputDebugString就被忽略。如果没有弹出消息的时候,OutputDebugString在终端上也可以很好的运行,当你分发给客户前别忘了移去它(通过 #ifdef DEBUG…#endif’),程序可以运行的更快一点。“Wow,又好又容易!”你也许会说“但当程序不能在调试/除错器内运行时,该怎么办?”</P>
2 U9 s! }% r$ G! Y
<
>请牢记,这只是我的观点,基于一种观念的评价,我个人使用Gexperts的dbugint.pas界面来调试/除错。这是个非常优秀的独立的小程序。如果愿意,您可以将它分发给你的客户们。如果没有这么做,象OutputDebugString一样,如果没有安装,它实际上就什么也不做:)(它将注意终端是否已经安装在机器上)。要使用dbugint.pas的话很容易,将它加入你的工程并加上 #include "dbugintf.hpp"(因为是pascal文件,你必须将它加入你的工程以便C++Builder编译器生成hpp头文件。)然后你只需使用SendDebug(“要送到记录中的字串”);或者你也许想更灵活些,还有SendDebugEx-增加一个消息类型参数来调用TmsgDlgType(详细说明参考VCL在线帮助),SendMethodEnter, SendMethodExit, and SendSeparator 等等(十分自解释的名字)。只是别忘记加入必须的package包,若你打算将此终端(Gdebug.exe)其给你的一些最终用户的话。Gexpert可以从<a href="http://www.gexperts.org/" target="_blank" >http://www.gexperts.org/</A> 获得并且是免费的。</P>
5 u4 b* M# R: L. j1 C( M; Z
<
>第三种我要指出的是,这也许是最难的选择-实现你自己的记录控制台。可没有你想的那么简单!你也许首先会想到“扔个Richedit控件在form上,将它设为只读的,然后开始记录,对吗?” 错!理论上挺好,但实践呢,使用RichEdit控件来记录将降低程序的运行速度、使内存破碎,丢失、通常会在10分钟内使整个机器慢下来!!(要说明白为什么得花上点时间才行,但我向你可以保证)。所以你所需要的是计划好你的记录机制的需要,并开始计划一个定制控件若你想要个彩色的图标的话。还有一个选择,需要做点工作,但可是非常有效。就是使用一个ListBox控制来记录,并将Style属性设为lbOwnerDrawFixed,这样句柄将会自绘。(这也是Gexperts和它的Gdebug console所做的)。要做许多工作,但哈哈,如果你想做…</P>
7 m# H' V, ?; T- b
<
>结合使用记录机制与类的异常处理机制
, Z V9 e5 Z6 y! M% }& }! A6 f
现在进入下一步:)(跟你打赌你从未意识到设置一个优秀的调试/除错系统需要做如此多的工作!)你不用总是预料各种偶然的异常会发生什么,而且绝大多数时候当程序经过大量的除虫测试(尽量攻击程序,试图让它崩溃)后,你根本不用担心这些。下面这个技术,我建议任何组件开发者第一次在IDE中测试一个新组件/新代码时应该完全遵照。因为在IDE中一个异常会带来很多问题,有时甚至重启IDE也无济于事(我自己已经这么做了)。其实也很简单。在您代码的每个函数前,或者至少在所有主要的函数前后加上:</P>
: m0 }$ a0 F2 e# g! t# Q
<
>try
# j0 a8 f, x* y) Y3 N
{
) x6 u( ~( k- l' |9 c
前端代码
) f* ^$ f6 u; G v
}
3 q+ Y5 U+ ]! h8 h
catch(Exception &E)
8 H4 D3 o8 F ~
{
( _2 p- e! e5 |6 _6 C4 ]
SendDebugMessage(“Exception caught in classname::functionname of type:” +E.ClassName()
& d! Z8 | Q M0 P
+” with the message:”+E.Message);
4 @6 z* T8 l4 x& [" m' a3 V- g6 \
};
9 ~" e8 U* Z! x8 {1 X) S# {
(并用函数的类名及函数名代替字串中的classname和functionname)。这样你很快很快就知道异常发生在何处,也不用你强行关闭IDE啦。</P>
% h/ M6 y" R a8 l! T
<
>Okay,是时候回顾一下了。ClassName()方法是如何帮助我们的?不想每次都只得到一个“Exception“串就完了吧?难道是因为将E声明为一个异常?不对。这是VCL比较酷的部分,任何从Tobject继承来的类能够自动知道其自身的类型、其基类的类型、等等许多有趣的信息,你可以察看Tobject的帮助。所以尽管我们使用的是Exception &E,E.ClassName()将会找出我们得到的异常的实际的类名(译者注:C++的多态性)。这些好处的代价就是可执行文件的体积更大了,几乎所有的C++Builder/Delphi程序员都会发现这一点。(No Pain, No Gain)没有痛苦,就没有收获.他们说….</P>
) r( M3 J1 G8 x, H7 C+ b) Q
<
>Xiphias增加了TstringList的AddingLine方法,SavetoFile方法是另一种记录(logging)的有效形式。最后应该保证你的应用程序总是写记录文件(logfile),或这每次捕捉到异常时重写记录文件。</P>
( ]. I, ^5 k7 [; T+ r: J; H% g
<
>处理您代码外产生的异常
S" Q6 J* b# S Q; }
现在的步骤是我们开始学习基于IDE的除错器之前的最后一个基于代码的步骤。但也许在有严重错误发生时,对装饰应用程序来说这是最重要的步骤。举例来说,这是显示一个包含错误详细内容的对话框理想的时机。这时弹出在屏幕上的对话框可以方便最终用户能够向您报告错误。我敢保证您痛恨“oh,有个什么框子上说在什么地址发生了个什么异常错误”这样的报告。其实完全可以很容易的实现更好的情况,也不会限制你打算如何处理它。第一步是在你的主窗体(例如:工程的自动创建窗体列表中的第一个form)中创建一个象如下这样的函数:</P>
; }) P L/ r6 w
<P>void __fastcall AppLevelExceptionHandler(TObject *Sender, Exception *E)
( Y" y$ p6 L7 P- R6 E, ^7 T
{
) B$ Z* Q+ b2 j
}
$ @* B; w% D1 F8 _1 G! D
然后加入合适的代码来显示错误(E->Message),错误类型(记住E.ClassName(),只有此时才是它的E.ClassName()),和联系您的详细方法及其他你想加上的任何东西。第二步当然是将它与系统挂钩,这在C++Builder里很容易实现:</P>
3 e4 L; a2 M. A+ i& y' s
<P>Application->OnException=AppLevelExceptionHandler;</P>
p3 o7 T2 r: q3 f0 e% R! A
<P>将上一行代码加到form的 OnCreate 事件中。不要吝啬!你加了这一行后几乎可以保证不会错过任何异常,而且无论哪里异常处理失败时它都会出现在你的眼前!</P>
- T0 X9 Y: T) Z9 y. K# F
<P>你的回合
( W5 A% R6 p( y1 U
现在你已经得到所有你刚才学习的有用的信息了。是时候开始把它们加到你现在的工程里去了,否则就忘掉吧,要不然,就把它变成编程习惯的一部分。这是你的自由!</P>
/ p3 i& L& B# p; F$ U
<P>在这个系列的下个部分,我将讨论内建除错器的使用,来看看你的程序运行时都干些什么,如何单步跟踪代码、设置断点、察看变量、和会把新手们吓的人事不醒的所有其他有趣的工具。直到这里,您的bugs也许只是小虫子了吧。</P>
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5