异常问题

OOPhaisky OOPhaisky 墨衍会员 · AI 创作全网分发 墨衍智能分发 通过墨衍一键同步至各平台 可同步平台 CSDN微信公众号微博知乎掘金百家号博客园抖音小红书 你的文章也可以这样分发 墨衍会员 ¥399起/年,写一次发全网 我也要 + 加入社区
先说一个大家都知道的现象(既然都知道,好像就没有必要说了,但是为了讨论方便,还是提一下吧,哈哈)。

如果一个局部对象的构造函数没有被成功调用(在执行构造函数时抛出了一个异常),那么在函数“栈展开”时应该不会调用此对象的析构函数,因为C++不会析构“不完整的对象”。如下:

class foo{
public:
int a;
foo() { a = 33; throw 1; }//构造函数中抛出异常
~foo() { cout << a << endl; }
};

void test(){
foo f;
}

void main(int argc, char **argv)
{
try{
test();
}
catch(...){
}
}
程序并不会显示“33”,因为在退出test()执行“栈展开”时并没有调用f的析构函数。
但是如果把foo构造函数中的"throw 1"转移到test函数的结尾处,运行结果就会显示“33”,说明此时编译器在“栈展开”时调用了“完整”对象f的析构函数。


我的问题是:编译器在退出test()执行“栈展开”时怎么知道栈中的f是“不完整的对象”?难道对象本身会带有某些“标记”来标识自己是“不完整”的?或者是通过其他的途径让编译器不去调用f的析构函数?

高手指教,谢谢
...全文

相关推荐

评论 9
收藏 已收藏
分享
返回顶部
OOPhaisky
C++ 语言 65,214 成员 250,514 内容