Макет виртуальной таблицы в памяти?

Question

как виртуальные таблицы хранятся в памяти? их макет?

например.

class A{
    public:
         virtual void doSomeWork();
};

class B : public A{
    public:
         virtual void doSomeWork();
};

Каким будет расположение виртуальных таблиц класса A и класса B в памяти?

Answer 1

Для компилятора GCC в Linux запустите:

g++ -fdump-class-hierarchy example.h

Вывод:

Vtable for A
A::_ZTV1A: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI1A)
16    (int (*)(...))A::doSomeWork

Class A
   size=8 align=8
   base size=8 base align=8
A (0x7fb76785a4e0) 0 nearly-empty
    vptr=((& A::_ZTV1A) + 16u)

Vtable for B
B::_ZTV1B: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI1B)
16    (int (*)(...))B::doSomeWork

Class B
   size=8 align=8
   base size=8 base align=8
B (0x7fb7678510d0) 0 nearly-empty
    vptr=((& B::_ZTV1B) + 16u)
  A (0x7fb76785a540) 0 nearly-empty
      primary-for B (0x7fb7678510d0)

Также я создал инструмент vtable-dumper для отображения содержимого виртуальных таблиц в общих объектах. С этим инструментом вам не нужно компилировать заголовки, просто запустите его на объекте:

vtable-dumper SHLIB

Answer 2

Как уже говорили другие, это зависит от компилятора, а не то, о чем вам действительно нужно думать в повседневном использовании C ++. Однако, если вам просто интересно узнать о проблеме, вам следует прочитать книгу Стэна Липпмана Внутри объектной модели C ++ .

Answer 3

расположение таблиц в памяти полностью зависит от компилятора; не существует «правильного» или универсального подхода.

Answer 4

Как уже писали другие, общего подхода нет. (Черт, никто даже не требует, чтобы виртуальные таблицы использовались вообще.)

Однако я полагаю, что они, скорее всего, реализованы как скрытый указатель на определенное смещение в объекте, который ссылается на таблицу указателей функций. Адреса некоторых виртуальных функций занимают определенные смещения в этой таблице. Обычно есть также указатель на объект std::type_info динамического типа.

Если вам интересны такие вещи, прочитайте Lippmann "Внутри объектной модели C ++" . Однако, если ваш интерес не академичен (или вы пытаетесь написать компилятор C ++ - но тогда вам не нужно спрашивать), вам не стоит беспокоиться. Это деталь реализации, которую вам не нужно знать и на которую никогда не следует полагаться.

Answer 5

Из Википедия :

Стандарты C ++ не предписывают как именно должна быть динамическая отправка реализованы

Так что ответ - нет. Макет vtable определяется реализацией.

Answer 6

Подробное описание Open Watcom макета класса можно найти в Class Layout notes