二阶构造模式

关于构造函数

类的构造函数用于对象的初始化

构造函数与类同名并且没有返回值

构造函数在对象定义时自动被调用

问题

1、如何判断构造函数的执行结果？

2、在构造函数中执行 return 语句会发生什么？

3、构造函数执行结束是否意味着对象构造成功？

异常的构造函数

#include <stdio.h>

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;
    }
};

int main()
{  
    Test t1(1, 2);
    
    if( t1.status() )
    {
        printf("t1.mi = %d\n", t1.getI());
        printf("t1.mj = %d\n", t1.getJ());
    
    }
    
    return 0;
}

第 13 行，构造函数还没执行完成，我们手动调用 return 返回，这个时候对象能被构造出来，但是对象内部的状态是不确定的，针对构造函数可能不会正常执行完成的情况下，我们可以增加一个变量来判断构造函数是否正常执行完成，在这里是 mStatus，在使用对象时，需要根据这个变量来判断对象是否正确被构造

程序执行结果如下图所示：

因为 t1 没有被正常构造出来，所以 mStatus 的值为 false，我们不能使用这个对象

使用这种办法来确定对象是否构造成功对使用者来说并不好，我们要寻求一种更好的办法

构造函数

只提供自动初始化成员变量的机会

不能保证初始化逻辑一定成功

执行完 return 语句后，构造函数立即结束

半成品对象的概念

初始化操作不能按照预期完成而得到的对象

半成品对象是合法的 C++ 对象，也是 Bug 的主要来源

工程开发中的构造过程可分为

资源无关的初始化操作

• 不可能出现异常情况的操作

需要使用系统资源的操作

• 可能出现异常情况，如：内存申请，访问文件

二阶构造示例一

二阶构造示例二

  

二阶构造示例

#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;
}

将构造函数的访问权限设置为 private，这样在外部构造对象只能通过 NewInstance() 接口，并且对象是在堆上创建的，需要手动释放它所占用的内存，通过它的返回值来判断对象是否构造成功，这样能确保生成的类对象是完整被构造出来的，不是一个半成品

数组类的加强

IntArray.cpp

#include "IntArray.h"

IntArray::IntArray(int len)
{
    m_length = len;
}

bool IntArray::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;
}

IntArray* IntArray::NewInstance(int length) 
{
    IntArray* ret = new IntArray(length);
    
    if( !(ret && ret->construct()) ) 
    {
        delete ret;
        ret = 0;
    }
        
    return ret;
}

int IntArray::length()
{
    return m_length;
}

bool IntArray::get(int index, int& value)
{
    bool ret = (0 <= index) && (index < length());
    
    if( ret )
    {
        value = m_pointer[index];
    }
    
    return ret;
}

bool IntArray::set(int index, int value)
{
    bool ret = (0 <= index) && (index < length());
    
    if( ret )
    {
        m_pointer[index] = value;
    }
    
    return ret;
}

IntArray::~IntArray()
{
    delete[]m_pointer;
}

IntArray.h

#ifndef _INTARRAY_H_
#define _INTARRAY_H_

class IntArray
{
private:
    int m_length;
    int* m_pointer;
    
    IntArray(int len);
    IntArray(const IntArray& obj);
    bool construct();
public:
    static IntArray* NewInstance(int length); 
    int length();
    bool get(int index, int& value);
    bool set(int index ,int value);
    ~IntArray();
};

#endif

main.cpp

#include <stdio.h>
#include "IntArray.h"

int main()
{
    IntArray* a = IntArray::NewInstance(5);    
    
    printf("a.length = %d\n", a->length());
    
    a->set(0, 1);
    
    for(int i=0; i<a->length(); i++)
    {
        int v = 0;
        
        a->get(i, v);
        
        printf("a[%d] = %d\n", i, v);
    }
    
    delete a;
    
    return 0;
}

因为 new 操作可能会失败，所以我们把 new 操作放在第二阶段的构造中，IntArray 这个类的拷贝构造函数只有声明，没有实现，则表示这个类不支持拷贝构造

程序运行结果如下图所示：

 

小结

构造函数只能决定对象的初始化状态

构造函数中初始化操作的失败不影响对象的诞生

初始化不完全的半成品对象是 Bug 的重要来源

二阶构造人为的将初始化过程分为两部分

二阶构造能够确保创建的对象都是完整初始化的