Цитата(Alexeis @ 9.11.2007, 10:22  ) | Да нет же, таблица VMT у наследника объединяется таблицей VMT предка. У объекта только одна VMT.
|
не совсем
VMT одна, но объект содержит столько указателей (указывающих на данные внутри таблицы), сколько у его класса предков
| Код |
class A {
public:
virtual void d() {}
virtual void a() {}
};
class B {
public:
virtual void b() {}
};
class C: public A, public B {
public:
virtual void a() {}
virtual void c() {}
};
int main() {
A * a = new C();
a -> a();
return 0;
}
|
| Код |
_ZN1CC1Ev: /* конструктор С */
.LFB16:
pushq %rbp
.LCFI14:
movq %rsp, %rbp
.LCFI15:
subq $16, %rsp
.LCFI16:
movq %rdi, -8(%rbp) /* сохранение указателя на объект */
movq -8(%rbp), %rdi
call _ZN1AC2Ev /* вызов конструктора A*/
movq -8(%rbp), %rdi
addq $8, %rdi
call _ZN1BC2Ev /* вызов конструктора B */
movl $_ZTV1C+16, %edx /* адрес элемента 2 в _ZTV1C */
movq -8(%rbp), %rax
movq %rdx, (%rax)
movl $_ZTV1C+56, %edx /* адрес элемента 8 в _ZTV1C */
movq -8(%rbp), %rax
movq %rdx, 8(%rax)
leave
ret
...
main: /* функция main() */
movl $16, %edi /* выделение 16 байт под объект (два указателя по 8 байт) */
call _Znwm /* собственно выделение */
movq %rax, %rbx
movq %rbx, %rdi /* параметр конструктора С, т. е адрес объекта */
call _ZN1CC1Ev /* вызов конструктора C */
movq %rbx, -16(%rbp) /* сохранение указателя на объект */
movq -16(%rbp), %rax
movq (%rax), %rax /* получение адреса указателя на функцию A :: d() в _ZTV1C */
addq $8, %rax /* т. к вызываем переопределенный метод C :: a(), переходим к следующему элементу _ZTV1C, т. е получаем адрес указателя на функцию C :: a() в _ZTV1C */
movq (%rax), %rax /* получаем адрес C :: a() из элемента _ZTV1C */
movq -16(%rbp), %rdi /* параметр this */
call *%rax /* вызов метода С :: a() */
...
/* VMT для C */
_ZTV1C:
/* +0 */ .quad 0
/* +8 */ .quad _ZTI1C
/* +16 */ .quad _ZN1A1dEv /* метод A :: d() */
/* +24 */ .quad _ZN1C1aEv /* метод C :: a() */
/* +32 */ .quad _ZN1C1cEv /* метод C :: c() */
/* +40 */ .quad -8
/* +48 */ .quad _ZTI1C
/* +56 */ .quad _ZN1B1bEv /* метод B :: b() */
.weak _ZTI1C
|
|
читать же невозможно! 
