为什么需要二阶构造?
- 构造函数只能保证对象构造时被调用,不能保证一定构造成功(可能中途意外退出,此时访问系统资源的操作如"内存分配"假如没有完成,则得到合法的半成品对象);
- 构造函数没有返回值,外部无法判断对象是否构造成功(半成品对象存在安全隐患);
如何实现?
- 将构造函数(一阶构造)设为
private
,此时无法在类外创建对象; - 创建构造接口函数,设置为
static
静态成员函数,调用private
构造函数(一阶构造)和二阶构造函数,资源申请成功时返回指针,否则返回NULL; - 创建二阶构造函数,设置为
private
,供一阶构造函数调用,二阶构造函数中执行申请系统资源的操作。
#include <iostream>
using namespace std;
class SecondOrder
{
private:
char* m_char;
int m_data;
// 第一阶段构造,进行和分配资源无关的操作,构造函数SecondOrder()为私有,因此外部只能通过静态成员函数创建对象
SecondOrder()
{
m_data = 0;
}
// 第二阶段构造,进行系统资源申请
bool construct()
{
m_char = new char('A');
if( NULL == m_char )
{
return false;
}
return true;
}
public:
// 外部创建对象接口,static函数不依赖于任一对象,因此可在未创建对象前使用
static SecondOrder* NewInstance()
{
SecondOrder* ret = new SecondOrder();
// 短路法则,一假即假,两个阶段任一阶段构造失败即返回NULL
if( !(ret && ret->construct()) )
{
delete ret;
ret = NULL;
}
return ret;
}
void get()
{
cout << "m_char = " << *m_char << endl;
cout << "m_data = " << m_data << endl;
}
~SecondOrder()
{
delete m_char;
m_char = NULL;
}
};
int main(void)
{
SecondOrder *obj = SecondOrder::NewInstance();
// 创建对象不为NULL,进行下一步操作
if( NULL != obj)
{
cout << "对象构造成功!" << endl;
obj->get();
}
else
{
cout << "obj == NULL" <<endl;
}
delete obj;
return 0;
}
运行:
对象构造成功!
m_char = A
m_data = 0
关键点
- 想在对象创建时判断返回值,显然构造函数不满足要求(构造函数没有返回值);
- 也不能调用普通公有成员函数来构造对象,因为普通公有成员函数依赖于对象(得先有对象,禁止套娃^^);
- 类的公有静态成员函数(public static 函数)既满足返回值的要求,也不依赖于对象(类所有);
- 使用了二阶构造就要避免使用时不按规则创建,因此将类的构造函数设为
private
; - 在使用二阶构造法创建对象时,通过返回值是否为空判断对象是否构造成功即可。
参考
[1] 狄泰软件学院 - C++深度解析教程 - 第27课
[2] C++中什么是二阶构造