C++二阶构造模式的原理是什么与怎么使用

这篇文章主要介绍了C++二阶构造模式的原理是什么与怎么使用的相关知识，内容详细易懂，操作简单快捷，具有一定借鉴价值，相信大家阅读完这篇C++二阶构造模式的原理是什么与怎么使用文章都会有所收获，下面我们一起来看看吧。

一、构造函数的回顾

关于构造函数

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

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

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

问题

• 如何判断构造函数的执行结果?

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

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

下面看一个异常的构造函数：

#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 构造函数就结束了：

构造函数

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

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

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

结论：构造函数能决定的只是对象的初始状态，而不是对象的诞生！！

二、半成品对象

半成品对象的概念

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

• 半成品对象是合法的 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();};#endif

IntArray.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。

三、二阶构造

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

• 资源无关的初始化操作

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

需要使用系统资源的操作

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

二阶构造示例一

二阶构造示例二

下面初探一下二阶构造函数：

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

运行结果如下，指针的值被打印出来，意味着可以得到一个合法可用的对象，这个对象位于堆空间上：

如果我们就不想用二阶构造，自己申请堆空间，如下：

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();};#endif

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

输出结果如下：

工程里面对象往往是巨大的，因此不适合放在栈空间，而适合放在堆空间里面，所以二阶构造模式对于工程开发非常有用。

关于“C++二阶构造模式的原理是什么与怎么使用”这篇文章的内容就介绍到这里，感谢各位的阅读！相信大家对“C++二阶构造模式的原理是什么与怎么使用”知识都有一定的了解，大家如果还想学习更多知识，欢迎关注编程网行业资讯频道。