最近重新温习一下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，这篇就说这么多，都是比较基础浅显的东西，下一篇我们要深入挖掘，加大力度。
