C++ – 捕获构造函数初始化列表中出现的异常

1 C++捕获构造函数初始化列表中的异常

1.1 什么是构造函数初始化列表中的异常

简单描述下，现在有一个A类，其中的一个成员变量是B类对象的指针，现在A类是通过初始化列表的方式new了一个B类对象，但是在B类对象构造的时候出现了bad_alloc错误，直接导致程序初始化过程中crash，这个问题非常隐蔽和典型。

1.2 如何捕获异常

针对上面的情况，我们写了一个例子，并且写出了下面的异常捕捉代码，该例子使用-1这个长度初始化一个int数组，这个肯定会crash的，

#include <iostream>

class A
{
public:
    A(int array_length) :m_p_array(new int[array_length])
    {
        try
        {

        }
        catch (...)
        {
            std::cout << "A constructor failed!" << std::endl;
            throw;
        }
    }

    virtual~A()
    {
        if (m_p_array)
        {
            delete[] m_p_array;
        }
    }
private:
    int* m_p_array = nullptr;
};

int main()
{
    A a(-1);

    return 0;
}

现在编译运行！

遗憾的是，程序出现了崩溃，并没有捕捉到初始化列表中的异常。这是因为，在构造函数时，程序是先执行初始化列表进行初始化，之后再执行构造函数块中的代码，但是初始化列表在创建int数组时就引发了异常，而构造函数块里面的try catch是捕捉不到这个异常的。

那么该如何修改？看下面的代码

#include <iostream>

class A
{
public:
    A(int array_length) try :m_p_array(new int[array_length])
    {

    }
    catch (...)
    {
        std::cout << "A constructor failed!" << std::endl;
        throw;
    }

    virtual~ A()
    {
        if (m_p_array)
        {
            delete[] m_p_array;
        }
    }
private:
    int* m_p_array = nullptr;
};

int main()
{
    A a(-1);

    return 0;
}

注意上面try catch的位置和写法，直接使用try包住了构造函数的初始化列表，然后在构造函数外围使用catch捕捉异常。

编译执行，这个初始化列表异常可以被正常捕获了！