主要是参考下图,了解内存布局,然后写个实例程序就差不多明白了,但是需要熟悉指针转换。
1) 只有多态类才有RTTI信息,dynamic_cast正是运用RTTI进行转换,属于运行时类型检查。
2) dynamic_cast判断两个指针是否能转换时,用RTTI可以知道当前实际对象,然后遍历自己所有的父类,看是否有与目标类型一致的,如果有就可以进行转换。
3) dynamic_cast是安全的,可以通过检查返回值或异常捕捉来判断是否转成功。其中检查返回值用于指针转换,异常捕捉用于引用转换。
4) 补充一点,与static_cast不同,即使两个类没有直接继承关系,但是只要在一个类层次结构中,就有可能指向同一个对象,也就可以进行dynamic_cast。以下图为例,C继承自A,B。A, B指针就可以进行dynamic_cast,并可能成功。
C * pc = new C;
A* pa = pc;
B* pb = pc;
pb = dynamic_cast<B*>(pa); // 可以成功进行转换,因为二者指向的都是C对象。

下面的例子主要是关于RTTI的,打印出一个对象和她所有父类的运行时信息,这里的运行时信息主要是类的名字。
#include "iostream"
#include "string"
#include <typeinfo>
using namespace std;
class Zero
{
public:
virtual void f111() { }
};
class Base : public Zero
{
public:
virtual void f() { }
};
class Deri1234567890ve : public Base
{
};
typedef unsigned long DWORD;
struct PMD
{
int mdisp; //member displacement
int pdisp; //vbtable displacement
int vdisp; //displacement inside vbtable
};
struct RTTIBaseClassDescriptor
{
struct TypeDescriptor* pTypeDescriptor; //type descriptor of the class
DWORD numContainedBases; //number of nested classes following in the Base Class Array
struct PMD where; //pointer-to-member displacement info
DWORD attributes; //flags, usually 0
};
struct TypeDescriptor
{
DWORD ptrToVTable;
DWORD spare;
char name[ ];
};
struct RTTIClassHierarchyDescriptor
{
DWORD signature; //always zero?
DWORD attributes; //bit 0 set = multiple inheritance, bit 1 set = virtual inheritance
DWORD numBaseClasses; //number of classes in pBaseClassArray
struct RTTIBaseClassArray* pBaseClassArray;
};
struct RTTICompleteObjectLocator
{
DWORD signature; //always zero ?
DWORD offset; //offset of this vtable in the complete class
DWORD cdOffset; //constructor displacement offset
struct TypeDescriptor* pTypeDescriptor; //TypeDescriptor of the complete class
//int * ptr;
struct RTTIClassHierarchyDescriptor* pClassDescriptor; //describes inheritance hierarchy
};
int main()
{
/*Base *pderive = new Deri1234567890ve();
int **ptr = (int **)(&pderive);
int *ptable = (int *)(*(int *)(*ptr));
int * rtti = ptable -1;
RTTICompleteObjectLocator * RIIT_locator = (RTTICompleteObjectLocator *)( *(int*)rtti);
cout<<RIIT_locator->pTypeDescriptor->name<<endl;*/
Base *pderive = new Deri1234567890ve();
int *ptable = (int*)*(int*)pderive;
int * rtti = ptable -1;
// 显示当前类的名字“。。Deri1234567890ve。。”
RTTICompleteObjectLocator * RIIT_locator = (RTTICompleteObjectLocator *)( *(int*)rtti);
cout<<RIIT_locator->pTypeDescriptor->name<<endl;
// 显示自己和所有父类的名字
int * p1 = (int*)(RIIT_locator->pClassDescriptor->pBaseClassArray);
int * p2 = (int*)*(p1+2);
TypeDescriptor* pDesc = (TypeDescriptor*)(*p2);
cout<<"One of Base Classes: "<<pDesc->name<<endl;
p1 = (int*)(RIIT_locator->pClassDescriptor->pBaseClassArray);
p2 = (int*)*(p1 + 1);
pDesc = (TypeDescriptor*)(*p2);
cout<<"One of Base Classes: "<<pDesc->name<<endl;
p1 = (int*)(RIIT_locator->pClassDescriptor->pBaseClassArray);
p2 = (int*)*(p1);
pDesc = (TypeDescriptor*)(*p2);
cout<<"One of Base Classes: "<<pDesc->name<<endl;
}
参考:
浅议 Dynamic_cast 和 RTTI 浅议 Dynamic_cast 和 RTTI - RocZhang - 博客园
http://www.openrce.org/articles/full_view/23


















