C++异常实现与longjmp, setjmp，栈指针EBP, Active Record

参考链接： C++ longjmp()和setjmp()

这篇讲的不错： 

 http://blog.csdn.net/smstong/article/details/50728022 

 首先Active Record 

 然后EBP，ESP等指针 

 2 通过setjmp和longjmp操纵AR，完成任意跳转 

 setjmp/longjmp主要从嵌套的函数调用中跳出来。 

  #include <stdio.h>

#include <setjmp.h>

jmp_buf jb;

void a();

void b();

void c();

int main()

{

    if(setjmp(jb)==0){

        a();

    }

    printf("after a(); \n");

    return 0;

}

void a()

{

    b();

    printf("a() is called\n");

}

void b()

{

    c();

    printf("b() is called\n");

}

void c()

{

    printf("c() is called\n");

    longjmp(jb, 1);

} 

 3 C语言中模拟异常处理 

 为了统一处理错误，C++，C#，Java等现代语言引入了异常处理机制。C里面模拟异常的代码大概如下： 

  #include <stdio.h>

#include <stdlib.h>

#include <setjmp.h>

jmp_buf jb;

void f1()

{

    printf("进入f1()\n");

    if(0/*正确执行*/){ }

    else {

        longjmp(jb,1);

    }

    printf("退出f1()\n");

}

void f2()

{

    printf("进入f2()\n");

    if(1/*正确执行*/) {  }

    else {

        longjmp(jb, 2);

    }

    printf("退出f2()\n");

}

int main()

{

    int r = setjmp(jb);

    if(r==0){

        f1();

        f2();

    }else if(r==1){

        printf("处理错误1\n");

        exit(1);

    }else if(r==2){

        printf("处理错误2\n");

        exit(2);

    }

    return 0;

} 

 可以推测， 

 throw要负责两件事情：（1）完成跳转；（2）恢复堆栈AR；try则负责保存当前AR

 4 不要在C++中使用setjmp和longjmp 

 因为，longjmp的时候，不保证局部对象析构函数的调用。 

 longjmp()跳转前局部对象可能并不会析构（g++），也可能析构（VC++），C++标准对此并无明确要求。这种依赖于具体编译器版本的代码是应该避免的。 

 而C++本身的throw关键字，却能严格保证局部对象构造和析构的成对调用。 

 5 辩证看待异常处理 

 已经存在大量没有严格使用异常处理C++函数库和类库，兼容的C库更是没有异常的概念，历史的包袱让C++很难完全采用异常处理。在这个方面，Java和C#从头开始，重要的库都实现了标准的异常处理规范，完全采用异常机制切实可行。 

 有趣的是C++11在标准中删除了异常规范，而且添加了 noexcept关键字来声明一个函数不会抛出异常，可见异常并不是那么受欢迎。 

 然而，C++的STL广泛使用异常，所以实际上使用了STL的C++程序是不可能禁用异常的，要是没有了STL，C++又有什么优势了呢？C++在不断的矛盾冲突中向前发展者。 

转载于:https://www.cnblogs.com/charlesblc/p/6500961.html