用C语言实现try-catch功能

用C语言实现try-catch/try-except功能

  本文拟用C语言中的 signal 函数、siglongjmp 函数来实现类似python中的 try - except 功能或是C++中的 try - catch 功能。

一、函数说明

  用C语言实现C++的try-catch功能或类似python的try-except功能，主要依赖C标准库中的signal、siglongjmp和__sigsetjmp三个函数。
  signal(int signum, sighandler_t handler)，用于注册异常信号，只有注册过的异常信号类型，才能捕获到。参数signum是要注册的信号(异常)；参数handler则是对应信号的处理函数；
  __sigsetjmp (struct __jmp_buf_tag __env[1], int __savemask),用于存储环境信息，也即是将调用该函数处，所在时刻的环境信息写入变量env中；注意，该函数第一次调用时，其返回值为 $0$。
  siglongjmp (struct __jmp_buf_tag __env[1], int __val)，该函数实现跨函数的跳转，它将跳转到第一次调用函数__sigsetjmp 所在的位置，并将参数__val作为__sigsetjmp 的返回值。

二、跳转说明

  下面以第三部分的实例代码，简述一下整个C语言版try-catch的跳转流程，如下图：

三、代码示例

  如下代码示例，通过signal、siglongjmp和__sigsetjmp三个函数实现了C语言下的try-catchg功能。我们通过在测试函数test_fun 中写入不同的异常，来测试代码功能。
未在test_fun中写入异常代码时，函数正常返回 $0$，如下图：

  当在test_fun中加入一行，除 $0$ 的代码时，函数返回 $-1$，结果如下图：

  当在test_fun中加入一行越界写的代码时，运行结果返回 − 1 -1