如果在构造函数中抛出了一个异常,那么需要确保抛出异常前申请的资源能够被释放。这里不能期待析构函数来帮忙释放资源。因为面对尚未完全构造好的对象,C++拒绝调用其析构函数。因为析构函数不知道如果去析构,哪些成员已经构造好需要析构,哪些没有构造好不需要析构。如果需要使析构函数有这个能力,又会导致构造函数臃肿不堪,同时会降低构造函数的速度与效率,使每一个对象更加庞大。
由于C++不自动清理那些"构造期间抛出exceptions"的对象,所以必须重新设计构造函数,使它能够觉醒自我清理。通常这只需要将所有可能的exception捕捉起来,执行某种清理工作,然后重新抛出exception,使他继续传播出去即可。
更好的解决办法是使用智能指针,将申请的资源用智能指针进行包裹,在构造函数中抛出异常。不用特殊处理,它就能够保证申请的资源一定能够被释放,同时不增加任何代码。
处理"构造过着中可能发生的exceptions",相当棘手。但是智能指针可以消除大部分工作,使用它们,能够让代码更容器理解,也使程序在面对exceptions时更健壮。