静态变量构造函数/析构函数的异常

Question

嗨，我在网上的教程中找到了这一行。

当您声明静态对象并且析构函数引发异常时会发生什么？
与静态构造函数异常一样，应用程序将崩溃。

我无法理解对象是否为静态有什么区别...

谢谢

Answer 1

我不确定是否要询问抛出异常的构造函数或析构函数-问题语句引用的是析构函数，但是示例代码和某些注释涉及的是构造函数。

对于抛出的构造函数，取决于静态对象是本地对象还是全局对象。 本地静态对象是在控件第一次通过定义它们的作用域时构造的，并且异常处理程序应针对它们正常运行。 全局静态对象是在程序进入main()之前构造的； 由于无法在全局范围内使用try-catch块，因此，如果抛出全局静态对象的构造函数，则基本上意味着您的应用程序在退出启动之前就崩溃了。

对于析构函数，通常来说，可能引发异常的析构函数会带来严重的问题。 香草萨特详细介绍了为何在他的伟大著作“例外C ++”，这是可以在这里对谷歌图书。 基本上，如果析构函数可以引发异常，则几乎不可能编写异常安全代码。 考虑以下示例。

class T
{
    T() {}
    ~T() { throw 5; }
};

void foo()
{
    T t;
    throw 10;
}

当foo()到达throw 10; 语句，控制将退出foo()的上下文，从而破坏进程中的本地对象t 。 这将调用t的析构函数，它试图引发另一个异常。 在C ++中，不可能同时引发两个异常。 如果这样抛出第二个异常，程序将调用内置函数terminate() ，它听起来像并终止程序（您可以将自己的函数设置为调用，而不是使用set_terminate ，但这主要是为了执行自定义清理-您不能更改函数完成后程序结束的事实。

避免这种情况的方法是确保析构函数从不抛出异常。 静态对象可能无关紧要，因为正如celtschk所指出的那样，直到程序终止之前都不会调用析构函数，但是作为一般规则，如果您发现自己编写了一个带有可能抛出异常的析构函数的类，则应该请仔细考虑这是否真的是最好的方法。