1. 构造函数分析
构造函数决定的只是对象的初始化,而不是完整对象产生,所以,初始化操作不能按照预期完成而得到的对象,就会产生一个不完整的对象(即半成品对象),半成品对象是合法的的对象,但是不能使用,也是bug的重要来源。
对于构造函数而言:
(1).只提供自动初始化成员变量的机会
(2).不能保证初始化逻辑一定成功
(3).执行return语句后构造函数立即结束
2. 避免半成品对象的产生
工程开发中的构造过程分为:
(1)、资源无关的初始化操作:不会出现异常情况的操作
(2)、需要使用系统资源的操作:可能出现异常情况,如:内存申请,访问文件,访问网络、打开设备等等
解决方案:二阶构造
二阶构造的结果:
要么返回一个完整的对象,要么返回空(NULL),绝对不会产生半成品对象。
class TwoPhaseCons
{
private:
TwoPhaseCons() // 第一阶段构造函数
{
//初始化与资源无关的操作
}
bool construct() // 第二阶段构造函数
{
//初始化与使用资源有关的操作
return true;
}
public:
static TwoPhaseCons* NewInstance(); // 对象创建函数
};
TwoPhaseCons* TwoPhaseCons::NewInstance()
{
TwoPhaseCons* ret = new TwoPhaseCons();
// 若第二阶段构造失败,返回 NULL
if( !(ret && ret->construct()) )
{
delete ret;
ret = NULL;
}
return ret;
}
int main()
{
TwoPhaseCons* obj = TwoPhaseCons::NewInstance();
printf("obj = %p\n", obj);
delete obj;
return 0;
}
结论:有效的解决了半成品对象的产生,减少了bug的来源