C ++为什么不按运行时类型销毁对象？

Question

据我所知，当基类具有虚函数时，C ++可以获取对象动态类型的准确信息。

class Base
{
public:
    Base() {}
    ~Base() { std::cout << "Base Destructed" << std::endl; }

    virtual void f() {}
};

class Derived : public Base
{
public:
    Derived() {}
    ~Derived() { std::cout << "Derived Destructed" << std::endl; }
};

void PrintTypeName(Base *p)
{
    std::cout << typeid(*p).name() << std::endl;
}

int main()
{
    Base *p = new Derived();
    PrintTypeName(p);
    delete p;
}

上面的代码可以打印正确的对象类型，但是为什么它不能调用正确的析构函数。

我在g ++和Windows编译器上对其进行了测试，它们给出了相同的结果。我知道如果我使Base析构函数virtual，它可以正确地分解。

但是我想知道为什么不通过调用析构函数typeid。

Answer 1

如果某个方法未标记为virtual，则该方法不会存储在虚拟表中。在这种情况下，析构函数不会存储在虚拟表中。因此它不能被调用。

使用当前代码，vtables将如下所示：

vtable for Derived:
        .quad   0
        .quad   typeinfo for Derived
        .quad   Base::f()
vtable for Base:
        .quad   0
        .quad   typeinfo for Base
        .quad   Base::f()

在这里查看演示

如果将析构函数标记virtual为Base，则vtable将如下所示：

vtable for Derived:
        .quad   0
        .quad   typeinfo for Derived
        .quad   Derived::~Derived() [complete object destructor]
        .quad   Derived::~Derived() [deleting destructor]
        .quad   Base::f()
vtable for Base:
        .quad   0
        .quad   typeinfo for Base
        .quad   Base::~Base() [complete object destructor]
        .quad   Base::~Base() [deleting destructor]
        .quad   Base::f()

在这里查看演示