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

ClassZheng

已于 2024-07-21 09:35:02 修改

阅读量437

点赞数 8

文章标签： c语言开发语言

于 2024-02-16 19:50:49 首次发布

本文链接：https://blog.youkuaiyun.com/ClassZheng/article/details/136131653

版权

#include <setjmp.h>
#include <stdbool.h>
# define TRINT(EXP) jmp_buf EXP; typedef enum
# define TRY(EXP,JBRN) int JBRN=setjmp(EXP);if(!JBRN)
# define CATCH(JBRN,VAL) else if(JBRN==VAL)
# define THROW(EXP,VAL) (longjmp(EXP,VAL))
# define FINALLY() if(true)

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

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

#include <stdio.h>
#include <stdbool.h>
#include <setjmp.h>
# define TRINT(EXP) jmp_buf EXP; typedef enum
# define TRY(EXP,JBRN) int JBRN=setjmp(EXP);if(!JBRN)
# define CATCH(JBRN,VAL) else if(JBRN==VAL)
# define THROW(EXP,VAL) (longjmp(EXP,VAL))
# define FINALLY() if(true)
TRINT(Exp) { ERR1, ERR2 } ExpVal;
int errfunc() {
    puts("[A]");
    THROW(Exp,ERR2);
    puts("[B]");
    return 0;
}
int main() {
    TRY(Exp,TryExp) {
        errfunc();
        puts("[C]");
    } CATCH(TryExp,ERR2) {
        puts("[D]");
    } FINALLY() {
        puts("[E]");
    }
    return 0;
}

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

#include <stdio.h>
#include <stdbool.h>
#include <setjmp.h>
jmp_buf Exp;
typedef enum { ERR1, ERR2 } ExpVal;
int errfunc() {
    puts("[A]");
    (longjmp(Exp,ERR2));
    puts("[B]");
    return 0;
}
int main() {
    int TryExp=setjmp(Exp);
    if(!TryExp) {
        errfunc();
        puts("[C]");
    } else if(TryExp==ERR2) {
        puts("[D]");
    }
    if(true) {
        puts("[E]");
    }
    return 0;
}

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

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

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

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

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

所以最终输出为：