прочитал про виртуальную таблицу и остались вопросы, помогите, пожалуйста. Пусть есть класс иерархия :
class B1
{
public:
void f0() {}
virtual void f1() {}
int int_in_b1;
};
class B2
{
public:
virtual void f2() {}
int int_in_b2;
};
class D : public B1, public B2
{
public:
void d() {}
void f2() {} // переопределяем B2::f2()
int int_in_d;
};
Правильно ли я понял, что схема памяти класса D будет утсроен так, что в ней будет указатель на виртулаьную таблицу класса B1vtable , и указатель на собственную таблицу Dvtable?
в вики приводится псевдо-код , который компилятор напишет для вызова виртулаьной функции :
*((d->B1vtable)[0])(d) // d->f1();
*((d->Dvtable)[0])(d+8) // d->f2();
*((B2vtable)[0])(d+8) // d->B2::f2();
схема вызова функции по ее указателю так устроена, что (d) , (d+8) - ее аргументы. Но эти функции не принимают аргументов, что тут не так?
Таблица памяти :
d:
+0: указатель на ТВМ D (для B1)
+4: значение int_in_b1
+8: указатель на ТВМ D (для B2)
+12: значение int_in_b2
+16: значение int_in_d
Всего: 20 Bytes.
ТВМ D (для B1):
+0: B1::f1() // B1::f1() не переопределена
ТВМ D (для B2):
+8: D::f2() // B2::f2() переопределена D::f2()