23结束处理程序.docxVIP

第五部分 结构化异常处理第23章 结束处理程序你可以闭上眼睛，想象有这样一个编程环境，在这个环境里，你编写的代码永远不会出错。总有足够的内存，没有人会传递给你一个无效的指针，你需要的文件总是存在。如果按照这种假想，编写程序不是很愉快的事情吗？那样的话，程序会非常容易编写、阅读和理解。我们不会再让每个程序中通篇的i f语句和g o t o语句搞得昏头昏脑，只需从头到尾书写代码就是了。如果说这种直接的编程环境只是一个美妙的梦想的话，那么结构化异常处理（ S E H）就会给你一个现实的惊喜。使用S E H的好处就是当你编写程序时，只需要关注程序要完成的任务。如果在运行时发生什么错误，系统会发现并将发生的问题通知你。利用S E H，你可以完全不用考虑代码里是不是有错误，这样就把主要的工作同错误处理分离开来。这样的分离，可以使你集中精力处理眼前的工作，而将可能发生的错误放在后面处理。微软在Wi n d o w s中引入S E H的主要动机是为了便于操作系统本身的开发。操作系统的开发人员使用S E H，使得系统更加强壮。我们也可以使用S E H，使我们的自己的程序更加强壮。使用S E H所造成的负担主要由编译程序来承担，而不是由操作系统承担。当异常块（exception block）出现时，编译程序要生成特殊的代码。编译程序必须产生一些表（ t a b l e）来支持处理S E H的数据结构。编译程序还必须提供回调（ c a l l b a c k）函数，操作系统可以调用这些函数，保证异常块被处理。编译程序还要负责准备栈结构和其他内部信息，供操作系统使用和参考。在编译程序中增加S E H支持不是一件容易的事。不同的编译程序厂商会以不同的方式实现S E H，这一点并不让人感到奇怪。幸亏我们可以不必考虑编译程序的实现细节，而只使用编译程序的S E H功能。由于各编译程序的实现上存在着差别，这样以特定的方式用特定的代码例子讨论S E H的优点就很困难。但大多数编译程序厂商都采用微软建议的文法。本书中的例子使用的文法和关键字可能与其他一些公司编译程序所使用的不同，但主要的S E H概念是一样的。本章使用Microsoft Visual C++编译程序的文法。注意不要将结构化异常处理同C + +的异常处理相混淆。C + +异常处理是一种不同形式的异常处理，其形式是使用C + +关键字c a t c h和t h r o w。微软的Visual C++也支持C + +的异常处理，并且在内部实现上利用了已经引入到编译程序和Wi n d o w s操作系统的结构化异常处理的功能。S E H实际包含两个主要功能：结束处理（ termination handling）和异常处理（ e x c e p t i o nh a n d l i n g）。本章讨论结束处理，下一章讨论异常处理。一个结束处理程序能够确保去调用和执行一个代码块（结束处理程序，termination handler），而不管另外一段代码（保护体， guarded body）是如何退出的。结束处理程序的文法结构（使用微软的Visual C++编译程序）如下：__try{ //Guarded body ...}__finally{ //Termination handler ...}__try和__finally关键字用来标出结束处理程序两段代码的轮廓。在上面的代码段中，操作系统和编译程序共同来确保结束处理程序中的- - f i n a l l y代码块能够被执行，不管保护体（ t r y块）是如何退出的。不论你在保护体中使用r e t u r n，还是g o t o，或者是l o n g j u m p，结束处理程序（f i n a l l y块）都将被调用。下面将通过几个例子来说明这一点。23.1 通过例子理解结束处理程序由于在使用S E H时，编译程序和操作系统直接参与了程序代码的执行，为了解释S E H如何工作，最好的办法就是考察源代码例子，讨论例子中语句执行的次序。因此，在下面几节给出不同的源代码片段，对每一个片段解释编译程序和操作系统如何改变代码的执行次序。23.2 Funcenstein1为了甄别使用结束处理程序的各种情况，我们来考察更具体的代码例子。DWORD Funcenstein1() { DWORD dwTemp; //1. Do any processing here. ... __try { //2. Request permission to access // protected data, and then use it. WaitForSingleObject(g_hSem, INFINITE); g_dwProtectedData = 5; dwTem