在C语言环境下，使用setjmp库来实现简单的try-catch异常处理块

#include <setjmp.h>
#define TRY int temp_jbr=setjmp(jb);if(!temp_jbr)
#define CATCH(VAL) else if(temp_jbr==VAL)
#define THROW(VAL) longjmp(jb,VAL);
#define FINALLY if(1)
jmp_buf jb;

 

setjmp.h是C语言的标准库，其中的setjmp函数可以保存当前的上下文，并且在调用longjmp函数时恢复上下文，实现跳转（可以跨函数跳转）

利用setjmp的特性，我们可以使用宏来实现简单的异常处理：

#include <stdio.h>
#include <setjmp.h>
#define TRY int temp_jbr=setjmp(jb);if(!temp_jbr)
#define CATCH(VAL) else if(temp_jbr==VAL)
#define THROW(VAL) longjmp(jb,VAL)
#define FINALLY if(1)
jmp_buf jb;
int errfunc() {
    puts("[A]");
    THROW(114514);
    puts("[B]");
    return 0;
}
int main() {
    TRY {
        errfunc();
        puts("[C]");
    } CATCH(114514) {
        puts("[D]");
    } FINALLY {
        puts("[E]");
    }
    return 0;
}

让我们来分析这段代码。根据宏定义，我们可以将代码解析为下面这段代码：

#include <stdio.h>
#include <setjmp.h>
#define TRY int temp_jbr=setjmp(jb);if(!temp_jbr)
#define CATCH(VAL) else if(temp_jbr==VAL)
#define THROW(VAL) longjmp(jb,VAL)
#define FINALLY if(1)
jmp_buf jb;
int errfunc() {
    puts("[A]");
    longjmp(jb,114514);
    puts("[B]");
    return 0;
}
int main() {
    int temp_jbr=setjmp(jb);
    if(!temp_jbr) {
        errfunc();
        puts("[C]");
    } else if(temp_jbr==114514) {
        puts("[D]");
    } if(1) {
        puts("[E]");
    }
    return 0;
}

首先，在全局作用域里，我们声明了jmp_buf类型的变量jb，它将会储存将要恢复的上下文

main函数中，我们首先定义了temp_jbr变量，赋值为setjmp(jb)的结果，此时表达式结果为0

然后，在if-else if结构里，调用了errfunc函数，输出了"[A]"，然后调用longjmp函数，它将会跳转到setjmp函数位置，同时恢复上下文，让setjmp函数返回114514，temp_jbr被赋值为114514

然后重新进入选择结构，来到第二个分支，输出了"[D]"

执行完毕后，来到if(1)，执行FINALLY块中的代码，输出了"[E]"

所以最终输出为：

[A]
[D]
[E]