#include <stdio.h>
#include <setjmp.h>
#include <stdlib.h>
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语句对应的汇编程序。截图如下:
