Как один vtable отслеживает новые виртуальные функции?

Question

Я использую VS 2013 и пытаюсь увидеть, как vptr и vftable работают на уровне объекта. Таким образом, у меня есть следующие классы:

#include<iostream> 
using namespace std; 

class baseClass 
{ 
public: 
    void nonVirtualFunc() {} 
    virtual void virtualNonOverriddenFunc() {} 
    virtual void virtualOverriddenFunc() {} 
}; 

class derivedClass : public baseClass 
{ 
public: 
    virtual void virtualOverriddenFunc() {} 
    virtual void derivedClassOnlyVirtualFunc() { cout << "derivedClass" << endl; } 
}; 


int main(int argc, char** argv) { 

    derivedClass derivedClassObj2; 
    cout << "Size of derivedClassObj: " << sizeof(derivedClassObj2) << endl; 

    return 0; 
} 

И это то, что я вижу при отладке:

Теоретически должно быть ДВА vptrs. Один для vftable baseClass и один для производного класса для отслеживания недавно добавленного метода производного класса ClassClassOnlyVirtualFunc().

Но, как вы видите, есть только один vptr/vftable. Но механизм работает отлично.

Я думал, что есть второй vptr, который я не вижу в окне часов, поэтому я распечатал размер объекта. Это 4 байта, что указывает на наличие только одного указателя.

Как это работает с недавно добавленной виртуальной функцией?

Согласно this должно быть два vptrs.

EDIT: Я проверил содержимое памяти vftable, как предложил Серж, и действительно есть три записи. По какой-то причине он не отображается в отладчике.

Cheers.

Answer 1

Реализация vtable зависит от компилятора. Размер объекта (4 байта) показывает, что vtable не реплицируется в объекте, так как 4 байта - это всего лишь один указатель. Мое понимание:

• есть один и только один виртуальные таблицы (*) в классе (не на объект)
• каждый объект имеет указатель на его таблицу виртуальных (один из его фактического класса)
• , как _vfptr является атрибутом класса предка, отладчик показывает его под классом предка, и, как таковые, показывает только методы, определенные в этом классе

Но наверняка реальный _vtable содержит запись для других виртуальных методов ... кормовой er записи, отображаемые отладчиком!

(*) Становится все труднее, если вы подумаете о внутренней организации массива _vfptr. Фактически, это можно увидеть как содержащее копии всех классов vtables класса предков. Здесь две первые записи derivedClass соответствуют таблице vtable baseClass. Но если вы откроете окно Memory и изучите, что находится на адресе _vfptr (0x00d9ba68 в вашем примере), вы должны увидеть третью запись перед пустой записью (по крайней мере, это показывает мой MSVC Express 2008). Эта третья запись соответствует функции derivedClassOnlyVirtualFunc, но не показана отладчиком, как я сказал выше.