C++中的二阶构造模式

构造函数回顾


  • 关于构造函数的回顾
    • 类的构造函数用于对象的初始化
    • 构造函数与类同名并且没有返回值
    • 构造函数在对象定义时自动被调用

但是有没有发现,还是存在一些问题?

: 1、如何判断构造函数的执行结果呢?
: 2、在构造函数中执行return 语句会发生什么?
: 3、构造函数执行结束是否意味着对象构造成功?

就像这样:

class Test
{
    int mi;
    int mj;
    bool mStatus;
public:
    Test(int i, int j) : mStatus(false)
    {
        mi = i;
        
        //这里直接返回,会造成其他的成员变量没有赋值成功
        return;
        
        mj = j;
        
        mStatus = true;
    }
    int getI()
    {
        return mi;
    }
    int getJ()
    {
        return mj;
    }
    int status()
    {
        return mStatus;
    }
};

构造函数的特性:

  • 只提供自动初始化成员变量的机会
  • 不能保证初始化逻辑一定成功
  • 执行return 语句后构造函数立即结束

所以当初始化操作不能按照预期完成而得到的对象称为半成品对象,它是合法的C++对象,也是BUG的重要来源。

二阶构造


此时就引出来另外一个概念: 二阶构造

  • 工程开发中的构造过程可分为:
    • 资源无关的初始化操作
      • 不可能出现异常情况的操作
    • 需要使用系统资源的操作
      • 可能出现异常,如:内存申请,访问文件
st=>start: 创建对象
e=>end: 结束
op1=>operation: 资源无关初始操作
op2=>operation: 系统资源申请操作
cond=>condition: 资源申请成功?
op3=>operation: 删除半成品对象
op4=>operation: 返回NULL
op5=>operation: 返回对象

st->op1->op2->cond
cond(no)->op3->op4->e
cond(yes)->op5->e
  • 二阶构造示例一
class TwoPhaseCons{
    private:
        
        //第一阶段构造函数
        TwoPhaseCons(){
        
        }
        
        //第二阶段构造函数
        bool construce(){
            return true;
        }
    public:
    
        //对象创建函数
        static TwoPhaseCons* NewInstance();
};

TwoPhaseCons* TwoPhaseCons:: NewInstance(){

    TwoPhaseCons* ret = new TwoPhaseCons();
    
    if(!(ret && ret->construct())){
    
        delete ret;
        
        ret = NULL;
    }
    
    return ret;
}

小结

  • 构造函数只能决定对象的初始化状态
  • 构造函数中初始化操作的失败不影响对象的诞生
  • 初始化不完全的半成品对象是bug的重要来源
  • 二阶构造人为的将初始化过程分为两部分
  • 二阶构造能够确保创建的对象都是完成初始化的
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容