二階構(gòu)造模式（二十一）

        我們之前學(xué)習了構(gòu)造函數(shù)，類的構(gòu)造函數(shù)用于對象的初始化。構(gòu)造函數(shù)與類同名并且沒有返回值，構(gòu)造函數(shù)在對象定義時自動被定義。那么我們就思考下：1、如何判斷構(gòu)造函數(shù)的執(zhí)行結(jié)果呢？2、在構(gòu)造函數(shù)中執(zhí)行 return 語句會發(fā)生什么呢？3、構(gòu)造函數(shù)執(zhí)行結(jié)束是否意味著對象構(gòu)造成功呢？

        我們帶著問題來看看下面程序會怎么執(zhí)行

#include <stdio.h>

class Test
{
private:
    int mi;
    int mj;
public:
    Test(int i, int j)
    {
        mi = i;
        
        return;
        
        mj = j;
    }
    int getI()
    {
        return mi;
    }
    int getJ()
    {
        return mj;
    }
};

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

        我們在構(gòu)造函數(shù)中直接 return，看看編譯是否會通過

        我們看到編譯是通過的，但是它的結(jié)果和我們想的不一樣。那么我們會想這返回的是個錯誤的對象，有什么辦法杜絕呢？加個私有的 bool 類型成員變量 mStatus 來判斷下它的狀態(tài)，如果構(gòu)造函數(shù)執(zhí)行完成便將它置為 true，初始化為 false。在 main 函數(shù)中先判斷它的狀態(tài)是否為 true，如果是則執(zhí)行打印。程序如下

#include <stdio.h>

class Test
{
private:
    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;
    }
    bool getStatus()
    {
        return mStatus;
    }
};

int main()
{
    Test t(1, 2);
    
    if( t.getStatus() )
    {
        printf("t.mi = %d\n", t.getI());
        printf("t.mj = %d\n", t.getJ());
    }
    else
    {
        printf("failed to init to t !!!\n");
    }
    
    return 0;
}

        我們看看編譯結(jié)果

        確實是初始化失敗了。關(guān)于構(gòu)造函數(shù)，我們可能不知道的幾個點：1、只提供自動初始化成員變量的機會；2、不能保證初始化邏輯一定成功；3、執(zhí)行 return 語句后構(gòu)造函數(shù)立即結(jié)束。由此可見，構(gòu)造函數(shù)能決定的知識對象的初始化狀態(tài)，而不是對象的誕生！！

        在 C++ 中有半成品的概念，顧名思義就是未初始化完成的對象。半成品對象是合法的 C++ 對象，也是 Bug 的重要來源之一。在我們之前創(chuàng)建的數(shù)組類中，如果在構(gòu)造函數(shù)中申請數(shù)組大小得不到成功執(zhí)行，那么就會莫名的得到段錯誤。但是它是不確定的，一般而言，這種情況很少，所以也就很不好調(diào)試。

        那么依據(jù)工程經(jīng)驗，這時我們便可將構(gòu)造過程分為：與資源無關(guān)的初始化操作，也就是不可能出現(xiàn)異常情況的操作；還有就是需要使用系統(tǒng)資源的操作，可能出現(xiàn)異常情況，如：內(nèi)存申請，訪問文件等。下面我們以一幅圖來說明二階構(gòu)造的順序

        那么我們可以看出如果在進行系統(tǒng)資源申請操作時出錯，我們便刪除半成品對象，返回 NULL。這樣我們便可以避免這類的 Bug。下來我們以代碼為例進行分析說明

#include <stdio.h>

class TowPhassCons
{
private:
    TowPhassCons()    // 第一階段構(gòu)造函數(shù)
    {
    }
    bool construct()  // 第二階段構(gòu)造函數(shù)
    {
        return true;
    }
public:
    static TowPhassCons* NewInstance(); // 對象創(chuàng)建函數(shù)
};

TowPhassCons* TowPhassCons::NewInstance()
{
    TowPhassCons* ret = new TowPhassCons();
    
    // 若第二階段構(gòu)造失敗，返回 NULL
    if( !(ret && ret->construct()) )
    {
        delete ret;
        
        ret = NULL;
    }
    
    return ret;
}

int main()
{
    TowPhassCons obj;
//    TowPhassCons obj = new TowPhassCons();
/*    TowPhassCons* obj = TowPhassCons::NewInstance();
    
    printf("obj = %p\n", obj);
    
    delete obj;
*/    
    return 0;
}

        我們先來這樣試試平時我們直接創(chuàng)建對象的方法，看看編譯可以通過嗎

        它說構(gòu)造函數(shù)是個私有函數(shù)，我們不能直接調(diào)用。再來試試第 35 行那樣的創(chuàng)建對象呢

        還是報一樣的錯誤。那么我們再來試試最后一種，調(diào)用二階構(gòu)造函數(shù)

        那么編譯是通過的。如果我們試試在 construct 函數(shù)中直接返回 false 呢

        那么對象 obj 就會指向為空。下來我們就是用二階構(gòu)造的思想來加強下我們之前所寫的數(shù)組類

IntArray.h 源碼

#ifndef _INTARRAY_H_
#define _INTARRAY_H_

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

#endif

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

test.cpp 源碼

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

int main()
{
    IntArray* a = IntArray::NewInstance(5);
    
    printf("a.length = %d\n", a->length());
    
    for(int i=0; i<a->length(); i++)
    {
        a->set(i, i+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;
}

        我們編譯下，看看結(jié)果

        結(jié)果和我們所想的是一樣的。通過對二階構(gòu)造的學(xué)習，總結(jié)如下：1、構(gòu)造函數(shù)只能決定對象的初始化狀態(tài)，構(gòu)造函數(shù)中初始化操作的失敗并不影響對象的誕生；2、初始化不完全的半成品對象是 Bug 的重要來源；3、二階構(gòu)造人為的將初始化過程分為兩部分，它能確保創(chuàng)建的對象都是完整初始化的。

        歡迎大家一起來學(xué)習 C++ 語言，可以加我QQ：243343083。