C语言中利用setjmp和longjmp做异常处理

错误处理是任何语言都需要解决的问题，只有不能保证100%的正确运行，就需要有处理错误的机制。异常处理就是其中的一种错误处理方式。

1 过程活动记录（Active Record）

C语言中每当有一个函数调用时，就会在堆栈(Stack)上准备一个被称为AR的结构，抛开具体编译器实现细节的不同，这个AR基本结构如下所示。

每当遇到一次函数调用的语句，C编译器都会产生出汇编代码来在堆栈上分配这个AR。例如下面的C代码：

void a(int i)
{
    if(i==0){
        i = 1;
    }
    else
    {
        printf("i = %d \n", i);
    }
}

int main(int argc, char** argv)
{
    a(1);
}

当程序运行后执行到printf()语句时，堆栈上的AR布局如下：

2 通过setjmp和longjmp操纵AR，完成任意跳转

那么如何来操纵AR呢，一个可能的方法是，根据局部变量的地址进行推算，例如对于上面的a函数，执行a函数时的当前AR地址就是参数i的地址偏移8个字节，也就是 ((char*)&i) - 8。然而，不同的C编译器，以及不同的硬件平台都会产生不同的AR结构布局，甚至在一些平台上，AR根本不会存放到Stack中。所以这种方式操纵AR是不通用的。

为此，C语言通过库函数的方式提供了操纵AR的统一方法，那就是setjmp和longjmp函数。

int setjmp(jmp_buf jb);
void longjmp(jmp_buf jb, int r);

setjmp用于保存当前AR到jb变量中；
而longjmp用于设置当前AR为jb，并跳转到调用setjmp()；之后的第一个语句处。其结果就相当于回到了setjmp()刚执行完毕，只是偷偷的修改了setjmp的返回值。

setjmp()第一次调用时总是返回0，而通过longjmp(jb,r)跳转后其返回值总是被修改为r，并且r不能为0。这样程序中就很容易根据setjmp()的返回值来判断是否是longjmp()导致了跳转才执行到此。

setjmp/longjmp主要从嵌套的函数调用中跳出来。

#include <stdio.h>
#include <setjmp.h>

jmp_buf jb;
void a();
void b();
void c();

int main()
{
    if(setjmp(jb)==0){
        a();
    }
    printf("after a(); \n");
    return 0