有关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的时候，理论上会调用一个叫做deleteoperator的东西，这个东西会先调用dtor，然后调用operator delete来释放内存。我们能够重载的是operatordelete，而delete operator是无法重载的。对于operatordelete来说，它接受一个void*为参数，它只负责释放内存。那么，按照你的layout，pb1和d指向的内存地址肯定是不一样的，由于Base1有大小，pb2会有一个偏移。因此，对于operator delete来说，如果你传给它pb2，它就直接over了。那么，delete operator怎么可以知道应该怎样传递正确地传递地址过去呢？这是因为，deleteoperator有点类似于virtual的。要实现这个virtual特性的先决条件就是，你的dtor必须是virtual的。这就可以解释为什么你把virtual注释了，就会over。

static void* operator new(size_t size){
    void* p=::operator new(size);
    std::cout<<"Base2 new: "<<std::hex<<p<<"/n";
    return p;
  }
 
  static void operator delete(void* p){
    std::cout<<"Base2 del: "<<std::hex<<p<<"/n";
    ::operator delete(p);
  }

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