引用捕获异常时未创建临时对象？

Question

class Error1
{

public:

int errorcode;
Error1(int x):errorcode(x){ cout<<"CTOR Error1"<<endl; }
//Error1(Error1& obj ){
//    errorcode = obj.errorcode;
//    cout<<"CopyCTOR Error1"<<endl;
//}
~Error1(){cout<<"DTOR Error1"<<endl; }
};

void fun()
{
cout<<"Inside fun"<<endl;
throw(Error1(5));
}

int main()
{
try{

    fun();
}
catch(Error1& eobj)
{
    cout<<"Error1 type occured with code:"<<eobj.errorcode<<endl;
}
cin.get();

}

输出：

Inside fun

CTOR Error1

DTOR Error1

Error1 type occured with code:5

DTOR Error1

此输出表明 Error1 对象是为 catch 处理程序复制构造的。由于没有为 Error1 对象定义复制构造函数，因此使用了默认复制构造函数。

当我取消注释用于定义复制构造函数的注释部分时，我得到以下输出。

Inside fun

CTOR Error1

Error1 type occured with code:5

DTOR Error1

为什么只有一个 DTOR 被调用？即使异常被引用捕获，我相信仍然会创建一个临时的。

Answer 1

你用的是什么编译器？

当您使用 Error1& obj 参数引入（即取消注释）您的复制构造函数版本时，代码应该变得无效。 throw 应该能够创建其参数的副本，而您的复制构造函数版本会禁用临时对象的复制。代码格式不正确。如果您的编译器接受它，可能是因为它非法允许绑定非常量引用到临时对象（我怀疑它是启用了扩展的 MSVC++ 编译器）。

原始实验按预期/允许的方式进行。 throw 的参数被复制到一个内部临时文件，稍后用于初始化catch 参数。虽然允许编译器直接使用你原来的临时文件，但相应地延长了它的生命周期。

Answer 2

可能还有其他错误，但我现在看到的是throw(Error1(5)); 创建了一个Error1 类型的临时（或rvalue）。你想要一个lvalue，这意味着你应该要么做throw(*new Error1(5));（我相信这会造成内存泄漏，但我可能错了），或者你可以创建一个全局Error1对象然后扔掉它。

PS：如果有人想发表评论，我很想知道throw(*new Error1(5)); 是否会造成内存泄漏。 catch 会破坏它捕获的对象吗？如果是这样，我认为您应该可以在需要时创建新的Error1s。