关于MFC中的RTTI
在MFC中,RTTI是依靠为彼此有继承关系的类建立一个记录其类型的链表来实现的,和RTTI有关的CRuntimeClass成员有4个:
LPCSTR m_lpszClassName; // 用于记录类名
CRuntimeClass* m_pBaseClass; // 用于指向基类的CRuntimeClass结构
CRuntimeClass* m_pNextClass; // 用于指向链表中前一个类的CRuntimeClass结构
const AFX_CLASSINIT* m_pClassInit; // 用于建立类别型录
这样在这个类别型录中就有了许多条路线,每一条都是沿着m_pBaseClass一直可以找到某个类的最终基类。要把一个类加入到这个类别型录中要用到两个宏:
DECLARE_DYNAMIC / IMPLEMENT_DYNAMIC
#define DECLARE_DYNAMIC (class_name) public: static const CRuntimeClass class##class_name; virtual CRuntimeClass* GetRuntimeClass() const; 这个宏是用在类声明中的,其作用就是根据类的名字为该类添加两个public的成员,分别用于记录类的型别和获得对象class##class_name的地址,注意这里的class##class_name是个静态成员,这就为后面我们做类型的比较奠定了基础。在类中使用了DECLARE_DYNAMIC后,还要在.cpp的文件中使用IMPLEMENT_DYNAMIC宏,该宏的作用就是初始化class##class_name对象和定义GetRuntimeClass函数。
#define IMPLEMENT_DYNAMIC (class_name, base_class_name) IMPLEMENT_RUNTIMECLASS (class_name, base_class_name, 0xFFFF, NULL, NULL)
IMPLEMENT_DYNAMIC在使用的时候,要指定类和其基类的名字,之后利用IMPLEMENT_RUNTIMECLASS进行实质性的初始化活动。
#define IMPLEMENT_RUNTIMECLASS (class_name, base_class_name, wSchema, pfnNew, class_init) AFX_COMDAT const CRuntimeClass class_name::class##class_name = { #class_name, sizeof(class class_name), wSchema, pfnNew, RUNTIME_CLASS(base_class_name), NULL, class_init }; CRuntimeClass* class_name::GetRuntimeClass() const { return RUNTIME_CLASS (class_name); } 其中,在class#class_name的初始化中和RTTI相关的只有:
&name_class用来初始化m_lpszClassName
RUNTIME_CLASS(base_class_name)用来初始化CRuntimeClass* m_pBaseClass
NULL用来初始化CRuntimeClass* m_pNextClass(此时类别型录还没有建立起来)
另外,RUNTIME_CLASS就是用来获得class##class_name对象地址的宏:
#define RUNTIME_CLASS (class_name) _RUNTIME_CLASS (class_name)
#define _RUNTIME_CLASS (class_name) ((CRuntimeClass*) (&class_name::class##class_name))
这样,当对程序中的每一个类都使用了DECLARE_DYNAMIC / IMPLEMENT_DYNAMIC宏之后,就为该类在类别型录中进行了登记工作。
当然,MFC中所有的类都派生于CObject,所以所有的路线最终都要在CObject处会合,由于CObject没有基类,所以它的CRuntimeClass对象并不能用上面的两个宏来实现,在objcore.cpp中,为CObject的classCObject对象单独作了初始化的工作:
const struct CRuntimeClass CObject::classCObject =
{ "CObject", sizeof(CObject), 0xffff, NULL, NULL, NULL };
我们可以看到m_pBaseClass被初始化为NULL。另外,也单独实现了GetRuntimeClass():
CRuntimeClass* CObject::GetRuntimeClass() const
{
return _RUNTIME_CLASS (CObject);
}
至于_RUNTIME_CLASS,前面已经说过了。
这样为了实现类对象的RTTI,我们已经做好了所有的准备工作,下面就来看一下它的实现,它主要是靠CObject中的IsKindOf函数完成的。
BOOL CObject::IsKindOf(const CRuntimeClass* pClass) const
{
// 为了简洁,略去了不相关的代码
CRuntimeClass* pClassThis = GetRuntimeClass();
return pClassThis->IsDerivedFrom(pClass);
}
这里,由于GetRuntimeClass是虚函数,所以pClassThis会指向调用IsKindOf函数的类对象的class##class_name,之后利用指向该对象的指针调用IsDerivedFrom:
BOOL CRuntimeClass::IsDerivedFrom(const CRuntimeClass* pBaseClass) const
{
//为了简洁,略去了不相关的代码
if (pBaseClass == NULL)
return FALSE;
// simple SI case
const CRuntimeClass* pClassThis = this;
while (pClassThis != NULL)
{
if (pClassThis == pBaseClass)
return TRUE;
pClassThis = pClassThis->m_pBaseClass;
}
return FALSE; // walked to the top, no match
}
我们知道,派生类和基类共享基类的static对象,所以在这里,派生类和基类一定共享相同的class##class_name对象,这就为我们判定两个类是否有继承关系提供了理论基础,同样,
在IsDerivedFrom中,while循环中的if也的确是这样做的,它沿着该类的同宗路线上行,只要
不到共同的祖先CObject,就决不罢休。