C语言标准库中的setjmp和longjmp函数提供了非局部跳转的能力，允许程序跳过正常的函数调用返回流程，直接跳转到之前保存的执行点，这种机制常被用于处理异常或者复杂的错误恢复场景。两者的设计目标不同，使用方式和限制也有明显差异，下面从多个维度展开说明。
基本功能差异
setjmp的核心作用是保存当前程序的执行上下文，包括程序计数器、栈指针、寄存器等状态信息，存储到jmp_buf类型的缓冲区中。它的调用会返回两次：第一次是直接调用时返回0，第二次是通过longjmp跳转回来时，返回longjmp传入的第二个参数值。
longjmp的作用是从任意位置恢复之前由setjmp保存的上下文，让程序跳回setjmp调用的位置继续执行，跳转后setjmp会返回longjmp指定的非零值。longjmp调用之后不会返回到调用它的位置，而是直接切换到目标上下文。
参数与使用要求
setjmp的函数原型为int setjmp(jmp_buf env)，只需要传入一个jmp_buf类型的缓冲区参数，用来存储上下文信息。使用时需要注意，setjmp不能放在某些复杂的表达式中使用，比如不能放在条件表达式的三元运算符中，也不能作为函数参数传递，否则会导致未定义行为。
longjmp的函数原型为void longjmp(jmp_buf env, int val)，需要传入两个参数：第一个是之前由setjmp初始化的jmp_buf缓冲区，第二个是跳转后setjmp的返回值，这个返回值必须是非零值，如果传入0，实际跳转后setjmp会返回1。
返回特性对比
setjmp是唯一一个会返回两次的C语言库函数，第一次调用返回0，后续通过longjmp跳转回来时返回非零值，开发者可以通过返回值判断是首次调用还是跳转回来的场景。
longjmp本身没有返回值，调用之后程序会直接跳转到setjmp的位置，不会执行longjmp调用之后的任何代码，也不会返回到longjmp的调用点。
使用限制差异
setjmp的使用有严格限制，它不能放在以下场景中使用：
- 不能放在
if、switch等条件判断的表达式中，除非是独立的判断条件 - 不能作为函数参数传递给其他函数
- 不能放在逗号表达式、三元运算符等复杂表达式中
- 不能放在
sizeof等编译期求值的表达式中
longjmp的限制相对较少，但需要注意不能跳转到已经销毁的栈帧对应的setjmp位置，比如如果setjmp所在的函数已经返回，再调用longjmp跳转到该位置会导致未定义行为，因为对应的栈空间已经被释放。
代码示例对比
下面是一个简单的示例，展示setjmp和longjmp的基本使用差异：
#include <stdio.h>
#include <setjmp.h>
jmp_buf jump_buffer; // 定义跳转缓冲区
void error_handler() {
printf("发生错误，准备跳转回主函数n");
// 调用longjmp，跳回setjmp的位置，返回值为1
longjmp(jump_buffer, 1);
// 以下代码永远不会执行
printf("longjmp之后的代码n");
}
int main() {
int ret = setjmp(jump_buffer); // 保存上下文，首次调用返回0
if (ret == 0) {
// 首次调用setjmp的场景
printf("首次调用setjmp，开始执行正常逻辑n");
error_handler(); // 调用错误处理函数，内部会触发longjmp
} else {
// 跳转回来的场景，ret为longjmp传入的1
printf("接收到跳转返回，返回值为：%dn", ret);
}
return 0;
}
上述代码中，setjmp首次调用返回0，执行正常逻辑后调用error_handler，函数内部调用longjmp跳回setjmp的位置，此时setjmp返回1，进入else分支执行后续逻辑。
适用场景差异
setjmp适合用在需要保存程序执行快照的位置，通常是错误处理或者异常捕获的入口点，比如在一个函数的开头保存上下文，后续函数中出现错误时可以直接跳转回来。
longjmp适合用在深层的错误发生位置，当底层函数检测到不可恢复的错误时，不需要逐层返回错误码，直接通过longjmp跳转到上层的错误处理入口，简化错误传递的流程。
注意事项
使用setjmp和longjmp时需要特别注意，跳转过程不会自动释放中间栈帧的局部变量资源，也不会调用局部对象的析构函数（如果是C++环境），可能会导致资源泄漏。另外，不要在setjmp和longjmp之间修改volatile以外的局部变量，因为跳转回来后这些变量的值可能是未定义的。总的来说，setjmp负责保存上下文，longjmp负责恢复上下文，两者配合实现非局部跳转，在使用时需要严格遵守各自的限制，避免引发程序异常。