C++深入探究二階構造模式的原理與使用
更新時間：2022年04月23日 09:32:01 作者：清風自在 流水潺潺
C++中經常會因為調用系統(tǒng)資源失敗導致出現BUG，所以在類調用構造函數需要分配系統(tǒng)資源時會出現BUG，從而導致類對象雖然被創(chuàng)建，但是只是個半成品，為了避免這種情況需要使用二階構造模式
一、構造函數的回顧
關于構造函數
- 類的構造函數用于對象的初始化
- 構造函數與類同名并且沒有返回值
- 構造函數在對象定義時自動被調用
問題
- 如何判斷構造函數的執(zhí)行結果?
- 在構造函數中執(zhí)行 return 語句會發(fā)生什么？
- 構造函數執(zhí)行結束是否意味著對象構造成功？
下面看一個異常的構造函數：
#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;
}運行結果如下，可以看到，沒有輸出，遇到 return 構造函數就結束了：
構造函數
- 只提供自動初始化成員變量的機會
- 不能保證初始化邏輯一定成功
- 執(zhí)行 return 語句后構造函數立即結束
結論：構造函數能決定的只是對象的初始狀態(tài)，而不是對象的誕生?。?/p>
二、半成品對象
半成品對象的概念
- 初始化操作不能按照預期完成而得到的對象
- 半成品對象是合法的 C++ 對象，也是 Bug 的重要來源
下面來看一個半成品對象的危害：
IntArray.h：
#ifndef _INTARRAY_H_
#define _INTARRAY_H_
class IntArray
{
private:
int m_length;
int* m_pointer;
public:
IntArray(int len);
IntArray(const IntArray& obj);
int length();
bool get(int index, int& value);
bool set(int index ,int value);
~IntArray();
};
#endifIntArray.c：
（注意：m_pointer = 0; //假設 m_pointer 為空指針，用來模擬申請內存失敗的情況）
#include "IntArray.h"
IntArray::IntArray(int len)
{
m_pointer = 0; //假設 m_pointer 為空指針，用來模擬申請內存失敗的情況
if( m_pointer )
{
for(int i=0; i<len; i++)
{
m_pointer[i] = 0;
}
}
m_length = len;
}
IntArray::IntArray(const IntArray& obj)
{
m_length = obj.m_length;
m_pointer = new int[obj.m_length];
for(int i=0; i<obj.m_length; i++)
{
m_pointer[i] = obj.m_pointer[i];
}
}
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;
}main.cpp：
#include <stdio.h>
#include "IntArray.h"
int main()
{
IntArray a(5);
printf("a.length = %d\n", a.length());
a.set(0, 1);
return 0;
}輸出結果如下：
產生段錯誤是因為前面令m_pointer = 0; 模擬內存申請不成功。但是在實際工程中，不是每次申請內存都不成功，所以很難重現，堪稱最難調試的 bug。
三、二階構造
工程開發(fā)中的構造過程可分為
- 資源無關的初始化操作
- 不可能出現異常情況的操作
需要使用系統(tǒng)資源的操作
可能出現異常情況，如：內存申請，訪問文件
二階構造示例一
二階構造示例二
下面初探一下二階構造函數：
#include <stdio.h>
class TwoPhaseCons
{
private:
TwoPhaseCons() // 第一階段構造函數
{
}
bool construct() // 第二階段構造函數
{
return true;
}
public:
static TwoPhaseCons* NewInstance(); // 對象創(chuàng)建函數
};
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;
}運行結果如下，指針的值被打印出來，意味著可以得到一個合法可用的對象，這個對象位于堆空間上：
如果我們就不想用二階構造，自己申請堆空間，如下：
TwoPhaseCons* obj = new NewInstance();
就會報錯，因為構造函數是私有的：
如果第二階段的構造不成功：
bool construct() // 第二階段構造函數
{
return false;
}輸出結果如下，打印結果為空：
所以二階構造的意義就是要么得到一個合法可用的對象，要么返回空。二階構造用于杜絕半成品對象。
所以前面寫的可能產生半成品對象的代碼可以寫成：
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();
};
#endifIntArray.c：
#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;
}main.c：
#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;
}輸出結果如下：
工程里面對象往往是巨大的，因此不適合放在?？臻g，而適合放在堆空間里面，所以二階構造模式對于工程開發(fā)非常有用。
四、小結
- 構造函數只能決定對象的初始化狀態(tài)
- 構造函數中初始化操作的失敗不影響對象的誕生
- 初始化不完全的半成品對象是 Bug 的重要來源
- 二階構造人為的將初始化過程分為兩部分
- 二階構造能夠確保創(chuàng)建的對象都是完整初始化的
到此這篇關于C++深入探究二階構造模式的原理與使用的文章就介紹到這了,更多相關C++二階構造模式內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！
您可能感興趣的文章:
相關文章
這篇文章主要介紹了ipv6實現tcp編程示例,需要的朋友可以參考下2014-03-03
這篇文章主要為大家詳細介紹了epoll多路復用的一個實例程序，文中示例代碼介紹的非常詳細，具有一定的參考價值，感興趣的小伙伴們可以參考一下2022-08-08
死鎖是指多個線程因競爭資源而造成的僵局（互相等待）；有些公共數據修改的機會很少，但其讀的機會很多。并且在讀的過程中會伴隨著查找，給這種代碼加鎖會降低我們的程序效率。讀寫鎖可以解決這個問題；2022-05-05
在本篇文章里小編給大家整理了一篇關于C語言計算余數的圖文步驟內容，有需要的朋友們可以參考下。2020-02-02
C++中，命名空間（namespace）是一個重要的概念。命名空間可以為函數、變量、類等定義作用域，避免與其他定義的名稱發(fā)生沖突。下面我們就來了解一下如何使用C++命名空間，以及一些常見的操作吧2023-04-04
這篇文章主要介紹了詳解C語言中的常量指針和指針常量,包括其之間的區(qū)別是C語言入門學習中的基礎知識,需要的朋友可以參考下2015-08-08
C?語言內存管理指對系統(tǒng)內存的分配、創(chuàng)建、使用這一系列操作。在內存管理中，由于是操作系統(tǒng)內存，使用不當會造成畢竟麻煩的結果。本文將從系統(tǒng)內存的分配、創(chuàng)建出發(fā)，并且使用例子來舉例說明內存管理不當會出現的情況及解決辦法2022-05-05
這篇文章主要為大家詳細介紹了C語言的分支和循環(huán)語句，文中示例代碼介紹的非常詳細，具有一定的參考價值，感興趣的小伙伴們可以參考一下，希望能夠給你帶來幫助2022-02-02
引用是C++引入的新語言特性，是C++常用的一個重要內容之一。在工作中發(fā)現，許多人使用它僅僅是想當然，在某些微妙的場合，很容易出錯，究其原由，大多因為沒有搞清本源。在本篇中將對引用進行詳細討論，希望對大家更好地理解和使用引用起到拋磚引玉的作用2021-06-06
這篇文章主要介紹了C++ 中strcpy標準寫法實例詳解的相關資料,需要的朋友可以參考下2017-06-06