c语言没有try catch的替代方案

setjmp与longjmp

后缀jmp指的就是jump,关看名字就能猜到这哥俩是干啥的了。使用他们俩就可以让程序控制流转移,进而实现对异常的处理。

异常处理的结构可以划分为以下三个阶段:

  • 准备阶段:在内核栈保存通用寄存器内容
  • 处理阶段:保存硬件出错码和异常类型号,然后向当前进程发送信号
  • 恢复阶段:恢复保存在内核栈中的各个寄存器内容,返回当前进程的断电处继续执行

过程有点类似递归,只有文字你可能看的有点云里雾里,我们结合一个小例子来看看

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

static jmp_buf buf;

void second(void) {
    printf("second\n"); 
    // 跳回setjmp的调用处 - 使得setjmp返回值为1       
    longjmp(buf, 1);             
}

void first(void) {
    second();
    //这行到不了,因为second里面longjmp已经跳转回去了
    printf("first\n");          
}

int main() {
    int rc;
    rc = setjmp(buf);
    if (rc==0) {     
        // 进入此行前,setjmp返回0
        first();   
    }
    // longjmp跳转回,setjmp返回1,因此进入此行
    else if(rc==1){                    
        printf("main\n");       
    }

    return 0;
}
/*
the ressult as:
    second
    main
*/

c语言没有try catch的替代方案

现在我们再来看看两个函数的声明:

  • setjmp(env) :将程序上下文存储在env中
  • longjmp(env,status):env指代setjmp中所保存的函数执行状态变量,status则是作为setjmp的返回值

当然你也可以用switch代替上面的if else,其实try catch就相当于上面的那个函数你可以参考这个实现try catch

signal信号处理

个人觉得这个在linux下更好用,并且也提供了更多的信号量宏。

下面给出的是signal头文件中的定义

#define SIGINT          2   // interrupt
#define SIGILL          4   // illegal instruction - invalid function image
#define SIGFPE          8   // floating point exception
#define SIGSEGV         11  // segment violation
#define SIGTERM         15  // Software termination signal from kill
#define SIGBREAK        21  // Ctrl-Break sequence
#define SIGABRT         22  // abnormal termination triggered by abort call

这里仅给出维基上的例子

#include <signal.h>
#include <stdio.h>
#include <stdlib.h>

static void catch_function(int signal) {
    puts("Interactive attention signal caught.");
}

int main(void) {
    if (signal(SIGINT, catch_function) == SIG_ERR) {
        fputs("An error occurred while setting a signal handler.\n", stderr);
        return EXIT_FAILURE;
    }
    puts("Raising the interactive attention signal.");
    if (raise(SIGINT) != 0) {
        fputs("Error raising the signal.\n", stderr);
        return EXIT_FAILURE;
    }
    puts("Exiting.");
    return 0;
}

相关推荐