所谓内省是指面向对象语言的一种在运行期间查询对象信息的能力, 比如如果该语句有运行期间检查对象类型的能力,那么我们称它是类型内省(type intropection)的,类型内省可以用来实施多态。
c++的内省比较有限,它仅支持上面所说的类型内省, C++的类型内省是通过运行时类型识别(RTTI)(Run-Time Type Information)中的typeid 以及 dynamic_cast关键字来实现的,举例说明:
// rabbit 派生于 Animal, jump为虚函数
if ( rabbit *p = dynamic_cast<Animal*>(obj))
{
p->jump();
}
//我们还可以通过typeid萃取到对象的类型信息,比如对象的名称
std::cout << typeid(obj).name() << std::endl
Qt拓展了C++的内省机制,(实际上,它并没有采用c++的RTTI),而是提供了更为强大的元对象(meta object)机制,来实现内省。要深刻理解Qt的内省机制,首先理解QObject,QObject类是整个Qt对象模型的心脏,Qt对象模型最为核心的功能是提供一种无缝的对象通讯机制,即就是我们所熟知的信号和槽。
//每个对象可以通过QObject::setObjectName()和QObject::objectName()设置、取得类的实例的名字
FirstQtApp obj;
obj.setObjectName("instanceName");
QString name1 = obj.objectName(); // return instanceName
//每个对象还可以通过它的元对象className方法得到类的名字
QString name2 = obj.metaObject()->className(); // return FirtstQtApp
//每个对象可以通过QObject::inherits方法来查询是否派生于某类
bool isherited = obj.inherits("QObject"); // returns true
isherited = obj.inherits("QWideget"); // returns true
让我们再来一下QObject::inherits方法的底层实现:
inline bool inherits(const char *classname) const
{ return const_cast<QObject *>(this)->qt_metacast(classname) != 0; }
原来,QObject::inherits是通过qt_metacast()这个虚函数实现的, 事实上每个QObject的派生类都必须实现metaObject()以及其他qt_metacall()方法,从而满足自省方法className, inherits等方法的调用(当然还有其他用途)。
而所有有关派生从QObject的子类中的内省方法无须有用户实现,用户只要在类中声明宏Q_OBJECT即可,Qt的元对象编译器(moc)负责实现派生从QObject的子类中的内省方法。
// defined at ../Qt/src/corelib/kernel/qobjectdefs.h
#define Q_OBJECT /
public: /
Q_OBJECT_CHECK /
static const QMetaObject staticMetaObject; /
Q_OBJECT_GETSTATICMETAOBJECT /
virtual const QMetaObject *metaObject() const; /
virtual void *qt_metacast(const char *); /
QT_TR_FUNCTIONS /
virtual int qt_metacall(QMetaObject::Call, int, void **); /
此外,所有的Qt widgets类均继承自QObject, QObject所提供的isWidgetType自省方法可以很方便让QObject子对象查询自己是否是wideget, 而且它会比 qobject_cast<QWidget *>(obj) 或者 obj->inherits快很多。原因qobject_cast()t和inherits()都是借助元对象系统来实现其功能的,isWidgetType()是QObject本身的标志位得以实现。
更多自省方法定义在QMetaObject,以下是QMetaObject声明的源代码:
struct Q_CORE_EXPORT QMetaObject
{
const char *className() const;
const QMetaObject *superClass() const;
QObject *cast(QObject *obj) const;
....
int methodOffset() const;
int enumeratorOffset() const;
int propertyOffset() const;
int classInfoOffset() const;
int constructorCount() const;
int methodCount() const;
int enumeratorCount() const;
int propertyCount() const;
int classInfoCount() const;
int indexOfConstructor(const char *constructor) const;
int indexOfMethod(const char *method) const;
int indexOfSignal(const char *signal) const;
int indexOfSlot(const char *slot) const;
int indexOfEnumerator(const char *name) const;
int indexOfProperty(const char *name) const;
int indexOfClassInfo(const char *name) const;
...
}
上述方法主要是实现对元对象表的访问及其操作,对元对象表(由moc实现)实例如下所示:
// defined at ../Qt/src/corelib/kernel/qobjectdefs.h
#define Q_OBJECT /
public: /
Q_OBJECT_CHECK /
static const QMetaObject staticMetaObject; /
Q_OBJECT_GETSTATICMETAOBJECT /
virtual const QMetaObject *metaObject() const; /
virtual void *qt_metacast(const char *); /
QT_TR_FUNCTIONS /
virtual int qt_metacall(QMetaObject::Call, int, void **); /
总结:
1. Qt是通过QObject、QMetaObject类实现其内省机制,
2. QObject暴露给用户的共有自省方法有objectName(), inherits(), isWidgetType()等
3. 大多数自省方法是QObject派发给QMetaObject实现 (e.g. QMetaObject::className,),元对象模型编译器moc负责自省方法的实现
4. 更多自省方法定义在QMetaObject,而是为了等信号槽通讯、事件派发等机制,