如果我用“goto”跳出 catch 块，我是否能保证异常对象将被释放？

发布于 2024-12-02 03:35:31 字数 347 浏览 4 评论 0原文

我有如下代码

try {
  doSomething();
} catch(InterruptException) {
  goto rewind_code;
}

if(0) {
rewind_code:
  longjmp(savepoint, 1);
}

我的问题是，当我 goto 脱离 catch 块时，C++ 运行时存储的异常对象是否被释放？或者运行时是否允许缓存它，直到周围的函数存在或类似的东西？我只是想确保，如果我多次执行上述代码，每次执行倒带代码时，我都不会泄漏内存（因为 longjmp 不会执行编译器发出的清理代码到或在函数序言之前）。

原文

I have such code as follows

try {
  doSomething();
} catch(InterruptException) {
  goto rewind_code;
}

if(0) {
rewind_code:
  longjmp(savepoint, 1);
}

My question is, is the exception object that is stored by the C++ runtime free'ed when I goto out of the catch block? Or is the runtime allowed to cache it until the surrounding function exists or something like that? I simply want to ensure that if I execute above code multiple times, each time taking the rewind code, I won't leak memory (because the longjmp won't execute cleanup code emitted by the compiler into or before function prologues).

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

瞳孔里扚悲伤 2024-12-09 03:35:31

§6.6/2：

退出作用域（无论如何完成）时，将为所有具有自动存储持续时间的构造对象调用析构函数（12.4）...

至少在我读到的时候，“无论如何完成”应该/确实包含一个 goto< /代码>。

编辑：好的，根据 Johannes 的评论，我们关心的是 §15.1/4：

当最后一个处理程序被执行时
异常以除 throw 之外的任何方式退出；临时对象被销毁并执行
可以为临时对象释放内存；

[...]

销毁在异常声明中声明的对象销毁后立即发生
在处理程序中。

回复收藏 0 原文

空‖城人不在 2024-12-09 03:35:31

§15.1.4

异常对象的内存分配在未指定的位置
方式，除非 3.7.4.1 中注明。如果处理程序通过重新抛出退出，
对于同一异常，控制权被传递给另一个处理程序。的
异常对象在最后剩余的活动之后被销毁
异常处理程序通过重新抛出以外的任何方式退出，或者
std::exception_ptr (18.8.5) 类型的最后一个对象引用了
异常对象被销毁，以较晚者为准。在前一种情况下，
销毁发生在处理程序退出时，紧接着
销毁异常声明中声明的对象
处理程序（如果有）。在后一种情况下，销毁发生在
std::exception_ptr 的析构函数返回。然后实施可以
释放异常对象的内存；任何此类重新分配
以未指定的方式完成。