什么时候“嵌套堆栈展开”可以？

Question

据我了解，我们不能从 dtor 抛出异常，原因如下：“如果在‘堆栈展开’内抛出异常，则没有明确的方法来处理‘嵌套展开’，因此‘从 dtor 抛出’被禁止。”。

让我感到困惑的是，为了遵守上述规则，我们编写如下代码：

#include <stdexcept>
#include <string>
#include <stdio.h>

void some_cleanup_stuff_that_may_throw();

class Bar
{
public:
    virtual ~Bar(){
        try {
            some_cleanup_stuff_that_may_throw();
        }
        catch (std::exception& e){
            fprintf(stderr, "Exception: %s from %s\n", e.what(), __FUNCTION__);
        }
    }

};

//{{ implementation of 'some_cleanup_stuff_that_may_throw'
void level1();
void level2();

void some_cleanup_stuff_that_may_throw()
{
    level1();
}


void level1()
{
    level2();
}

void level2()
{
    throw std::runtime_error("Yes thrown when stack unwinding");
}

//}} implementation of 'some_cleanup_stuff_that_may_throw'



void Foo1()
{
    Bar b1;
    throw std::runtime_error("Let's start stack unwinding");
}

int main()
{ 
    try {
        Foo1();
    }
    catch (std::exception& e){
        fprintf(stderr, "Exception: %s from %s\n", e.what(), __FUNCTION__);
    }
    return 0;
}

所以在某些情况下，“嵌套堆栈展开”是可能的。

我的问题是：“嵌套堆栈展开”何时“OK”？

Answer 1

在堆栈展开过程中抛出异常是可以的。 但是从正在从堆栈中展开的对象的析构函数或从异常处理机制（例如 catch 参数构造函数）调用的任何其他函数中抛出异常会导致调用std::terminate 。

在这里从函数中抛出应该意味着抛出的异常没有被捕获在其主体（或函数 try-catch 块）内，并且实际上转义了函数。

在您的示例中，离开析构函数也不例外。 所以没有问题。

允许处理嵌套异常或处于堆栈展开过程中。 一旦嵌套异常被捕获、处理并且析构函数完成，原始堆栈展开可以继续调用下一个析构函数再次向上移动堆栈。 甚至还有用于此的 API。 例如，您可以使用std::uncaught_exceptions()它为您提供当前未捕获异常的数量。

C++ 运行时的实现只需要确保跟踪当前活动的所有异常对象。

（我假设您对展开实现的确切实现细节并不真正感兴趣。如果您是，请在问题中澄清这一点。）