C语言中setjmp和longjmp是如何工作的？

C++中可以使用try...catch对异常进行捕获，C语言呢？可能很多人都不知道，C语言中也有类似的接口，可以保存程序运行的位置然后在特定的位置进行恢复使得程序能够回到先前保存的地方。而这整个功能的主要依靠setjmp和longjmp来实现。

1 int setjmp(jmp_buf env)

setjmp需要被先調用，調用之后，setjmp就保存了一份程序的计数器和当前栈顶指针，当然，根据需要也可以保存一些变量的初始化信息。返回返回值为0。使用方法如下面代码所示：

#include <stdio.h>
#include <setjmp.h>
jmp_buf j;
int main()
{
    if(setjmp(j))
    {
        printf("返回到main函数\n");
    }
    else
    {
        printf("第一次调用setjmp\n");
    }
    return 0;
}

2 void longjmp(jmp_buf env，int val)

在调用了setjmp后调用longjmp可以恢复保存的值并有效的将setjmp保存的计数器和栈信息恢复到之前的状态，这个过程也是堆栈展开的过程。因为longjmp是回到原来保存程序状态的位置，因此也可以称之为从哪里来到哪里去。在上面的代码中使用longjmp后，程序执行效果如下所示：

#include <stdio.h>
#include <setjmp.h>
jmp_buf j;
void TestSuit()
{
    printf("开始执行TestSuit函数\n");
    longjmp(j,1);
    /*下面的代码将不会被执行*/
    printf("这是段永不被执行的代码\n");
}
int main()
{
    if(setjmp(j))
    {
        printf("返回到main函数\n");
    }
    else
    {
        printf("第一次调用setjmp\n");
        TestSuit();
    }
    return 0;
}

如上，在调用TestSuit后，函数里面因为调用了longjmp因此程序状态恢复到setjmp的位置，又因为在longjmp的第二个参数设置了setjmp的返回值，因此TestSuit函数中longjmp后的代码将不被执行。程序返回到main函数，执行if条件值为真后的语句。上面代码的运行结果为：

- EOF -

图文：龙小

排版：龙小