setjmp longjmp

来源：http://blog.cechina.cn/zhiy66/208307/message.aspx

C异常处理机制：setjmp和longjmp

setjmp()和longjum()是通过操纵过程活动记录实现的。它是C语言所独有的。它们部分你不了C语言有限的转移能力。这个两个函数协同工作，如下所示：
    *setjmp(jmp_buf j)必须首先被调用。它表示“使用变量j记录现在的位置。函数返回零。”
    *longjmp(jmp_buf j,int i)可以接着被调用。它表示“回到j所记录的位置，让它看上去像是从原来的setjmp()函数返回一样。但是函数返回i，使代码知道它实际上是通过longjmp()返回的。“坳口不？
    *当使用longjmp()时，j的内容被销毁。
    setjmp保存了一份程序的计数器和当前的栈顶指针。如果喜欢也可以保存一些初始值。longjmp恢复这些值，有效的转移控制并把状态重置回保存状态的时候。这被称做“展开堆栈(unwinding stack)"，因为你从堆栈中展开过程活动记录，直到取得保存在其中的值。尽管longjmp会导致转移，但它和goto又有不同，区别如下：
    *goto语句不能跳出C语言当前的函数（这也是“longjmp”取名的由来，它可以跳的很远，甚至可以跳到其他文件的函数中）。
    *用longjmp只能跳回到曾经到过的地方。在setjmp的地方仍留有一个过程活动记录。从这个角度讲，longjmp更像是“从何处阿里（come from)“而不是”往哪里去（go to)”。longjmp接受一个额外的整型参数并返回它的值，这可以知道是由longjmp转移到这里的还是从上条语句执行后自然而然来的这里的。
    下面的代码显示了setjmp()和longjmp()一例。
     #include <stdio.h>
     #include <setjmp.h>
     jmp_buf buf;
 
     banana() {
         printf("%s","in banana() \n");
         longjmp(buf,1);
         printf("%s","you will never see this \n");
     }
 
     int main() {
         if(setjmp(buf)) {
             printf("%s","back in main\n");
         }
         else {
             printf("%s","first time throught\n");
             banana();
         }
     }
    输出结果如下：
    first time throught
    in banana()
    back in main
    需要注意的地方是：保证局部变量在longjmp过程中一直保持它的值的唯一可靠方法是把它声明为volatile(这使用于那些值在setjmp执行和longjmp返回之间会改变的变量)
    setjmp/longjmp最大的用途是错误恢复。只要还没有从函数中返回，一旦发现一个不可恢复的错误，可以把控制转移到主输入循环，并从那里重新开始。有些人使用setjmp/longjmp从一串无数的函数调用中立即返回。还有些人用它们防范潜在的危险代码。
    setjmp/longjmp在C++中演变为更普通的异常处理机制"catch"和"throw"。