c++ RTTI机制和类型转化

        RTTI 是“Runtime Type Information”的缩写，意思是：运行时类型信息。它提供了运行时确定对象类型的方法。C++数据类型是在编译期就确定的，不能在运行时更改。然而由于面向对象程序设计中多态性的要求，C++中的指针或引用(Reference)本身的类型，可能与它实际代表(指向或引用)的类型并不一致。有时我们需要将一个多态指针转换为其实际指向对象的类型，就需要知道运行时的类型信息，这就产生了运行时类型识别的要求，C++没有java，golang等获取对象类型的反射机制，要想获得运行时类型信息，只能通过RTTI机制。

      RTTI使程序能够获取由基指针或引用所指向的对象的实际派生类型，即允许“用指向基类的指针或引用来操作对象”的程序能够获取到“这些指针或引用所指对象”的实际派生类型。在C++中，为了支持RTTI提供了两个操作符：dynamic_cast和typeid。

     

#include 
#include 
#include 

class Base
{
public:
    int a;
    char b;
    virtual void Say()
    {
        std::cout << "Base Say" <<  std::endl;
    }
    void Talk()
    {
        std::cout << "Base Talk" <<  std::endl;
    }
};

class A : public Base
{
public:
    int Aa;
    char Ab;
    virtual void Say()
    {
        std::cout << "A Say" <<  std::endl;
    }
    void Talk()
    {
        std::cout << "A Talk" <<  std::endl;
    }
};


class B : public A
{
public:
    char Bc;
    virtual void Say()
    {
        std::cout << "B Say" <<  std::endl;
    }
    /*virtual*/ void Talk()             //注释1
    {
        std::cout << "B Talk" <<  std::endl;
    }
};

int main()
{
    A* a = new A;
    Base* b = (Base*) a;
    std::cout << "type of *b: " << typeid(*b).name() <<  std::endl;
    b->Say();
    b->Talk();
    std::cout << "***************************************" <<  std::endl;
    B* c = dynamic_cast(a);
    std::cout << "type of *c: " << typeid(c).name() <<  std::endl;
    if (c != NULL){
        c->Say();
        c->Talk();
    }else{
        std::cout << "c is NULL " <<  std::endl;
    }
    std::cout << "***************************************" <<  std::endl;
    B* d = (B*) a;
    std::cout << "type of *d: " << typeid(*d).name() <<  std::endl;
    if (d != NULL){
        d->Say();
        d->Talk();  //标记1
    }else{
        std::cout << "d is NULL " <<  std::endl;
    }
    std::cout << "***************************************" <<  std::endl;
    A* e = new B;
    B* f = dynamic_cast(e);
    std::cout << "type of *f: " << typeid(c).name() <<  std::endl;
    if (f != NULL){
        f->Say();
        f->Talk();
    }else{
        std::cout << "f is NULL " <<  std::endl;
    }
}
执行结果：

      

     如果表达式的类型是类类型且至少包含有一个虚函数，则typeid操作符返回表达式的动态类型，需要在运行时计算；否则，typeid操作符返回表达式的静态类型，在编译时就可以计算。这一点我们根据三个type of的输出结果可以得出结论。

    对于c++的类型转换有隐式和显式两种形式，隐式的转换主要对于c++的内置基本类型，对于用户自定义的需要进行显式的转换。

    C++父类和子类对象指针之间的转换 由子类向父类转换很简单, 用默认转换.

    由父类向子类, 用dynamic_cast. 使用dynamic_cast是有限制的，我们最后一段代码转化成功是因为指针e的动态类型本来就是B类型的。对于这点注意一下上面注释部分的代码，如果我们打开注释，程序将会崩溃在标记处，如果我们强行把父类转换为子类，此时转换后的子类信息是不完整的，如果我们调用了子类独有的变量或者函数将会出错。

   但是用 dynamic_cast来转换情况情况就会好很多，他首先会判断转换能不能成功，如果不能将会将会返回一个null值，这点在一个很复杂的继承系统特别是多重继承中是很有用的，如果我们在类型转换时不确定能不能转换成功，我们可以用这一点，尝试进行转换，而不是强制转换，转换后根据是否为null来确定是否成功。

  更深入的了解：c++虚函数的实现以及在类中的内存分布

                           C++对象模型之详述C++对象的内存布局