构造函数存在的问题:
A、构造函数只提供自动初始化成员变量的机会
B、不能保证初始化逻辑必定成功,如申请系统资源可能失败
C、执行return语句后构造函数当即结束
构造函数建立的对象多是半成品对象,半成品对象是合法的对象,可是程序bug的来源之一。所以实际工程开发过程当中使用二阶构造模式。ios
因为构造函数存在的潜在问题,实际工程开发中类对象的构造过程以下:
A、资源无关的初始化操做
资源无关的初始化操做通常不会出现异常的状况
B、系统资源相关的操做
与系统资源有关的操做如堆空间申请,文件访问可能会失败。
二阶构造模式的流程以下:
二阶构造模式可以确保建立的对象都是完整初始化的。因为工程实践中类对象占用的存储空间比较大,通常须要分配在堆空间,所以二阶构造模式构造对象的方式舍弃了构造函数中将对象分配在栈和全局数据区的状况,只保留建立在堆空间的对象的构造。ide
二阶构造模式示例代码:函数
#include <stdio.h> 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; }
#include <iostream> using namespace std; class IntArray { private: IntArray(int len) { m_length = len; } IntArray(const IntArray& obj); bool construct() { bool ret = true; m_pointer = new int[m_length]; if( m_pointer ) { for(int i=0; i<m_length; i++) { m_pointer[i] = 0; } } else { ret = false; } return ret; } public: static IntArray* NewInstance(int length) { IntArray* ret = new IntArray(length); //若是资源申请失败 if( !(ret && ret->construct()) ) { delete ret; ret = 0; } return ret; } int length() { return m_length; } bool get(int index, int& value) { bool ret = (0 <= index) && (index < length()); if( ret ) { value = m_pointer[index]; } return ret; } bool set(int index ,int value) { bool ret = (0 <= index) && (index < length()); if( ret ) { m_pointer[index] = value; } return ret; } ~IntArray() { delete [] m_pointer; } private: int m_length; int* m_pointer; }; int main(int argc, char *argv[]) { IntArray* array = IntArray::NewInstance(5); cout << array->length() << endl; return 0; }