最近重新温习一下C++的基础知识，这里给大家分享一下，独痛苦不如众痛苦。

先贴出一段示例代码如下：

class CTest{public:    CTest(){        this->p = new char(5);    }; 　　~CTest(){        if (!this->p)        {            return;        }        delete this->p;        this->p = NULL;    }   void mFree(){
     　　　　delete this->p; 　　　　this->p = NULL; 　　}private:    char *p;}; int main(){
    　　CTest *CCTest = new CTest(); 　　CTest tCTest = *CCTest 　　delete CCTest; 　　return 0; }

博主是在vs2013环境下跑的这段代码，就是这么一段人畜无害的代码，运行的时候竟然崩溃了...，没错是崩溃了。

这里面涉及的是最基本的深拷贝和浅拷贝的知识，tCTest 做为临时变量拷贝了CCTest里面的成员参数，但是tCTest.p 和 CCTest->p指向的是同一片内存。

我认为崩溃原因是这样的：当main函数执行结束的时候，会执行 tCTest 的析构函数，而释放 CCTest 也会执行析构函数，同一个内存释放两次所以崩溃。

但vs是在CCTest释放内存时抛出这样的异常：p指向的内存被临时变量tCTest占用所以不能释放，这个要研究一下C++的内存调度机制，和源码才能确定深层次的原因。

那么怎么避免这个问题？老手们肯定知道啦，重构一下拷贝函数就OK啦：

class CTest{public:    CTest(){        this->p = new char(5);    };        CTest(CTest &t){        this->p = new char(5);        if(t.p){memcpy(this->p, t.p, 5);}    };    ~CTest(){        if (!this->p)        {            return;        }        delete this->p;        this->p = NULL;    }  void mFree(){ 　　　　delete this->p; 　　　　this->p = NULL; 　　}private:    char *p;};

老鸟们肯定熟的很了：CTest a = b; 和 CTest a(b)；效果是一样的。

好，我们继续再延伸一下，增加点新玩法：

class CParant{public:    CParant(const char* pchIn){        this->chOutPut = pchIn;    }    ~CParant(){         printf("exit\n");     };    string  & mGetOutputAddr();private:    string chOutPut;};class CChild : public CParant{public:    CChild(const char* pchIn) :CParant(pchIn){        this->p = new char(5);    };        CChild(const CChild& CCChild) :CParant(CCChild){        this->p = new char(5);        if(CCChild.p) memcpy(this->p, CCChild.p, 5);    };    void mFree(){        delete this->p;        this->p = NULL;    }    ~CChild(){        if (!this->p)        {            return;        }        delete this->p;        this->p = NULL;    }private:    char *p;}; int main(){
    　　CParant* CCParant = new CCParant("father"); 　　CCParant tCCParant = *CCParant 　　delete CCParant; 　　return 0; }

 各位猜一猜这回会不会报错？当然不会啦，你都已经改了拷贝函数，怎么会报错呢？

确实不会报错，不过不是因为我重构了拷贝函数，而是因为根本就没有拷贝 char *p 这个成员变量，父对象拷贝是不会拷贝到子类里面的变量，即使赋值一方是由子类实例化的。上面这个例子虽然不会造成程序崩溃，但是也不是完美的，它会造成内存泄露。至于原因就是因为CCParant 在析构的时候没有调用子类的析构函数，怎么办嘞？解决方法如下：

class CParant{public:    CParant(const char* pchIn){        this->chOutPut = pchIn;    }    virtual ~CParant(){         printf("exit\n");     };    string  & mGetOutputAddr();private:    string chOutPut;};

把父类的析构函数变为虚函数，这样析构的时候就会先去调用子类的析构函数，避免子类成员无法释放带来的内存泄露。至于加一个虚函数有什么影响，我们看看下面两张对比图片：

没有设置虚析构函数时：

 

这是加了virtual 关键字之后的：

 可以看到加了虚析构函数后CCParant 内存中多出了一张虚函数的函数指针表，这里面会存储虚函数实现的指针地址。我们还可以换个方式验证：

int main(){   CCParant t("test");   printf("%d", sizeof(t));    　　return 0;  }

对比一下修改前后的size大小，看看是否相差了4byte，这篇就说这么多，都是比较基础浅显的东西，下一篇我们要深入挖掘，加大力度。