java有着一个非常突出的动态相关机制:reflection,用在java身上指的是我们可以于运行时加载、探知、使用编译期间完全未知的classes。换句话说,java程序可以加载一个运行时才得知名称的class,获悉其完整构造(但不包括methods定义),并生成其对象实体、或对其fields设值、或唤起其methods。然而c 是不支持反射机制,虽然c 有rtti(运行时类型识别)。但是想要实现c 对象序列化,序列化就是存储到磁盘上,将对象变成一定格式的二进制编码,然后要用的时候再将保存在磁盘上的二进制编码转化成一个内存中的对象,这个过程中总是需要有一个指示来告诉编译器要生成什么样的对象,最简单的方式当然就是类名了,例如:将一个classxxx对象存储到磁盘上,再从磁盘读取的时候让编译器根据“classxxx”名称来new一个对象。
classt* obj = factorycreate("classt");
类似于以上的语法,虽然c 没有自带的语法可以实现,但是我们可以自己通过其他方法来实现。(由于本人能力有限,所以该篇博客只是讲解如何简单的实现这个反射机制,而对c 中拥有这个反射机制是否有必要不做任何讨论。当然,如果博客中有什么地方说的有错误还望大家可以在下面评论指出谢谢)
1.我们很容易可以想到可以使用简单工厂模式来实现这个效果:比如
class object
{
public:
virtual string tostring() = 0;
};
这个是所有需要实现反射机制的类需要继承的基类,然后派生出来的类只需要再实现这个tostring即可。例如:
class myclass :public object
{
public:
virtual string tostring(){ return "myclass"; }
};
然后就是用于产生对象的工厂。
object* factorycreat(const string& classname)
{
if (classname == "classa")
return new classa;
else if (classname == "classb")
return new classb;
else if(classname == "classc")
return new classc;
else if(classname == "classd")
return new classd;
else if(classname == "classe")
return new classe;
...
}
我们使用就可以这样:
int main()
{
object* obj = factorycreat("myclass");
cout << obj->tostring();
delete obj;
return 0;
}
我们使用简单工厂模式感觉好像是解决了问题,可以实现用字符串去new一个对应的对象,但是假如我们要新建一个类或者修改一个类,那么这个factorycreat都要进行修改。十分不利于维护。所以我们需要换一个方式来处理。
2.工厂模式结合回调机制。
首先我们要梳理一下这个方法的基本脉络: 1.工厂内部需要有个映射,也就是一个字符串对应一个类new的方法。 2.工厂给出一个接口,我们传入字符串,那么返回这个字符串对应的方法new出来的对象指针。 3.我们新建的类,如果需要支持反射机制,那么这个类需要自动将自己的new方法和名字注册到工厂的映射中。
ok,如果我们能完成以上几个要求,那么我们在类进行拓展的时候需要改动的地方就十分少了。对于工厂的代码我们基本上是不会改变的。也就基本上实现了我们c 反射机制的基本功能。
下面我们来一步一步解析代码: 首先我们还是需要一个object作为需要支持反射机制类的基类
//reflex.h
class object
{
public:
object(){}
virtual ~object(){}
static bool register(classinfo* ci); //注册传入一个classinfo(类信息),将这个类的信息注册到映射中
static object* createobject(string name); //工厂生产对象的接口
};
然后是实现:
//reflex.cpp
static std::map< string, classinfo*> *classinfomap = null;
bool object::register(classinfo* ci)
{
if (!classinfomap) {
classinfomap = new std::map< string, classinfo*>(); //这里我们是通过map来存储这个映射的。
}
if (ci) {
if (classinfomap->find(ci->m_classname) == classinfomap->end()){
classinfomap->insert(std::map< string, classinfo*>::value_type(ci->m_classname, ci)); // 类名 <-> classinfo
}
}
return true;
}
object* object::createobject(std::string name)
{
std::map< string, classinfo*>::const_iterator iter = classinfomap->find(name);
if (classinfomap->end() != iter) {
return iter->second->createobject(); //当传入字符串name后,通过name找到info,然后调用对应的creatobject()即可
}
return null;
}
剩下的我们还需要一个classinfo类就大功告成了:
//reflex.h
typedef object* (*objectconstructorfn)(void);
class classinfo
{
public:
classinfo(const std::string classname, objectconstructorfn ctor)
:m_classname(classname), m_objectconstructor(ctor)
{
object::register(this); //classinfo的构造函数是传入类名和类对应的new函数然后自动注册进map中。
}
virtual ~classinfo(){}
object* createobject()const { return m_objectconstructor ? (*m_objectconstructor)() : 0; }
bool isdynamic()const { return null != m_objectconstructor; }
const std::string getclassname()const { return m_classname; }
objectconstructorfn getconstructor()const{ return m_objectconstructor; }
public:
string m_classname;
objectconstructorfn m_objectconstructor;
};
有了这些类后,我们只需要让需要支持反射的类满足以下要求即可: 1.继承object类。 2.重载一个creatobject()函数,里面 return new 自身类。 3.拥有一个classinfo的成员并且用类名和creatobject初始化。 满足以上三个要求的类我们就可以利用反射机制来创建对象了。我们可以看下面的例子:
class b : public object
{
public:
b(){ cout << hex << (long)this << " b constructor!" << endl; }
~b(){ cout << hex << (long)this << " b destructor!" << endl; }
virtual classinfo* getclassinfo() const{ return &ms_classinfo; }
static object* createobject() { return new b; }
protected:
static classinfo ms_classinfo;
};
classinfo b::ms_classinfo("b", b::createobject);
使用的话我们就只需要调用object::creatobject(string) 传入类名即可。
int main()
{
object* obj = object::createobject("b");
delete obj;
return 0;
}
基本上反射机制的功能就实现了,而且使用回调注册在后期拓展上也容易维护。
其实大家发现,因为我们要让类支持反射那么就要满足我们上面的那三个要求,但是每个类都要写这样相似的东西。仔细一看,包括函数申da's明、函数定义、函数注册,每个类的代码除了类名外其它都是一模一样的,有没有简单的方法呢? 那就是使用宏。
//reflex.h
//类申明中添加 classinfo 属性 和 creatobject、getclassinfo 方法
#define declare_class(name) \
protected: \
static classinfo ms_classinfo; \
public: \
virtual classinfo* getclassinfo() const; \
static object* createobject();
//实现creatobject 和 getclassinfo 的两个方法
#define implement_class_common(name,func) \
classinfo name::ms_classinfo((#name), \
(objectconstructorfn) func); \
\
classinfo *name::getclassinfo() const \
{return &name::ms_classinfo;}
//classinfo 属性的初始化
#define implement_class(name) \
implement_class_common(name,name::createobject) \
object* name::createobject() \
{ return new name;}
有了宏替换后,我们定义一个新的类。 只需要在类定义中添加 declare_class(classname) 实现中添加implement_class(classname)就可以让这个类实现反射了。 例如我们上面的类b就可以这样写:
class b : public object
{
declare_class(b)
public:
b(){ cout << hex << (long)this << " b constructor!" << endl; }
~b(){ cout << hex << (long)this << " b destructor!" << endl; }
};
implement_class(b)
这样不管以后需要添加、修改什么功能都只需要修改宏就可以了而不需要每个类每个类去添加、修改方法。
ok到这里基本上,c 反射机制的实现就大功告成了!。