RTTI（Run-Time Type Identification，运行时类型识别）

RTTI（Run-Time Type Identification，运行时类型识别）

dynamic_cast

【格式】：dynamic_cast < type-id > ( expression)

该运算符把expression转换成type-id类型的对象。Type-id可以是类的指针、类的引用或者void*。如果type-id是类指针类型，那么expression也必须是一个指针，如果type-id是一个引用，那么expression也必须是一个引用。

【作用】：将一个基类对象指针（或引用）cast到继承类指针，dynamic_cast会根据基类指针 是否真正指向继承类对象来做相应处理， 即会作出一定的判断。

若对指针进行dynamic_cast，失败返回null，成功返回正常cast后的对象指针；

若对引用进行dynamic_cast，失败抛出一个异常，成功返回正常cast后的对象引用。

【注意】：

1、dynamic_cast在将父类cast到子类时， 父类必须要有虚函数，否则编译器会报错。

2、 dynamic_cast主要用于类层次间的上行转换和下行转换，还可以用于类之间的交叉转换。

在类层次间进行 上行转换时，dynamic_cast和static_cast的效果是一样的；

在进行下行转换时，dynamic_cast具有类型检查的功能，比static_cast更安全。

下面通过一个简单的例子来说明dynamic_cast的作用：

// 我是父类

class Tfather

{

public :

        virtual void f() { cout << "father's f()" << endl; }

};

// 我是子类

class Tson : public Tfather

{

public :

        void f() { cout << "son's f()" << endl; }

        int data; // 我是子类独有成员

};

int main()

{

        Tfather father;

        Tson son;

       son.data = 123;

        Tfather * pf;

        Tson * ps;

        /* 上行转换：没有问题，多态有效 */

       ps = &son;

       pf = dynamic_cast < Tfather *>(ps);

       pf->f();

        /* 下行转换（pf实际指向子类对象）：没有问题 */

       pf = &son;

       ps = dynamic_cast < Tson *>(pf);

       ps->f();

       cout << ps->data << endl;            // 访问子类独有成员有效

        /* 下行转换（pf实际指向父类对象）：含有不安全操作，dynamic_cast发挥作用返回NULL */

       pf = &father;

       ps = dynamic_cast < Tson *>(pf);

        assert (ps != NULL );                         // 违背断言，阻止以下不安全操作

       ps->f();

       cout << ps->data << endl;            // 不安全操作，对象实例根本没有data成员

        /* 下行转换（pf实际指向父类对象）：含有不安全操作，static_cast无视 */

       pf = &father;

       ps = static_cast < Tson *>(pf);

        assert (ps != NULL );

       ps->f();

       cout << ps->data << endl;            // 不安全操作，对象实例根本没有data成员

       system( "pause" );

}

typeid

定义：typeid是C++的关键字之一，等同于sizeof这类的操作符。typeid操作符的返回结果是名为type_info的标准库类型的对象的引用。

如果表达式的类型是类类型且至少包含有一个虚函数，则typeid操作符返回表达式的动态类型（只在指针解引用和引用时体现），需要在运行时计算；否则，typeid操作符返回表达式的静态类型，在编译时就可以计算。

1.当typeid操作符的操作数是不带有虚函数的类类型时，typeid操作符会指出操作数的类型，而不是底层对象的类型。2.如果typeid操作符的操作数是至少包含一个虚拟函数的类类型时，并且该表达式是一个基类的引用或是指针解引用，则typeid操作符指出底层对象的派生类类型。

#include <iostream>

using namespace std;

class Base {

    virtual void f() {};

};

#define OUTPUT (f)     cout << #f << "\t: " << typeid (f).name() << endl;

class BaseA {};

class DeriveA : public BaseA {};

class BaseB

{

        virtual void f() {}

};

class DeriveB : public BaseB {};

int main()

{

       cout << "-------直接处理类名-------" << endl;

        OUTPUT ( BaseA );

        OUTPUT ( DeriveA );

        OUTPUT ( BaseB );

        OUTPUT ( DeriveB );

       cout << endl << "-------基类不含虚函数-------" << endl;

        BaseA baseA;

        DeriveA deriveA;

        OUTPUT (baseA);

        OUTPUT (deriveA);

        BaseA * pa;

       pa = &baseA;

        OUTPUT (*pa);

        OUTPUT (pa);

       pa = &deriveA;

        OUTPUT (*pa);

        OUTPUT (pa);

        BaseA & A1 = baseA;

        BaseA & A2 =deriveA;

        OUTPUT (A1);

        OUTPUT (A2);

       cout << endl << "-------基类含有虚函数-------" << endl;

        BaseB baseB;

        DeriveB deriveB;

        OUTPUT (baseB);

        OUTPUT (deriveB);

        BaseB * pb;

       pb = &baseB;

        OUTPUT (*pb);

        OUTPUT (pb);

       pb = &deriveB;

        OUTPUT (*pb);

        OUTPUT (pb);

        BaseB & B1 = baseB;

        BaseB & B2 = deriveB;

        OUTPUT (B1);

        OUTPUT (B2);

        return 0;

}