非本地跳转

   首先介绍下与非本地跳转的对应的本地跳转，本地跳转指的是类似于goto语句的一系列应用，当设置了标志之后，可以跳到所在函数内部的标号上。然而，本地跳转不能将控制权转移到所在程序的任意地点，不能跨越函数，因此也就有了非本地跳转。

　1.非本地跳转是C语言提供的一种用户级的异常控制流的形式，它将控制直接从一个函数转移到另一个当前正在执行的函数，而不需要经过正常的调用-返回序列。

   非本地跳转是通过setjmp和longjmp函数提供的。

　我们来看看函数：

#include <setjmp.h>
//setjmp函数在env缓冲区中保存当前调用环境，以供后面的longjmp使用
int setjmp(jmp_buf env);
int sigsetjmp(sigjmp_buf env,int savesigs);
//sigsetjmp函数和siglongjmp函数是setjmp和longjmp的可以被信号处理程序使用的版本
//longjmp函数从env缓冲区中恢复调用环境，然后触发一个最近一次初始化env的setjmp调用的返回，然后setjmp返回，并带有非零的返回值retval
void longjmp(jmp_buf env,int retval);
void siglongjmp(sigjmp_buf env,int retval);

 返回值：若直接调用则返回0，若从siglongjmp调用返回则返回非0值

　  要注意一点，setjmp的返回值不能被赋值给变量。但是可以用在switch语句或者条件语句的测试中

　  setjmp函数只调用一次，但是返回多次，一次是当第一次调用setjmp，而调用环境保存在缓冲区env中时，一次是为每个相应的longjmp调用。

　  longjmp函数被调用一次但从不返回。

 

     2.应用

　　2.1非本地跳转允许从一个深层嵌套的函数调用中立即返回，通常由检测到某个错误引起的。

　　示例代码：

　　

#include "csapp.h"
 
jmp_buf buf;
 
int error1 = 0; 
int error2 = 1;
 
void foo(void), bar(void);
 
int main() 
{
    int rc;
 
    rc = setjmp(buf);
    if (rc == 0)
    foo();
    else if (rc == 1) 
    printf("Detected an error1 condition in foo\n");
    else if (rc == 2) 
    printf("Detected an error2 condition in foo\n");
    else
    printf("Unknown error condition in foo\n");
    exit(0);
}
 
/* deeply nested function foo */
void foo(void) 
{
    if (error1)
    longjmp(buf, 1); 
    bar();
}
 
void bar(void) 
{
    if (error2)
    longjmp(buf, 2); 
}

 　2.2使信号处理程序分支到一个特殊的代码位置，而不是返回到被信号到达中断了的指令位置

　　示例代码:

　　这个代码挺有意思

#include "csapp.h"
 
sigjmp_buf buf;
 
void handler(int sig) 
{
    siglongjmp(buf, 1);
}
 
int main() 
{
    Signal(SIGINT, handler);
 
    if (!sigsetjmp(buf, 1)) 
/*The initial call to the sigsetjmp function saves the stack and signal context when the program first starts.*/
    printf("starting\n");
    else
    printf("restarting\n");
 
    while(1) {
    Sleep(1);
    printf("processing...\n");
    }
    exit(0);
}