c++ 完备的运行时类型信息(动态类型信息)

可能可以有简洁的方式，比如不需要引入TypeInfoImp，但是实际最终证明TypeInfoImp的方式最具灵活性也最能节省代码。最起码，它在自定义的struct或者class就很方便，只要改struct内部包含一个GetTypeInfo()的函数，它就可以被纳入TypeOf体系中，非常方便。对于模板类型的TypeInfoImp，就要用到哈希表了。比如，对于std::paira的类型信息，如下实现，

template<typename FstTy,typename SndTy>
struct TypeInfoImp < std::pair<FstTy,SndTy> >
{
static const bool value = true;
typedef TypeInfoImp < std::pair<FstTy,SndTy> > type;
static TypeInfo* GetTypeInfo()
{
ParamsTypeInfo<FstTy,SndTy> args;
return PodPair::LookupTemplateTypeInfo(args);
}
};

提取其类型参数的const TypeInfo*，生成数组。用此数组到PodPair的哈希表里面查找，如果哈希表中以有此类型数组参数的对象就返回，否则见创建一个添加一条哈希条目，然后返回。每一个泛型类型，比如vector，list，pair都有一个属于自己的哈希表。
打完收工。原理很简单，但是对于工业级的反射库，要考虑很多细节，比如，TypeInfo对象的内存管理；怎么为enum类型生成一堆字符串，以支持字符串和enume值的互相转换；生成并保存class的构造函数和析构函数指针；命名空间的支持；仿真C#里面的attribute；如何以最方便的方式生成成员字段或者成员函数信息等等，一句话，就是他妈的体力活。但是，回报是很丰盛的，这里的苦力活做完之后，程序的其他地方上，基本上，就没有什么重复相似的代码，一切的体力工作全部就可以压在类型信息这里了。

（编辑：南平站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!