多重继承中使用delete操作符时谁调用类的析构函数

这个问题听起来可能太愚蠢了，但是，我在其他地方找不到具体的答案。

对后期绑定如何工作以及继承中使用的 virtual 关键字知之甚少。

如代码示例中所示，在继承的情况下，当使用指向在堆上创建的派生类对象的基类指针和删除运算符来释放内存时，将仅按顺序调用派生类和基类的析构函数当基析构函数被声明为虚函数时。

现在我的问题是：

1）当base的析构函数不是virtual时，为什么只有在使用“delete”运算符的情况下才会出现未调用派生dtor的问题，为什么在下面给出的情况下不会出现：

derived drvd;
base *bPtr;
bPtr = &drvd; //DTOR called in proper order when goes out of scope.

2）当使用“删除”运算符时，谁负责调用类的析构函数？删除运算符将有一个调用 DTOR 的实现？或者编译器写了一些额外的东西？如果操作员有实现，那么它看起来怎么样，[我需要示例代码如何实现]。

3）如果本例中使用了virtual关键字，那么operator delete现在如何知道要调用哪个DTOR？

从根本上来说，我想知道当使用删除时谁调用了类的故事。

<h1> Sample Code </h1>

class base
{
    public:
    base(){
       cout<<"Base CTOR called"<<endl;
    }

    virtual ~base(){  
       cout<<"Base DTOR called"<<endl;
    }
};

class derived:public base
{
    public:
        derived(){
            cout<<"Derived CTOR called"<<endl;
        }

    ~derived(){
            cout<<"Derived DTOR called"<<endl;
     }
};

我不确定这是不是重复的，我在搜索中找不到。

int main() { 基 *bPtr = 新派生();

delete bPtr;// only when you explicitly try to delete an object
return 0;
  

1. 这是因为在这种情况下，编译器知道有关要破坏的对象的所有信息，在这种情况下是drvd并且是类型derived. When drvd超出范围编译器插入代码来调用其析构函数

2. delete是编译器的关键字。当编译器看到删除时，它会插入调用析构函数的代码和要调用的代码operator delete释放内存。请记住keyword delete and operater delete是不同的。

3. 当编译器看到keyword delete用于指针时，它需要生成代码才能正确销毁。为此，它需要知道指针的类型信息。编译器对指针唯一了解的是指针类型，而不是指针所指向的对象的类型。指针所指向的对象可以是基类或派生类。在某些情况下，对象的类型可能非常明确地定义，例如

void fun()
{
    Base *base= new Derived(); 
    delete base;
}

但大多数情况并非如此，比如这个

void deallocate(Base *base)
{
    delete base;
}

因此编译器不知道调用基类或派生类的哪个析构函数。这就是它的工作方式

1. 如果基类没有虚函数（成员函数或析构函数）。直接插入调用基类析构函数的代码
2. If the Base class has virtual functions, then the compiler takes the information of destructer from vtable.
   1. 如果析构函数不是虚拟的。 vtable 将具有基析构函数的地址，这就是将要调用的内容。这是不对的，因为这里没有调用正确的析构函数。这就是为什么总是建议将基类的析构函数声明为 virtual
   2. 如果析构函数是虚拟的，则 vtable 将具有析构函数的正确地址，并且编译器将在那里插入正确的代码