是否有任何方法导致整个堆栈帧在C中展开？ (除了使用例外)

问题是关于持续对象的破坏.如果在执行上下文没有正常退出时调用continuation对象的dtor,则应该强制它被销毁该对象的上下文关闭.

这样,堆栈帧中的每个C对象都不会被正确销毁.对于任何人来说这可能不是一个令人愉快的情况 – 所以我决定找到一个解决方案.

在第一次,我想使用异常来展开堆栈帧,如下所示. (请注意,下面只是有缺陷的伪代码.)

coroutine::~coroutine()
{
    status = FORCED_EXIT;
    switch_to(*this);
}

void coroutine::yield(coroutine& other_coroutine)
{
     // switch to other context,halt until invocation by other context
    switch_to(other_coroutine);

    if (status_ != FORCED_EXIT) {
        return; // resume
    } else {
        throw ContextClosingException;
    }
}

void coroutine::entrypoint()
{
    try {
        entry_function_();
    } catch(ContextClosingException& e) {
        switch_to(caller_coroutine);
    }
}

但是,我发现了一些严重的缺陷.如下所述“吞下异常”的任何用户代码将完全打破协作调度的假设.

try {
    ...
} catch(...) { // ContextClosingException 
    // do nothing,just swallow exception.
}

所以我需要找到其他方法来调用堆栈展开(或者在继续中破坏堆栈对象的任何其他方法).标准一致性方式会很好 – 但是延续实现本身依赖于特定于平台的API,因此非可移植方式是可以接受的. (我正在使用win32)