码迷,mamicode.com
首页 > 编程语言 > 详细

C++ 脑筋急转弯

时间:2017-12-12 00:14:48      阅读:148      评论:0      收藏:0      [点我收藏+]

标签:为我   void   成员   解决方法   函数   内存   src   验证   源码   

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

 

C++ 脑筋急转弯

标签:为我   void   成员   解决方法   函数   内存   src   验证   源码   

原文地址:http://www.cnblogs.com/cnblogs-wangzhipeng/p/8025464.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!