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。
