zoukankan      html  css  js  c++  java
  • Stack Unwinding

    Stack unwinding (C++)


    When an exception is thrown and control passes from a try block to a handler, the C++ run time calls destructors for all automatic objects constructed since the beginning of the try block. This process is called stack unwinding. The automatic objects are destroyed in reverse order of their construction. (Automatic objects are local objects that have been declared auto or register, or not declared static or extern. An automatic object x is deleted whenever the program exits the block in which x is declared.)

    If an exception is thrown during construction of an object consisting of subobjects or array elements, destructors are only called for those subobjects or array elements successfully constructed before the exception was thrown. A destructor for a local static object will only be called if the object was successfully constructed.

    If during stack unwinding a destructor throws an exception and that exception is not handled, the terminate() function is called. The following example demonstrates this:

    #include <iostream>
    using namespace std;

    struct E {
    const char* message;
    E(const char* arg) : message(arg) { }
    };

    void my_terminate() {
    cout << "Call to my_terminate" << endl;
    };

    struct A {
    A() { cout << "In constructor of A" << endl; }
    ~A() {
    cout << "In destructor of A" << endl;
    throw E("Exception thrown in ~A()");
    }
    };

    struct B {
    B() { cout << "In constructor of B" << endl; }
    ~B() { cout << "In destructor of B" << endl; }
    };

    int main() {
    set_terminate(my_terminate);

    try {
    cout << "In try block" << endl;
    A a;
    B b;
    throw("Exception thrown in try block of main()");
    }
    catch (const char* e) {
    cout << "Exception: " << e << endl;
    }
    catch (...) {
    cout << "Some exception caught in main()" << endl;
    }

    cout << "Resume execution of main()" << endl;
    }

    The following is the output of the above example:

    In try block
    In constructor of A
    In constructor of B
    In destructor of B
    In destructor of A
    Call to my_terminate

    In the try block, two automatic objects are created: a and b. The try block throws an exception of type const char*. The handler catch (const char* e) catches this exception. The C++ run time unwinds the stack, calling the destructors for a and b in reverse order of their construction. The destructor for a throws an exception. Since there is no handler in the program that can handle this exception, the C++ run time calls terminate(). (The function terminate() calls the function specified as the argument to set_terminate(). In this example, terminate() has been specified to call my_terminate().)

  • 相关阅读:
    转义字符:html、mysql、postgresql、json、php
    php_mysql、php_mysqli 与 pdo_mysql 的区别与选择
    一件小事测试各个搜索引擎:谷歌、bing、有道、百度、搜狗、360
    一键安装lnmp:自动检测最新稳定版、无需root权限
    apache graceful 与 cpu占用率
    互联网创业的准备——版本控制与上线
    201212互联网创意、创业项目整理
    【图】游东天目山
    那些在11gR2中可能惹祸的新特性,一张列表帮助你摆脱升级11gR2带来的烦恼
    【转】卡巴斯基安全公告称甲骨文数据库存在加密漏洞
  • 原文地址:https://www.cnblogs.com/taoxu0903/p/1437561.html
Copyright © 2011-2022 走看看