C++之setjmp和longjmp不能处理C++的异常（8）---《More Effective C++》

setjmp和longjmp是非局部性跳转语句：非局部指的是，这并不类似于普通C语言的goto语句，语句在一个函数内进行跳转，而是在栈上进行跳转，可能跳过很多调用帧，然后返回到当前函数调用路径上的某个函数中去。

使用setjmp和longjmp需要注意的地方：
1）setjmp和longjmp结合使用，有其相应的调用顺序，setjmp在前，longjmp在后，以便可以恢复到先前被保存的“程序执行点”；如果将其顺序颠倒将使得程序的执行变得无法预测，非常容易使得程序崩溃退出；
2）longjmp不仅需要在setjmp调用之后，而且还必须在setjmp的作用域内，其实这个机制的内部是这样实现的：setjmp函数将发生调用的局部环境保存在一个jmp_buf的内存结构中，由于主调函数中对应的内存没有释放，直到函数返回时局部内存就会失效，那么调用longjmp的时候可以根据jmp_buf参数恢复到setjmp的地方然后跳转到setjmp的下一条语句执行，注意setjmp第一次运行的时候返回值为0。

现在我们看看如下例子来了解setjmp和longjmp的运行机制：

#include <iostream>#include <string>#include <csetjmp>using namespace std;static jmp_buf buf;void weiwei(){    cout << "weiwei,you're the only one girl that I have seen who's eyes have all the world I want to live!"<<endl;    longjmp(buf, 1);}void Love(){    weiwei();    cout << "I love U,无论多久我等你" << endl;}int main(){    int i = 0;    setjmp(buf);    Love();    cout << endl;    return 0;}

运行结果：

可以判断这段longjmp调用的时候的确跳转到setjmp的后一条语句执行的，由于我们程序中写的是死循环，所以将一直死循环下去。

现在，我们看看为什么不能在C++中利用setjmp和longjmp进行异常处理呢？先来看看如下代码：
1）在longjmp同一个函数作用域中的前面添加类对象：

#include <iostream>#include <string>#include <csetjmp>using namespace std;class MyWeiWei{private:    string name;public:    MyWeiWei(){    }    MyWeiWei(string name) :name(name){        cout << "我是:" << name << "，还望大家多多关照！" << endl;    }    void show(){        cout << name << endl;    }    ~MyWeiWei(){        cout << "先下线了，吃饭去了~~~" << endl;    }};jmp_buf buf;void weiwei(){    MyWeiWei myWeiWei("现充学妹");    longjmp(buf, 1);}void Love(){    weiwei();}int main(){    int i=setjmp(buf);    if (i == 0){        Love();    }    cout << "那我等你上线啦！！！" << endl;    return 0;}

运行结果：

2）和第一种情况等价，换种形式：

#include <iostream>#include <string>#include <csetjmp>using namespace std;class MyWeiWei{private:    string name;public:    MyWeiWei(){    }    MyWeiWei(string name) :name(name){        cout << "我是:" << name << "，还望大家多多关照！" << endl;    }    void show(){        cout << name << endl;    }    ~MyWeiWei(){        cout << "先下线了，吃饭去了~~~" << endl;    }};jmp_buf buf;void weiwei(){    longjmp(buf, 1);}void Love(){    MyWeiWei myWeiWei("现充学妹");    weiwei();}int main(){    int i=setjmp(buf);    if (i == 0){        //Love();        MyWeiWei myWeiWei("现充学妹");        longjmp(buf,1);    }    cout << "那我等你上线啦！！！" << endl;    return 0;}

运行结果：

3）与longjmp不在同一个函数作用域内：

#include <iostream>#include <string>#include <csetjmp>using namespace std;class MyWeiWei{private:    string name;public:    MyWeiWei(){    }    MyWeiWei(string name) :name(name){        cout << "我是:" << name << "，还望大家多多关照！" << endl;    }    void show(){        cout << name << endl;    }    ~MyWeiWei(){        cout << "先下线了，吃饭去了~~~" << endl;    }};jmp_buf buf;void weiwei(){    longjmp(buf, 1);}void Love(){    MyWeiWei myWeiWei("现充学妹");    weiwei();}int main(){    int i = setjmp(buf);    if (i == 0){        Love();    }    else{        cout<<i<<endl;    }    cout << "那我等你上线啦！！！" << endl;    return 0;}

运行结果：

通过这三种对比，我们可以发现，的确setjmp和longjmp不适合处理C++的异常，因为这样有时会使得C++创建的对象的析构函数无法执行。

PS：
int setjmp(jmp_buf env);//返回值，若直接调用返回0，若从longjmp调用返回longjmp中的val值；
void longjmp(jmp_buf env,int val);//调用longjmp返回到setjmp所在的地方，执行setjmp的后一条语句，val值将变成setjmp的返回值，这点在上面程序(3)中得以证明，第二个val的存在是因为对于一个setjmp语句可以有多个longjmp。