用typelist实现RUNTIMECLASS机制

 

一.RUNTIMECLASS机制

最有名的就是MFC中的RUNTIMECLASS机制，它给每个类创建一个对应的RUNTIMECLASS类。然后将所有的RUNTIMECLASS类链成一个链表，链表中还记录了类之间的派生关系。

RUNTIMECLASS机制无非可以有两点好处：

1.根据对象名创建一个对象

CObject* PASCAL CreateObject(LPCSTR lpszClassName);

2.动态判断型别

BOOL IsKindOf(const CRuntimeClass* pClass) const;

特别是第二点，给编程带来很大的灵活性，程序员可以在向父类的指针集合中，找出感兴趣的子类的指针，然后进行向下类型转换处理。

for(vector<IAbstract*>::iterator it = vPtrs; it != vPtrs.end(); ++it)

{

　　　　if ((*it)->IsKindOf(GetRuntimeClass(CConcreteA)))

　　　　{

　　　　　　　　CConcreteA* pA = static_cast<CConcreteA*>(*it);

　　　　　　　　....

　　　   }

}

 

二. typelist

 

学习了《C++设计新思维》，当时在看完typelist之后什么感觉也没有，它能做什么呢？用它来生成那宠杂的自动生成继承体系吗？有多少实际项目会那么做呢？

经过后来的学习，我至少发现了typelist有两个地方有用。

1.typelist可以用作类厂

详细的实现可以见这个帖子的讨论：http://topic.csdn.net/t/20041009/16/3437898.html

 

2.typelist可用作存储多类型的链表

boost::tuple便是借助于typelist实现的。

 

如：

boost::tuple<int,double,std::string>   triple(42,3.14,"My first tuple!");

支持这种元组背后的代码如下：

template <class HT, class TT> struct cons { typedef HT head_type; typedef TT tail_type; typedef typename detail::wrap_non_storeable_type<head_type>::type stored_head_type; stored_head_type head; tail_type tail; ... }; 

可以看到，为typelist增加两个成员head， tail来保存不用的类型的值。

三.用typelist来实现RUNTIMECLASS

 

看了typelist的两个应用，现在用它来实现RUNTIMECLASS机制如何？

RUNTIMECLASS的动态型别的创建功能已经在typelist的第一个应用——类厂中实现。那么，如何实现动态类型判断呢？这时我们要用到编译期型别侦察的利器:Conversion

template <class T, class U> class Conversion { typedef char Small; class Big { char dummy[2]; }; static Small Test(U); static Big Test(...); static T MakeT(); public: enum { exists = sizeof(Test(MakeT())) == sizeof(Small) }; enum { sameType = false }; }; 

它可以用来在编译期侦察T类型是否可以转换为U类型。

有了这样一个强大的类，似乎可以重新定制一份自己的IsKindOf。

 

 

我第一下想到的就是要制作一个这个函数

bool IsKindOf(const char* lpszBase, const char* lpszGenerated)

传入两个类名，判断一个类是否是另一个类的子类，但这样有个问题：两个参数同时传入typelist，typelist只能通过递归来遍历它的每一个型别，因此，在递归的任意一层，我只能取得当前层的型别，而不能同时取出list中的两个型别，这样的话，我如何同时把两个对应的字符串转化为对应的型别，从而调用Conversion？

那么只能改造IsKindOf方法，一般来说，动态类型判断时，需要判断的目标类型是编译时已知的，因此，IsKindOf必须做成模板类

template <typename SuperClass>

bool IsKindOf(const char* lpszGenerated);

问题解决：代码如下：

#include "stdafx.h" #include <Windows.h> #include <sstream> using namespace std; typedef struct NULL_TYPE NullType; template <class T, class U> class Conversion { typedef char Small; class Big { char dummy[2]; }; static Small Test(U); static Big Test(...); static T MakeT(); public: enum { exists = sizeof(Test(MakeT())) == sizeof(Small) }; enum { sameType = false }; }; template<typename T, typename U = NullType> struct Typelist { typedef T Head; typedef U Tail; template<typename SuperClass> static bool IsKindOf(const char *pName) { if (strcmp(Head::m_classname, pName) == 0 ) { return Conversion<Head*, SuperClass*>::exists; } else { return Tail::IsKindOf<SuperClass>(pName ); } } }; template <typename T> struct Typelist< T, NullType> { public: typedef T Type; template<typename SuperClass> static bool IsKindOf(const char *pName) { if ( strcmp(Type::m_classname, pName) == 0 ) { return Conversion<Type*, SuperClass*>::exists; } else { return false; } } }; class CGameObj { public: virtual const char* getClassName() { return m_classname; } static char* m_classname ; }; char* CGameObj::m_classname = "CGameObj"; class CActor : public CGameObj { public: virtual const char* getClassName() { return m_classname; } static char* m_classname; }; char* CActor::m_classname = "CActor"; class CGraphInst { public: virtual const char* getClassName() { return m_classname; } static char* m_classname; }; char* CGraphInst::m_classname = "CGraphInst"; class CGraphInstConcrete: public CGraphInst { public: virtual const char* getClassName() { return m_classname; } static char* m_classname; }; char* CGraphInstConcrete::m_classname = "CGraphInstConcrete"; typedef Typelist<CGraphInstConcrete, Typelist< CActor, Typelist <CGameObj, Typelist <CGraphInst> > > > mytypelist; template<class SuperClass> bool IsKindOf(const CHAR* pA) { return mytypelist::IsKindOf<SuperClass>(pA); } int main(int argc, char* argv[]) { CGameObj* pa = new CActor; CGraphInstConcrete* pGI = new CGraphInstConcrete; cout << IsKindOf<CActor>(pa->getClassName()) << endl; cout << IsKindOf<CGraphInst>(pa->getClassName()) << endl; cout << IsKindOf<CGraphInst>(pGI->getClassName()) << endl; return 0; }

 

其中CActor派生自CGameObj， CGraphInstConcrete派生自CGraphInst，CGameObj和CGraphInst没有关系。结果是

 

1

 

0

 

1

 

正是所期望的。

 

这种方法比RUNTIMECLASS的好处在于RUNTIMECLASS太重了，

 

typelist方法中每个类只要一个静态成员保存类型名

 

RUNTIMECLASS至少比typelist方式多出两个静态成员m_pBaseClass， m_pNextClass，这些静态成员的关系在typelist中通过Conversion很淫的编译时运算就已经构建了，所以typelist没有这些多的成员

 

从速度上来讲，我觉得和RUNTIMECLASS差不多。只要把不同继承体系的类分开到不同的typelist中的话，速度应该是不比RUNTIMECLASS差。当然，上面的测试代码把所有不相干的类都混在一起了，这肯定会增加判定过程。