[C++对象模型][10]类型转化

 

一 typeid与dynamic_cast

1）RTTI, Runtime Type Identification (RTTI) or Run-time type information (RTTI)，表示在运行时动态决定变量的类型，来调用正确的虚函数。 RTTI在VS2008中默认为关闭，可以通过修改编译选项Enable Run-Time Type Info 为 Yes，来启用RTTI，只有当启动RTTI时，用来RTTI功能的typeid和dynamic_cast才能正常工作。

2）type_info，用来描述类型信息。type_info存储了它所描述的类型的名字。RTTI就是使用type_info来实现的。type_info的定义如下：

Code
class type_info {
public:
  virtual ~type_info();
  bool operator== (const type_info& rhs) const;
  bool operator!= (const type_info& rhs) const;
  bool before (const type_info& rhs) const;
  const char* name() const;
private:
  type_info (const type_info& rhs);
  type_info& operator= (const type_info& rhs);
};

 

问题：RTTI怎么实现那？对象，type_info，虚函数怎么关联那？《深入C++对象模型》中说在虚函数表的开始存储了类型信息？经过高手指点确实是在虚函数表的前面还有一个指针来存储RTTICompleteObjectLocator，其中包含类型信息TypeDescriptor，类型继承信息RTTIClassHierarchyDescriptor，类继承信息里包含了基类的信息RTTIBaseClassArray。可以参考：http://www.cppblog.com/dawnbreak/archive/2009/03/12/76354.html。

3）typeid，在运行时获得对象的类型，typeid()返回的是const type_info&，而 type_info包含了对象真实类型的名字。typeid能被用来获取一个引用对象或指针指向的对象的运行时的真实类型。当然如果对象为null或编译时没有使用/GR的话，typeid的会抛出异常bad_typeid exception或__non_rtti_object。实例代码：

Code
class Base 
{
public:
    virtual void f(){ }
};
 
class Derived : public