说说MFC中CRuntimeClass和CObject之间的那点事
MSDN曰:对于MFC中每个从CObject派生的类来说,都有一个相关的CRuntimeClass结构体,在程序运行时可以访问该结构体来获取对象及其基类的信息。
CRuntimeClass是一个结构体,并且其本身并没有基类。
在运行时确定一个对象的类型是很重要的,尤其是在做类型检查时;而c++语言本身并不支持运行时类信息。
CObject和CRuntimeClass是MFC中两个非常重要的类/结构,绝大部分MFC类都是以CObject做为基类, CRuntimeClass结构同CObject密不可分,了解它们对于深入理解MFC具有重要意义。
CRuntimeClass 的定义如下:
struct CRuntimeClass { // Attributes LPCSTR m_lpszClassName; //类名,一般是指包含CRuntimeClass对象的类的名称 int m_nObjectSize; //包含CRuntimeClass对象的类sizeof的大小,不包括它分配的内存 UINT m_wSchema; // schema number of the loaded class CObject* (PASCAL* m_pfnCreateObject)(); // NULL => abstract class 指向一个建立实例的构造函数 #ifdef _AFXDLL CRuntimeClass* (PASCAL* m_pfnGetBaseClass)(); #else CRuntimeClass* m_pBaseClass; //m_pBaseClass的指针(函数)是MFC运行时确定类层次的关键,它一个简单的单向链表 #endif // Operations //这个函数给予CObject 派生类运行时动态建立的能力 CObject* CreateObject(); //这个函数使用 m_pBaseClass或 m_pfnGetBaseClass遍历整个类层次确定是否pBaseClass指向的类是基类, //使用它可以判断某类是否是从pBaseClass指向的类在派生来。 BOOL IsDerivedFrom(const CRuntimeClass* pBaseClass) const; // Implementation void Store(CArchive& ar) const; static CRuntimeClass* PASCAL Load(CArchive& ar, UINT* pwSchemaNum); // 单向链表,每个类的CRuntimeClass结构体对象的 m_pNextClass 都指向其直接基类的CRuntimeClass结构体对象 // 这一点可以在IMPLEMENT_RUNTIMECLASS 宏定义中看到 CRuntimeClass* m_pNextClass; // linked list of registered classes };
二、CObject类
CObject是MFC类的大多数类的基类,主要是通过它实现:
(1)、运行类信息;(2)、序列化;(3)、对象诊断输出;(4)、同集合类相兼容;
(1)、运行时类信息:
注意:要想使用CRuntimeClass结构得到运行时类信息,你必须在你的类中包括DECLARE_DYNAMIC/IMPLEMENT_DYNAMIC、 DECLARE_DYNCREATE/IMPLEMENT_DYNCREATE或DECLARE_SERIAL/IMPLEMENT_SERIAL。但你的类必须是从CObject派生的才能使用这些宏, 因为通过DECLARE_DYNAMIC将定义一个实现如下的函数:
CRuntimeClass* PASCAL B::_GetBaseClass()
{
return RUNTIME_CLASS(base_name);
}
其中的RUNTIME_CLASS是这样定义的
#define RUNTIME_CLASS( class_name ) \ (CRuntimeClass *)(&class_name::class##class_name);
即得到类中的CRuntimeClass对象指针,显而易见,如果没有基类你用IMPLEMENT_DYNAMIC时将得到一个编译错误。 除非你象CObject一样不用DECLARE_DYNAMIC而定义和实现了这些函数,CObject中的GetBaseClass只是简单的返回NULL。 实际的DECLARE_DYNAMIC在afx.h中声明如下:
#define DECLARE_DYNAMIC(classname) \ protected: \ static CRuntimeClass* PASCAL _GetBaseClass(); \ public: \ // 为使用DECLARE_DYNAMI宏的类声明一个静态CRuntimeClass对象,并且指定其名字为“class” + “class_name” //##class_name 在预处理阶段会被自动翻译为后面class_name static const AFX_DATA CRuntimeClass class##class_name; \ virtual CRuntimeClass* GetRuntimeClass() const; \
IMPLEMENT_DYNAMIC在afx.h中定义如下:
#define IMPLEMENT_DYNAMIC(class_name, base_class_name) \ IMPLEMENT_RUNTIMECLASS(class_name, base_class_name, 0xFFFF, NULL) #define IMPLEMENT_RUNTIMECLASS(class_name, base_class_name, wSchema, pfnNew) \ CRuntimeClass* PASCAL class_name::_GetBaseClass() \ { return RUNTIME_CLASS(base_class_name); } \ // 初始化类class_name的CRuntimeClass静态变量,注意与CRuntimeClass结构体的定义对应观察: // 其m_pNextClass被赋值为&class_name::_GetBaseClass,而_GetBaseClass的定义如上,其直接返回 // 了基类的CRuntimeClass变量,这与上面对 m_pNextClass的解释吻合。 AFX_COMDAT const AFX_DATADEF CRuntimeClass class_name::class##class_name = { \ #class_name, sizeof(class class_name), wSchema, pfnNew, \ &class_name::_GetBaseClass, NULL }; \ //重写GetRuntimeClass虚函数,这个函数最初的定义在CObject中,重写后,将返回子类自己的GetRuntimeClass变量 CRuntimeClass* class_name::GetRuntimeClass() const \ { return RUNTIME_CLASS(class_name); } \
总而言之,DECLARE_DYNAMIC(用于类的定义体中)与 IMPLEMENT_RUNTIMECLASS(用于类的实现文件中)这两个宏,主要就是在预处理阶段自动生成(更准确说应该是宏翻译转换)用于类运行时检查的函数和变量,主要包括获取其基类的CRuntimeClass变量的函数_GetBaseClass,类本身的CRuntimeClass静态变量定义,同时将类本身的CRuntimeClass静态变量与其基类的CRuntimeClass静态变量绑定起来,使得子类的该变量可以直接访问到基类的变量,并且这种绑定是从子类到其基类递归进行的。在运行时判断类信息时,就可以通过类的CRuntimeClass静态变量来进行对比,从而判断出该类是否是相应的类型,这便是CObject中接口函数IsKindOf函数的作用,其实现类似于下面的过程:
BOOL CObject::IsKindOf(const CRuntimeClass *pClass) const { CRuntimeClass *pClassThis = GetRuntimeClass(); while (pClassThis != NULL) { // 检查CRuntimeClass静态变量是否相同,若相同,则表示所检查的pClass是对的
if (pClassThis == pClass) { return TRUE; } pClassThis = pClassThis->m_pBaseClass; } return FALSE; }
其中的CRuntimeClass* GetRuntimeClass() const;被定义为虚函数,以完成在类层次上的重载。 这也是MFC利用多态实现运行时动态类信息的方法。
另外两个DECLARE_DYNCREATE和DECLARE_SERIAL类似。只不过它们多定义和实现了一些函数,对于使用DECLARE_DYNCREATE 要注意的是类必须要有一个无参数的缺省构造函数,因为在DECLARE_DYNCREATE中定义了一个CreateObject函数 用以在动态的建立对象,它只是一条简单的return new class_name。
我们先来看一下序列化:
,CObject实现这些功能绝大部分是通过它里面的CRuntimeClass对象classObject实现的,
CObject不支持多重继承,即表示以CObject为基类的类层次中只能有一个CObject基类。
之所以会这样,就是因为CRuntimeClass对象的成员m_pBaseClass的关系。因为它只是一个单链表。
以下是它在afx.h中的定义:
///////////////////////////////////////////////////////////////////////////// // class CObject is the root of all compliant objects #ifdef _AFXDLL class CObject #else class AFX_NOVTABLE CObject #endif { public: // Object model (types, destruction, allocation) virtual CRuntimeClass* GetRuntimeClass() const; // 上面的函数的实现只是很简单的return RUNTIME_CLASS(classObject); virtual ~CObject(); // virtual destructors are necessary // Diagnostic allocations void* PASCAL operator new(size_t nSize); void* PASCAL operator new(size_t, void* p); void PASCAL operator delete(void* p); #if _MSC_VER >= 1200 void PASCAL operator delete(void* p, void* pPlace); #endif #if defined(_DEBUG) && !defined(_AFX_NO_DEBUG_CRT) // for file name/line number tracking using DEBUG_NEW void* PASCAL operator new(size_t nSize, LPCSTR lpszFileName, int nLine); #if _MSC_VER >= 1200 void PASCAL operator delete(void *p, LPCSTR lpszFileName, int nLine); #endif #endif // Disable the copy constructor and assignment by default so you will get // compiler errors instead of unexpected behaviour if you pass objects // by value or assign objects. protected: CObject(); private: CObject(const CObject& objectSrc); // no implementation void operator=(const CObject& objectSrc); // no implementation // Attributes public: BOOL IsSerializable() const; // 对对象进行序列化 BOOL IsKindOf(const CRuntimeClass* pClass) const; //判是否是 // Overridables virtual void Serialize(CArchive& ar); #if defined(_DEBUG) || defined(_AFXDLL) // Diagnostic Support virtual void AssertValid() const; virtual void Dump(CDumpContext& dc) const; #endif // Implementation public: static const AFX_DATA CRuntimeClass classCObject; #ifdef _AFXDLL static CRuntimeClass* PASCAL _GetBaseClass(); #endif }; 参考链接:
1 http://bbs.released.cn/read.php?tid-367.html
2http://dev.csdn.net/htmls/3/3526.html