setjmp与longjmp

函数原型

        setjmp函数原型为 int setjmp(jmp_buf environment)

        参数简介，jum_buf存储的是当前程序运行的堆栈环境（存储的是寄存器的信息）。用于后期程序回调的时候，恢复到最开始的运行环境

        返回值，初次调用setjmp函数的返回值是0，为后续的longjmp跳转设立目标，后面的返回值为调用longjmp后由longjmp函数设置的返回值

        longjmp函数原型为 void longjmp(jmp_buf environment,int value),

        参数简介：jum_buf与setjmp中的一致，是存储用于恢复程序运行的相关环境，而其中的value则是设置setjmp的返回值。

功能

        我们都知道在c语言中，提供了异常处理机制try catch，利用这个机制可以捕获异常和处理异常，但是在c++中则提供了伪异常处理，那就是异常处理函数，setjmp和longjmp能够跳出嵌套的函数，返回到函数的调用者之一。

#include <setjmp.h>
#include <stdlib.h>
#include <stdio.h>
#include "myErr.h"

static jmp_buf env;//定义保存堆栈环境的变量

void fun(int a,int b){
    if(b==0){
        longjmp(env,-1);//如果b的值为0的话那么就直接把0作为返回值
    }else{
        int c = a/b;
        longjmp(env,a/b);//如果b不为0的话，那么将a/b作为结果返回回去
    }
}

int main(){
    int a,b;
    cin>>a>>b;
    int ret = setjmp(env);//在这里定义setjmp 用于确定longjmp的跳转位置。在longjmp后会回退到这里
    if(ret == 0){
        fun(a,b);
    }
    else if(ret == -1){
        cout<<"b is not allowed 0"<<endl;
    }else{
        cout<<ret<<endl;
    }
}

工作流程

        setjmp()为后续的longjmp()确立跳转目标，该目标是发起setjmp()调用的地方。
初次调用setjmp()确立跳转目标时，setjmp()返回0。后续返回会返回longjmp()跳转时携带的参数val的值。为了作以区分是初次调用还是后续返回，规定此值不为0，如果为0，longjmp()实际上会将其替换为1。
        env为跳转的实现提供黏合剂。setjmp()会把当前进程环境的各种信息保存进env参数中，调用longjmp()时必须指定相同的env变量来执行“伪”返回。（由于setjmp()和longjmp()的调用分别位于不同函数，所以应该将env参数定义为全局变量，或者作为函数入参来传递。）