理解C++的RTTI

C++的RTTI包含三部分内容：dynamic_cast, typeid和type_info（很少直接使用，但是需要了解一下，type_info的定义是由编译器定的，但是共同的是它包含一个name()函数）。

 

#include <iostream>
#include <typeinfo>

using  namespace std;

class Base1
{
};
class Derive1 :  public Base1
{
};
class Base2
{
     virtual  void fun(  void ) {}
};
class Derive2 :  public Base2
{
};
class Derive22 :  public Base2
{
};
int main(  void )
{
     //  sample 1
    cout << typeid( 1.1f).name() << endl; //  输出float
     //  sample 2
    Derive1 d1;
    Base1& b1 = d1;
    cout << typeid(b1).name() << endl;  //  输出"class Base1",因为Derive1和Base1之间没有多态性

     //  sample 3
    Derive2 d2;
    Base2& b2 = d2;
    cout << typeid(b2).name() << endl;  //  输出"class Derive2",因为Derive1和Base1之间有了多态性

     //  sample 4
     //  指针强制转化失败后可以比较指针是否为零，而引用却没办法，所以引用制转化失败后抛出异常
    Derive2* pb1 = dynamic_cast<Derive2*>(&b2);
    cout << boolalpha << ( 0!=pb1) << endl;  //  输出"true",因为b2本身就确实是Derive2
    Derive22* pb2 = dynamic_cast<Derive22*>(&b2);
    cout << boolalpha << ( 0!=pb2) << endl;  //  输出"true",因为b2本身不是Derive2
     //  引用转化
     try {
        Derive2& rb1 = dynamic_cast<Derive2&>(b2);
        cout <<  " true " << endl;
    }  catch( bad_cast )
    {
        cout <<  " false " << endl;
    }
     try {
        Derive22& rb2 = dynamic_cast<Derive22&>(b2);
        cout <<  " true " << endl;
    }  catch( ... )  //  应该是 bad_cast,但不知道为什么在VC++6.0中却不行
    {
        cout <<  " false " << endl;
    }

     return  0;
}

 

下面的程序演示typeid的使用：

#include <iostream>
#include <typeinfo>

using  namespace std;

class A
{
     virtual  void func(){};
};
 
class B: public A
{
     void func(){};
};
 
int main()
{
   A *pa;
   B b,*pb;
   pb = &b;
   pa = pb;
   std::cout<< " Name1: "
        << (typeid(pa).name()) <<endl;
   std::cout<< " Name2: "
        <<(typeid(pb).name())
        <<endl;
 
   std::cout<<boolalpha<< " *pa == *pb: "<< (typeid(*pa) == typeid(*pb))<<endl;
    return  0;
}

输出是：

Name1:class A *
Name2:class B *
*pa == *pb:true

typeid(pa)返回的是指针类型。如果要返回对象的类型需要使用引用或者对象作为参数传递给typeid。

dynamic_cast是个运行时操作，但是它完全依赖虚函数表，如果某个两个类之间有继承关系，但是没有虚函数，那么dynamic_cast不能进行转化，也不能从void *都某个具体类的转化，会报告编译时错误。