从C库通过longjmp跳转到C++代码是否安全？

这个问题问得很关键——毕竟C和C混编的时候，这类跨语言的错误处理很容易踩坑。先直接给结论：**从C库用longjmp跳转到C代码里的setjmp点是不安全的**，甚至可能触发未定义行为。

为什么不安全？ #

核心原因是longjmp是纯C的错误跳转机制，完全不了解C++的对象生命周期规则。拿你给出的伪代码举例：

if( lib_question() ) {
    std::vector<int> stuff(5);
    lib_could_jump_way(stuff.data(), stuff.size());
}

这里的std::vector带有非平凡析构函数（它需要主动释放堆内存）。当lib_could_jump_way调用longjmp跳回外层的setjmp点时，程序会直接跳过stuff的析构流程——longjmp只会粗暴地修改程序计数器和栈指针，不会执行C++栈展开时的析构逻辑。这会导致vector占用的内存永久泄漏，要是对象里还有其他需要清理的资源（比如文件句柄、锁），问题会更严重。

根据C++标准的明确规定：如果longjmp跳转到的位置，位于某个带有非平凡析构函数的自动对象的作用域之外，且该对象已构造但未析构，程序行为属于未定义。你的代码正好命中了这个场景，绝对不能这么写。

安全对接的正确方式 #

核心思路是把longjmp的跳转范围限制在纯C代码中，不让它跨越到C++的对象作用域，具体可以通过一层C包装函数实现：

1. 写一个纯C的包装函数，在内部处理longjmp逻辑，将跳转转化为普通错误码返回给C++：

#include <setjmp.h>
// 假设这是C库的原有函数声明
void lib_set_jmpbuf(jmp_buf buf);
void lib_could_jump_way(int* data, size_t size);

int lib_safe_could_jump_way(int* data, size_t size) {
    jmp_buf buf;
    // 在C层设置跳转点
    if (setjmp(buf) != 0) {
        // 触发longjmp时返回错误码
        return -1;
    }
    // 告诉C库跳转缓冲区位置
    lib_set_jmpbuf(buf);
    // 调用可能触发跳转的库函数
    lib_could_jump_way(data, size);
    // 正常执行完成，返回成功标识
    return 0;
}

2. 在C++代码中调用这个包装函数，用错误码替代longjmp跳转：

if( lib_question() ) {
    std::vector<int> stuff(5);
    if (lib_safe_could_jump_way(stuff.data(), stuff.size()) != 0) {
        throw "exception";
    }
    // 执行到这里时，vector会正常析构
}

这样一来，longjmp只会在纯C的栈帧内跳转，不会触及C的对象。当包装函数返回错误码时，C里的对象已经完成了任务，会正常执行析构函数，不会出现资源泄漏或对象状态异常的问题。

如果你的C库提供了不依赖longjmp的错误码版本接口，那直接用这个版本是最省心的——不过很多老旧C库没有这个选项，上面的包装方法就是最通用的解决方案。

内容来源于stack exchange