[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;