有关delete操作符

#include<iostream>

class Base1
{
    public:
        virtual ~Base1(){}
};

class Base2
{
    public:
        virtual void f()=0;
    //    virtual ~Base2(){};      
};

class Derive:public Base1,public Base2
{
    public:
        void f(){std::cout<<"f/n";}
        ~Derive(){std::cout<<"Derive dtor/n";}
};

void func(Base2* p)
{
    p->f();
}

int main(int , char**)
{
    Derive *p = new Derive;
    Base1 *pb1=p;
    Base2 *pb2=p;
    func(p);
    delete p;
    //delete pb1;
    //delete pb2;           
}

   此代码通过修改base2的虚dtor 和 main中的delete pb2 ,会导致crash。
   所谓的delete分为两步,runtime在遇到一个delete的时候,理论上会调用一个叫做delete operator的东西,这个东西会先调用dtor,然后调用operator delete来释放内存。我们能够重载的是operator delete,而delete operator是无法重载的。对于operator delete来说,它接受一个void*为参数,它只负责释放内存。那么,按照你的layout,pb1和d指向的内存地址肯定是不一样的,由于 Base1有大小,pb2会有一个偏移。因此,对于operator delete来说,如果你传给它pb2,它就直接over了。那么,delete operator怎么可以知道应该怎样传递正确地传递地址过去呢?这是因为,delete operator有点类似于virtual的。要实现这个virtual特性的先决条件就是,你的dtor必须是virtual的。这就可以解释为什么你 把virtual注释了,就会over。


 
 
  1. static void* operator new (size_t size ) {
  2.     void* p=:: operator new (size );
  3.     std:: cout<< "Base2 new: "<<std:: hex<<p<< "/n";
  4.     return p;
  5.   }
  6.  
  7.   static void operator delete ( void* p ) {
  8.     std:: cout<< "Base2 del: "<<std:: hex<<p<< "/n";
  9.     :: operator delete (p );
  10.   }

可以打印指针指向的内存,可以看到,pb1和pb2和p指向是不一样的。要注意程序走进哪个operator delete。相关资料详见
effective c++ 7



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值