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

Question

您好，我在网络教程中找到了这一行。

What happens when you declare a static object and the destructor throws and exception?
As with static constructor exceptions the application will crash.

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

谢谢

Answer 1

我不确定您问的是构造函数还是析构函数会抛出异常 - 问题陈述指的是析构函数，但示例代码和一些注释指的是构造函数。

关于抛出的构造函数，这取决于静态对象是局部的还是全局的。局部静态对象是在第一次控制通过它们定义的范围时构造的，异常处理程序应该对它们正常运行。全局静态对象在程序进入main()之前构造；因为您不能在全局范围内使用 try-catch block ，所以如果全局静态对象的构造函数抛出异常，这基本上意味着您的应用程序在它走出起点之前就崩溃了。

至于析构函数，一般来说，可以抛出异常的析构函数会产生严重的问题。 Herb Sutter 在他的名著“Exceptional C++”中详细说明了原因，该书现已出版 here在谷歌图书上。基本上，如果析构函数可以抛出异常，则几乎不可能编写异常安全代码。考虑以下示例。

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

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

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

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