C++中如何兼容并支持C语言中提供的异常处理机制

作者：　来源：希赛网　2008年1月3日　　

　　中提供的异常处理机制并不是十分严谨，而且比较杂，功能也非常有限。最常见的除了setjmp与longjmp之外，goto语句在实际编程中也使用很广泛(虽然不建议使用它)。大家现在也都知道，在语言中，它并不完全兼容并支持setjmp与longjmp函数的使用。但是　　C++语言对待goto语句又将如何呢?

　　C++语言中如何处理goto语句

　　大家知道，在C语言程序中，goto语句被编译成机器指令后，它只对应一条jmp指令。但是在C++语言程序中，goto语句也会这么简单吗?no!为什么这么说呢?因为C++语言是面向对象的语言，如果goto语句只会简单地对应一条jmp指令，那么在许多情况下，这会破坏面向对象的一些特性。例如下面的示例程序，代码如下：

　　#include

　　#include

　　#include

　　class MyTest

　　{

　　public:

　　MyTest ()

　　{

　　printf("构造一个MyTest类型的对象\n");

　　}

　　virtual ~ MyTest ()

　　{

　　printf("析构销毁一个MyTest类型的对象\n");

　　}

　　};

　　void main( void )

　　{

　　MyTest myobj0;

　　{

　　int error;

　　MyTest myobj1;

　　MyTest myobj2;

　　MyTest myobj3;

　　error = 1;

　　// 注意下面这条goto语句，如果它只是一条简单的jmp指令，

　　// 那么myobj1,myobj2,myobj3对象将如何被析构销毁呢?

　　if(error) goto Error;

　　printf("no error, continue\n");

　　}

　　Error:

　　return;

　　}

　　请编译运行一下，程序的运行结果如下：

　　构造一个MyTest类型的对象

　　构造一个MyTest类型的对象

　　构造一个MyTest类型的对象

　　构造一个MyTest类型的对象

　　析构销毁一个MyTest类型的对象

　　析构销毁一个MyTest类型的对象

　　析构销毁一个MyTest类型的对象

　　析构销毁一个MyTest类型的对象

　　呵呵!从程序的运行结果来看，显然，它符合面向对象的规则定义，“一个对象被构造了，就必然会有析构的过程”。所以说，在C++语言中，它是能够很好兼容并支持goto语句的语义，这也与C++是C语言的继承、扩充、完善的版本等承诺是相一致的。但是同时我们也知道，C++中对象的析构，是由编译器来予以支持的，那就是当编译器在编译程序时，如果局部对象在离开它的作用域时，编译器会显式地插入一些调用对象析构函数的代码，来销毁这些即将无效掉的局部对象。但是程序中如果遭遇到goto语句时，显然，编译器也需要插入对局部对象的析构函数的显式调用。请在上面的程序中goto语句那一行，按F9设置一个断点;然后F5，调试程序;接着Alt+8切换到汇编代码的显示状态下，注意查看if(error) goto Error语句对应的汇编程序。截图如下：

　　

　　呵呵!从上图可以很明显的看出，编译器在处理goto语句时，需要进行更多的工作，它必须要插入所有当前局部对象的析构函数的显式调用代码，然后才能真正执行jmp指令。其它对于许多其它类似的语句，编译器的处理也是类似，例如对于return语句的处理也是如此，把上面的那个程序小小改动一点，代码如下：

　　#include

　　#include

　　#include

　　class MyTest

　　{

　　public:

　　MyTest ()

　　{

　　printf("构造一个MyTest类型的对象\n");

　　}

　　virtual ~ MyTest ()

　　{

　　printf("析构销毁一个MyTest类型的对象\n");

　　}

　　};

　　void main( void )

　　{

　　MyTest myobj0;

　　{

　　int error;

　　MyTest myobj1;

　　MyTest myobj2;

　　MyTest myobj3;

　　error = 1;

　　// 用return语句直接返回

　　if(error) return; //goto Error;

　　printf("no error, continue\n");

　　}

　　Error:

　　return;

　　}

　　同样也调试程序，接着Alt+8切换到汇编代码的显示状态下，注意查看if(error) return语句对应的汇编程序。截图如下：

　　

　　总结

　　虽然说，在C++语言中，它能够很好兼容并支持goto语句的语义(也包括其它一些与异常处理相关的语句)。但是，主人公阿愚强烈建议朋友在编写C++程序代码时，不要轻易使用goto语句，因为与C程序中的goto语句相比，它不仅破坏了结构化的程序设计，破坏了程序代码的整体美感，而且它更导致了C++程序模块的臃肿(编译器因此而导致需要插入了太多重复性代码)。

　　到目前为止，主人公阿愚引领大家，对C++和C语言中的异常处理机制，进行了广泛而深入的探讨，阿愚深感收获甚多，当然也有可能认识上的不少错误，欢迎朋友们指出并共同讨论。

　　从下一篇文章中，开始对提供的异常处理机制进行一个全面而系统的介绍和较深入的研究。尤其是提供的结构化异常处理机制，也即大名鼎鼎的SEH(Structured Exception Handling)。熟悉SHE的朋友们，请GO!因为阿愚期待与大家一同学习探讨;当然，哪些不太熟悉SHE的朋友们，也请GO!因为阿愚在这里，一定把最深切的学习体会和经验总结奉献给大家!继续吧!