在 C ++ 接口中隐藏 longjmps 到 C 代码

Question

为广泛使用 longjmp 和多个跳转目标进行错误管理的旧 C 代码生成 C++ API 的正确方法是什么？

我的想法是编写一个函数，为每个使用的目标设置跳转目标，例如：

void catchJumps() {
    if (setjmp(target1)) throw Error1(); //Error1 and Error2 are some exception classes
    if (setjmp(target2)) throw Error2();
    //...
}

然后我会在每个使用 C 代码的 C++ 函数（更具体地，在每个范围内）中调用 catchJumps：

int some_wrapper() {
    catchJumps();
    callCFunction()

    for (int i = 0; i < 1000; i++) {
        catchJumps();
        callOtherCFunction();
    }

    catchJumps();
    callOneMoreCFunction();
    callEvenOneMoreCFunction();
}

这是在不破坏堆栈的情况下捕获所有跳远的安全方法吗？我知道，将 longjmp 放入不同的堆栈帧是很危险的。现在我的函数catchJumps 位于另一个堆栈帧中，而不是调用some_wrapper。我希望（或者我什至可以做到）catchJumps 可以被内联，这样框架是一样的，但我不知道。

每个作用域中的调用（以及上面的循环之后）应该是所有作用域对象的析构函数都被调用的必要条件，对吧？

如果这不是将 longjmps“转换”为调用应用程序的断言的有效方法，我们还能做什么？

Answer 1

将catchJumps 与具有https://stackoverflow.com/a/1376099/471164 中所述的析构函数的自动对象一起使用并引用18.7/4“其他运行时支持”时，您可能会遇到问题：

如果任何自动对象会被抛出的异常破坏 将控制权转移到程序中的另一个（目标）点， 然后在传输点调用 longjmp(jbuf, val) 对同一（目标）点的控制具有未定义的行为。

我认为更好的方法是为您使用的每个 C 函数创建一个包装器，并且可以执行 longjmp 将所有这些非本地 goto 转换为异常。这也将使您的代码更简洁，因为您不会到处都有catchJumps()，而只会在这些包装函数中。

Answer 2

既然您在库中遇到这样的 API，那么让 catchJumps 通过要求传入零参数可调用并使用函数指针或 boost/std::function 来执行实际调用怎么样？

template <typename CallMe>
void catchJumps(CallMe wrappee)
{
    if (setjmp(target1)) throw Error1(); //Error1 and Error2 are some exception classes
    if (setjmp(target2)) throw Error2();
    //...

    wrappee();
}

int some_wrapper()
{
    catchJumps(&callCFunction);

    for (int i = 0; i < 1000; i++)
    {
        catchJumps(&callOtherCFunction);
    }

    catchJumps(&callOneMoreCFunction);
    catchJumps(&callEvenOneMoreCFunction);
}