派生类VTable仅具有基类虚函数。 派生类的vtable中缺少派生类虚拟函数

Question

这是一个非常基本的示例：

class Base {
public:
    virtual void sayHi() const {}
    virtual void sayHello() {}
    virtual ~Base(){}
};

class Derived : public Base {
public:
    virtual void sayHi() {}
    virtual void sayHello() const {}
};

int main()
{
    Base *b = new Base();
    Base *d = new Derived();
    return 0;
}

b中的Base的vptr具有Base类的虚函数。 但是，派生的类对象“ d”经过检查仅列出了基的虚函数。 这里的问题不是 ，为什么不覆盖函数，所以这里不需要使用override关键字。 问题是，为什么特定类的VTable不包含其自己的虚函数？ 在这种情况下，为什么'd'的vtable不包含D :: sayHi和D :: sayHello？ 我乐于接受投票，但要敢于提出并说出原因。

编辑： 我知道CONSTness在这里看起来可能是错误的，但是问题不在于覆盖。

这是在VS2012 Update4中专门尝试的

Answer 1

在这里，您有不同的函数重载，它们不会覆盖已定义的虚函数：

virtual void sayHi() const {}
virtual void sayHello() {}

void sayHi() {}  // non virtual function with a different signature (no const)
void sayHello() const {} // non virtual function with a different signatuere (const)

如果要避免此类细微的错误，请使用关键字override ：如果您认为覆盖基本类的虚函数的函数具有不同的签名或什至不存在（例如，egtypo ...），则编译器将生成错误。

按照您的编辑进行编辑：

我看到您已经更新了代码，以使重载的非重写功能也成为虚拟的。

现在，派生函数的vtable包含四个不同的函数。 但是，通过基本指针只能访问基本中定义的虚函数。 这就是MSVC调试器仅向您显示2的原因：

顺便说一下，调试器似乎总是将vtable显示为Base的成员。 但是，如果您查看生成的汇编器，则会在其vtable中看到派生类的所有虚函数的名称混乱：

Answer 2

您的Hi函数不会覆盖基类Hi函数，因为其const说明符是错误的。 您的Hello函数也是如此，尽管反之亦然。 如果使用C ++ 11或更高版本，则可以使用override关键字来确保不会发生这种情况。

Answer 3

已经提到，在通过添加const更改函数签名时，您不会覆盖函数。

关于您的实际问题：它将使用基类中的vtable-pointer指向其自己的具有不同条目的vtable。 那就是它的工作原理。 它“看起来”像基类，但表现“不同”。 那就是C ++中的多态行为。

如果每个派生类都将添加自己的vtable，那么C ++中的很多事情都会被破坏。 多个vtable指针将仅是一个类实例的一部分，该类实例是从包含虚拟函数的多个类派生的，或者是在使用虚拟继承时派生的。