Thinking in C++ 学习笔记[1]

setjmp、longjmp不适合c++的类机制

setjmp和longjmp是c中的库函数，其对应的头文件是<setjmp.h>，在c++中其对应的头文件为<csetjmp>.

setjmp和longjmp为非本地化的goto函数。 首先setjmp()保存了当前程序运行时的状态，当你遇到麻烦的时候， 调用longjmp可以恢复到刚才保存的状态。

但setjmp和longjmp不适合c++， 因为setjmp和longjmp不会调用对象的析构函数。

看下面这个例子：

#include <iostream>

#include <csetjmp>

using namespace std;

class Rainbow {

public:

    Rainbow() {cout << "Rainbow()";}

    virtual ~Rainbow() {cout << "~Rainbow()";}

};

jmp_buf kansas;

void oz() {

    Rainbow r;

    for(int i = 0; i < 3; i++) {

        cout << "there is no place like home" << endl;

    }

    longjmp(kansas, 47);

}

int main() {

    if (setjmp(kansas) == 0) {

        cout << "tornado, witch, munchkins..." << endl;

        oz();

    } else {

        cout << "Auntie em!!!!";

    }

}

程序的运行结果

tornado, witch, munchkins...

Rainbow()

there is no place like home

there is no place like home

there is no place like home

Auntie Em!

可以看到Rainbow对象的析构函数没有被执行， 这是因为setjmp(kansas)的时候， 保存了当前的进程的状态， 包括当前instruction pointer的值和函数栈指针的值。

当调用longjmp，就回到setjmp执行时的状态，此时setjmp返回longjmp的第二个参数，所以对象的析构函数就不会被执行。