为什么将异常的析构函数调用两次？

TiPo 发表于 Dev

类型

我有以下程序：

#include <iostream>
#include <stdexcept>
#include <string>

using namespace std;

class MyError : public runtime_error
{
    public:
        MyError(string mess = "");
        ~MyError(void);
    };

    MyError::MyError(string mess) : runtime_error(mess)
    {
        cout << "MyError::MyError()\n";
    }

    MyError::~MyError(void)
    {
        cout << "MyError::~MyError\n";
    }


int main(void)
{
    try {
        throw MyError("hi");
    }
    catch (MyError& exc) {
        cout << exc.what() << endl;
    }

    cout << "goodbye\n";
    return 0;
}

打印以下内容：

MyError::MyError()
MyError::~MyError
hi
MyError::~MyError
goodbye

为什么异常的析构函数（〜MyError（））被调用两次？

我以为throw创建了一个新对象，但是我不明白为什么要调用类析构函数。

Angew不再为SO感到骄傲

如果您检测异常的复制或移动构造函数，则会发现该异常在处理程序之前被调用一次。有一个临时的异常对象，将抛出的表达式复制/移动到其中，并且处理程序中的引用将绑定到该异常对象。C ++ 14 15.1 / 3 +

因此，由您的代码产生的执行看起来像这样（伪C ++）：

// throw MyError("hi"); expands to:
auto tmp1 = MyError("hi");
auto exceptionObject = std::move(tmp1);
tmp1.~MyError();
goto catch;

// catch expands to:
MyError& exc = exceptionObject;
cout << exc.what() << endl;

// } of catch handler expands to:
exceptionObject.~MyError();

// normal code follows:
cout << "goodbye\n";

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。