C++中的类型识别

类型识别

在面向对象中可能出现下面的情况：
基类指针指向了子类对象，基类引用成为了子类对象的别名。为什么会出现这种情况？
根据多态的特性：当基类指针不知道指向自己还是子类对象时，类型不确定，此时产生了
两种类型：静态类型和动态类型。

静态类型：变量（对象）自身的类型；
动态类型：指针（引用）所指向对象的实际类型；
例：
  Base* p = new Derived();
  Base& r = *p;
  此例中，Base为静态类型（写代码时就已经确定了），而Derived为动态类型，运行时才能确定。
  如：
    void test(Base* b)
    {
        /* 危险的转换方式*/
        Derived* d = static_cast<Derived*>(b);
    }
    注：基类指针是否可以强制转换为子类指针取决于动态类型。

C++中可以利用多态解决动态类型识别

解决方案：

1. 在基类中定义虚函数返回具体的类型信息
2. 所有的派生类都必须实现类型相关的虚函数
3. 每个类中的类型虚函数都需要不同的实现

例：
  #include <iostream>
  #include <string>
  using namespace std;
  class Base
  {
  public:
      virtual string type()   // 定义虚函数返回具体的类型信息
      {
          return "Base";   //实现类型相关的虚函数,不同实现
      }
  };
  class Derived : public Base
  {
  public:
      string type()   // 定义虚函数返回具体的类型信息
      {
          return "Derived";  //实现类型相关的虚函数,不同实现
      }
      void pritf()
      {
          cout << "I'm a Derived." << endl;
      }
  };
   class Child : public Base
  {
  public:
      string type()   // 定义虚函数返回具体的类型信息
      {
          return " Child";   //实现类型相关的虚函数,不同实现
      }
  };
 void test(Base* b)
 {
     if(b->type() == "Derived")
     {
         Derived* d = static_cast<Derived*>(b);
         d->pritf();
     }
 }
 int main()
 {
     Base b;
     Derived d;
     Child c;
     test(&b);
     test(&d);
     test(&c);
     return 0;
 }

由上述分析可知多态解决方案存在以下缺陷：

1. 必须从基类开始提供类型虚函数

2. 所有的派生类都必须重写类型虚函数

3. 每个派生类的类型名必须唯一

   在实际工程项目中存在这些缺陷会导致代码维护困难，子类万一忘记重写虚函数了，后果很严重。
   

C++提供了typeid关键字用于获取类型信息

1. typeid关键字返回对应参数的类型信息
2. typeid返回一个type_info 类对象
3. 当typeid 的参数为NULL时将抛出异常

typeid关键字的使用：

int i = 0;
const type_info& tiv = typeid(i);
const type_info& tii = typeid(int);
cout << (tiv == tii) << endl;
注意：当参数为类型时，返回静态类型信息（此时写的类型就是自身，因此是确定的，静态的）；
当参数是变量时：如果不存在虚函数表，则返回静态类型信息（不会发生多态）；如果存在虚函数表，则
返回多态类型信息（发生多态）。

typeid使用例子：

#include <iostream>
#include <string>
#include <typeinfo>   //头文件包含
using namespace std;

class Base
{
public:
    virtual ~Base()//纯虚函数，发生多态
    {
    }
};

class Derived :public Base
{
public:
    void printf()
    {
        cout << "I'm a Derived" << endl;
    }
};

void test(Base* b)
{
    const type_info& tb = typeid(*b);  //关键步骤，返回*b参数类型信息
    cout << tb.name() << endl;
}
int main()
{
    int i = 0;
    
    const type_info& tiv = typeid(i);  //关键步骤，返回变量类型信息
    const type_info& tii = typeid(int);  //关键步骤，返回类型类型信息
    cout << (tiv == tii) << endl;
    
    Base b;
    Derived d;
    
    test(&b);
    test(&d);
    return 0;
}

总结

在C++中有静态类型和动态类型的概念，利用多态能够实现对象的动态类型识别，但由于通过多态实现会存在代码维护问题，C++提供了typeid关键字来专用于类型识别，typeid能够返回对象的动态类型信息。因此在工程开发中最好用typeid关键字来获取动态类型信息。

核心：
第1步：要获取的类型或变量：typeid(类型或变量)；
第2步：将typeid(类型或变量)复制给type_info对象：const type_info& tb = typeid(类型或变量)；
第3步：输出tb.name()的值。

注： 以上文本为作者在狄泰软件学院学习、总结所得。