c++ - 在抛出未处理的异常后过早离开的析构函数是否会释放成员数据？

Question

据我所知，析构函数的工作顺序与构造函数相反：

• 构造函数初始化成员数据（在 ctor-init 列表中）然后执行其主体。

• 析构函数执行其主体然后销毁成员数据（在销毁阶段）。

• 我知道析构函数不应该抛出异常，如果它这样做了，那么它应该自己处理那个异常。

** 出于好奇：如果析构函数引发异常而不在那里处理它，那么它应该销毁成员数据还是不释放它们？（因为它过早离开，因此跳过了销毁阶段）。

 struct Bar{};

 struct Foo{
     ~Foo()noexcept(false){
         throw 1024;// leaves here prematurely
     }

     Bar b{};
 };

那么Foo's Dtorb在不处理异常的情况下抛出后会释放吗？

** 我知道我不应该这样做，只是为了了解更多异常处理的工作原理。谢谢！

标签： c++exceptiondestructor

Answer 1

如果析构函数引发异常而不在那里处理它，那么它应该销毁成员数据

是的。

那么 Foo 的 Dtor 在不处理异常的情况下抛出后释放 b 吗？

b有一个平凡的类型，所以它的“析构函数”什么都不做。但是，是的，该成员已被销毁。成员没有“被释放”。