关于MFC中的RTTI

                                                                       关于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，就决不罢休。

本文地址：http://com.8s8s.com/it/it23100.htm