7

我对以下代码有疑问。可以看到我已经在 C 的构造函数中处理了 A 的构造函数抛出的异常，为什么还要费心在 main 函数中再次捕获和处理异常呢？

#include <iostream>

class WException : public std::exception
{
public:
    WException( const char* info ) : std::exception(info){}
};

class A
{
public:
    A( int a ) : a(a) 
    {
        std::cout << "A's constructor run." << std::endl;
        throw WException("A constructor throw exception.");
    }

private:
    int a;
};

class B
{
public:
    B( int b ) : b(b) 
    {
        std::cout << "B's constructor body run." << std::endl;
        throw WException("B constructor throw exception");
    }

private:
    int b;
};

class C : public A, public B
{
public:
    C( int a, int b ) try : A(a), B(b)
    {
        std::cout << "C's constructor run." << std::endl;
    }
    catch( const WException& e )
    {
        std::cerr << "In C's constructor" << e.what() << std::endl;
    }
};

int main( int argc, char* argv[] )
{
    try
    {
        C c( 10, 100 );
    }
    catch( const WException& e )
    {
        std::cerr << "In the main: " << e.what() << std::endl;
    }   

    return 0;
}
4

1 回答 1

16

您实际上无法在构造函数中捕获异常。您可以处理它，但您必须重新抛出它或其他异常。原因是关于对象完整性和对象生命周期：

如果构造athrows，则一部分c尚未初始化并完全丢失 - 生命周期a永远不会开始。a不是 的可选部分C，否则它必须是指针或 a std::optional（从 C++14 开始 -boost::optional在此之前）。

C那么，如果其中一个重要部件无法构建，您将如何组装呢？你不能。c永远不可能作为一个完整的对象存在，所以你无法正常退出构造函数。这就是为什么如果成员对象的构造失败，整个对象的构造必须失败，即必须抛出异常。

如果你没有在 's catch 块中抛出异常C::C，编译器会为你这样做。

C++ 标准，§15.3,15：

如果控制到达构造函数或析构函数的函数尝试块的处理程序的末尾，则重新抛出当前处理的异常。

有关该主题的更广泛处理，请参阅http://www.gotw.ca/gotw/066.htm

于 2013-07-10T06:53:11.207 回答