C++:抛出异常调用复制构造函数？

Question

我们有一个自定义错误类，每当我们抛出异常时都会使用它:

class AFX_CLASS_EXPORT CCLAError : public CObject

它定义了以下复制构造函数:

CCLAError(const CCLAError& src) { AssignCopy(&src); } // (AssignCopy is a custom function)

它最初是用 MSVC6 (Visual Studio 2003) 编写和编译/链接的。我正在进行必要的更改以使其针对 MSVC8+ (VS 2008+) 进行编译和链接

调用 msvc8 链接器时，出现以下错误:

LNK2001: unresolved external symbol "private: __thiscall CObject::CObject(class CObject const &)" (??0CObject@@AAE@ABV0@@Z)

我明白错误告诉我的是什么:没有为 CObject 的某些子级定义复制构造函数，因此它一直沿着继承树向上移动，直到它遇到 CObject，因为没有定义复制构造函数。

我第一次看到错误是在编译定义并首先抛出 CCLAError 的库时，这就是为什么我继续处理的原因，就好像那是原因一样。

我能够通过更改来解决错误

throw CCLAError( ... )

到

throw new CCLAError( ... )

和

catch(CCLAError& e)
{
   throw e;
}

到

catch(CCLAError& e)
{
   throw;
}

但是，我不明白为什么重新抛出捕获的异常会调用复制构造函数。我错过了一些非常明显的东西吗？随后，为什么删除持有对捕获的异常的引用的变量会导致不调用复制构造函数？

Answer 1

throw 对象的类型必须是可复制的，因为 throw 表达式可能会复制它的参数(复制可能会被省略，或者在 C++11 中可能会发生移动，但是复制构造函数必须仍然可以访问和调用)。

使用 throw; 重新抛出异常不会创建任何拷贝。使用 throw e; 抛出捕获的异常对象将导致生成 e 的拷贝。这与重新抛出异常不同。

您的“更新”代码无法按预期工作。 catch (CCLAError&)不会捕获类型为CCLAError*的异常，这是throw new CCLAError(...);<抛出的异常类型。您需要捕获 CCLAError*。但是不要这样做。按值抛出异常并按引用捕获。所有异常类型都应该是可复制的。