理解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 *都某个具体类的转化，会报告编译时错误。