看一下这段代码，该代码使程序终止而不捕获异常。
#include <iostream>
#include <string>
#include <memory>
#include <stdexcept>
using namespace std;
struct test {
~test() noexcept(false) {
throw runtime_error("-my-cool-exception-");
}
};
int main()
{
try {
auto ptr = unique_ptr<test>(new test());
//test t; // this is ok, without unique_ptr<test> it works fine.
}
catch(exception& e) {
cout << "this is not called, the program is aborted";
cout << e.what() << endl;
}
return 0;
}
这个问题与堆栈溢出问题不同：将异常抛出析构函数。
区别在于仅在使用unique_ptr<test>异常时才捕获该异常。
您可以在此处查看实时代码，进行编辑和编译http://cpp.sh/9sk5m
这是标准要求的。根据unique.ptr.single.dtor，20.10.1.2.2.1：
要求：表达式get_deleter（）（get（））应当格式正确，应具有明确定义的行为，并且不得引发异常。[注意：使用default_delete要求T为完整类型。—尾注]
（强调我的）
因此，实际上，析构函数本身是否具有无关紧要noexcept(false)。禁止在这种情况下抛出–最后的单词。
通常情况就是这样std::-除非另有说明。根据res.on.functions，17.6.4.8.2.4：
特别是在以下情况下，效果是不确定的：[...]如果任何替换函数或处理函数或析构函数操作通过异常退出，除非适用的Required behavior：段中特别允许。
（强调我的）
注意：通常，您可以使用抛出析构函数noexcept(false)。但是，这是非常危险的，因为std::terminate如果堆栈由于抛出异常而正在展开，则会被调用。根据except.ctor，15.2.1：
当控制权从抛出异常的点传递到处理程序时，析构函数由本节中指定的进程调用，该进程称为堆栈展开。如果由堆栈展开直接调用的析构函数异常退出，则调用std :: terminate（[except.terminate]）。[注意：因此，析构函数通常应捕获异常，而不应将其传播到析构函数之外。—尾注]
（强调我的）
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句