[c++ primer plus]RTTI运行阶段类型识别

RTTI只适用于包含虚函数的类。因为RTTI是以虚函数表（vptr）为基础实现的，而且只要存在派生，则基类的析构函数必然是虚函数，因此这一点不必深究。

1. dynamic_cast操作符：意在“是否可以安全转化”

classB* pB = dynamic_cast<classB *> (&classD);

 如果classD是派生，classB是基类，则可以安全转化，得到指针；反之，指针为NULL。

class Grand
...{
pulbic:
    virtual void Speak();
}; 

class Superb : public Grand
...{
public:
    virtual void Speak();
    virtual void Say();
};

class Magnificent : public Superb
...{
public:
    virtual void Speak();
    virtual void Say();
};

Grand* GetOne()   //指针会退化到基类
...{
    Grand* p = new Grand/Superb/Magnificent;
    return p;
}

main()
...{
    Grand*  pg = NULL;
    SuperB* ps = NULL;
    pg = GetOne();
    pg->Speak();     //任何类都有，因此可以调用            
    ps = dynamic_cast<SuperB*>(pg); //只有SuperB/Magnificent可以安全转换
    if (ps != NULL)
    ...{
        ps->Say();
    }
    else
    ...{
        cout << "dynamic_cast fail" << endl;
    }
}

dynamic_cast可用于“引用”的转化，请求不正确时，会引发类型为bad_cast的异常。

try 
...{
    Superb& rs = dynamic_cast<Superb &>(rg);
}
catch (bad_cast &)
...{
};

2. typeid操作符和type_info类

typeid接受两种参数：类和对象，type_info是typeid的返回值类型，type_info重载了“==”和“!=”，可以直接进行比较。如下：

typeid(Magnificent) == typeid(*pg);    //如果pg为空指针，会引发bad_typeid异常。

type_info有const char* name()成员函数，用来返回一个字符串——类名称。

pg = GetOne();
cout << "processing class name: " << typeid(*pg).name() << endl;
if (typeid(Magnificent) == typeid(*pg))
...{
    cout << "yes, you're really magificent" << endl;
}

 3. RTTI的误用

pg = GetOne();
if (typeid(Magnificent) == typeid(*pg))
...{
    pm = (Magnificent *)pg;
    pm->Speak();
}
else if (typeid(Superb) == typeid(*pg))
...{
    ps = (Superb *)pg;
    ps->Speak();
}
else if (typeid(Grand) == typeid(*pg))
...{
    pq = (Grand *)pg;
    pq->Speak();
}

以上不妥，因为派生新的类时，还需要更改。这种在if...else中使用typeid的情况，应该考虑使用虚函数和dynamic_cast。

4. 其它类型转化函数

const_cast 把const类型指针转换为非const指针，但只能在同一派生层次转换。且不能改变指针指向的const常量。使用格式：

High bar;
const High* pBar = &bar;
High* pb = const_cast<High *>(pbar); 

static_cast 可以用于upcast和downcast转化，但是不能进行不相关类的转化。

reinterpret_cast 可进行内存级的转化，如下：

struct dat ...{short a; short b;};
long value = 0xAABBCCDD;
dat* pd = reinterpret_cast<dat *>(&value);

    cout << pd->a << " " << pd->b << endl;