要想处理构造函数初始值抛出的异常,我们必须将构造函数写成函数try语句块(function try block)的形式。函数try语句块使得一组catch语句既能处理构造函数体(或析构函数体),也能处理构造函数的初始化过程(或析构函数的析构过程)。
template <typename T>
Blob<T>::Blob(std::initializer_list il) try :
data(std::make_shared<std::vector<T>>(il))
{}
catch (const std::bad_alloc& e)
{
hand_out_of_memory(e);
}
在初始化构造函数的参数时也可能发生异常,这样的异常不属于函数try语句块的一部分。函数try语句块只能处理构造函数开始执行后发生的异常。
处理构造函数初始值异常的唯一方法是将构造函数写成函数try语句块。