有关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. }
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