Книжная теория это всего лишь слова.
Пример vs2008
| Код |
class A
{
public :
virtual void func1() = 0;
private:
int someField;
};
class B
{
public :
virtual void func2()
{
printf("Hello from B\n");
}
private:
int someField;
};
class C : public A, public B
{
public :
void func1()
{
printf("Hello from AC\n");
}
void func2()
{
printf("Hello from BC\n");
}
};
int main(int argc, _TCHAR* argv[])
{
C * c = new C();
A* a = dynamic_cast<A*>(c);
a->func1();
B* b = dynamic_cast<B*>(c);
b->func2();
return 0;
}
|
На выходе в релизной версии имеем
| Код |
00401030 56 push esi
00401031 6A 10 push 10h
00401033 E8 46 00 00 00 call operator new (40107Eh)
00401038 83 C4 04 add esp,4
0040103B 85 C0 test eax,eax
0040103D 74 18 je main+27h (401057h)
0040103F C7 40 08 30 21 40 00 mov dword ptr [eax+8],offset B::`vftable' (402130h)
00401046 C7 00 38 21 40 00 mov dword ptr [eax],offset C::`vftable' (402138h)
0040104C C7 40 08 40 21 40 00 mov dword ptr [eax+8],offset C::`vftable' (402140h)
00401053 8B F0 mov esi,eax
00401055 EB 02 jmp main+29h (401059h)
00401057 33 F6 xor esi,esi
00401059 8B 06 mov eax,dword ptr [esi]
0040105B 8B 10 mov edx,dword ptr [eax]
0040105D 8B CE mov ecx,esi
0040105F FF D2 call edx
00401061 8B 46 08 mov eax,dword ptr [esi+8]
00401064 8B 10 mov edx,dword ptr [eax]
00401066 8D 4E 08 lea ecx,[esi+8]
00401069 FF D2 call edx
0040106B 33 C0 xor eax,eax
0040106D 5E pop esi
0040106E C3 ret
|
Для тех кто не понимает
| Код |
0040103F C7 40 08 30 21 40 00 mov dword ptr [eax+8],offset B::`vftable' (402130h)
00401046 C7 00 38 21 40 00 mov dword ptr [eax],offset C::`vftable' (402138h)
0040104C C7 40 08 40 21 40 00 mov dword ptr [eax+8],offset C::`vftable' (402140h)
|
Происходит заряд виртуальной таблицы....
| Код |
00401059 8B 06 mov eax,dword ptr [esi]
0040105B 8B 10 mov edx,dword ptr [eax]
0040105D 8B CE mov ecx,esi
0040105F FF D2 call edx
|
Пырвый вызов функции (a->func1();) Так как указатель на функцию идет первым(dword ptr [eax],offset C::`vftable' (402138h) ) соответственно вызов происходит по указателю(в нашем без смещений от объекта, то и есть кастинг бых выполнен в стиле "С")
| Код |
00401061 8B 46 08 mov eax,dword ptr [esi+8]
00401064 8B 10 mov edx,dword ptr [eax]
00401066 8D 4E 08 lea ecx,[esi+8]
00401069 FF D2 call edx
|
esi+8 смещение на вось байт. Почему на восемь??? указатель на функцию(4 байта) + поле (4 байта) и того восемь. То и есть приведение было в стиле "С" и смещение на восемь байт.
В дебажном варианте тоже не всегда можно удидеть RTTI
| Код |
004139F3 83 7D F8 00 cmp dword ptr [c],0
004139F7 74 0E je main+77h (413A07h)
004139F9 8B 45 F8 mov eax,dword ptr [c]
004139FC 83 C0 08 add eax,8
004139FF 89 85 0C FF FF FF mov dword ptr [ebp-0F4h],eax
00413A05 EB 0A jmp main+81h (413A11h)
00413A07 C7 85 0C FF FF FF 00 00 00 00 mov dword ptr [ebp-0F4h],0
00413A11 8B 8D 0C FF FF FF mov ecx,dword ptr [ebp-0F4h]
00413A17 89 4D E0 mov dword ptr [b],ecx
|
Ключевой момент(Смещение указателя)
Вот другое дело что взять да и убрать public наследование
то и есть меняем
| Код |
class C : public A, public B
|
на
И видем картину
A* a = dynamic_cast<A*>©;
| Код |
004139ED 6A 00 push 0
004139EF 68 28 70 41 00 push offset A `RTTI Type Descriptor' (417028h)
004139F4 68 14 70 41 00 push offset C `RTTI Type Descriptor' (417014h)
004139F9 6A 00 push 0
004139FB 8B 45 F8 mov eax,dword ptr [c]
004139FE 50 push eax
004139FF E8 CD D7 FF FF call @ILT+460(___RTDynamicCast) (4111D1h)
00413A04 83 C4 14 add esp,14h
00413A07 89 45 EC mov dword ptr [a],eax
|
___RTDynamicCast
| Код |
102B32A0 8B FF mov edi,edi
102B32A2 55 push ebp
102B32A3 8B EC mov ebp,esp
|
Стандартный для студии пролог....
| Код |
102B32AC 68 80 32 2D 10 push offset _except_handler4 (102D3280h)
102B32B1 64 A1 00 00 00 00 mov eax,dword ptr fs:[00000000h]
|
Установка SEH(catch)
| Код |
dword ptr fs:[00000000h],eax
102B32D2 89 65 E8 mov dword ptr [ebp-18h],esp
|
Есче(еще для умных) SEH.
Опистим детали(это же не учебник)
Один из ключевых моментов FindMITargetTypeInstance должен вернуть указатель на объект
| Код |
102B3365 E8 26 02 00 00 call FindMITargetTypeInstance (102B3590h)
102B336A 83 C4 14 add esp,14h
102B336D 89 45 E0 mov dword ptr [ebp-20h],eax
102B3370 EB 1F jmp __RTDynamicCast+0F1h (102B3391h)
|
jmp __RTDynamicCast+0F1h делает переход на
| Код |
cmp dword ptr [ebp-20h],0
102B3395 74 1B je __RTDynamicCast+112h (102B33B2h)
|
Как видим функция должна вернуть не ноль что бы условного переход не было, если условный переход(je __RTDynamicCast+112h (102B33B2h) ) произойдет, то будет вызвана ошибка(генерация исключения на сколько помню...)
|
)
Ну всё, теперь я могу открыто сказать, что этот форум по C++ полное говно. Больше мне нет смысла сюда приходить, а вам счастливо оставаться в этом быдлятнике 