编程学习笔记之c++相关：：RTTI中的typeid介绍

      正文开始之前，先看看什么是RTTI，它的英文全称为run-time type identification，意为运行时类型识别，它能够让程序获取基指针或引用所指向的对象的实际派生类型。RTTI提供了两个操作符：dynamic_cast以及typeid，本文所要讲解的就是typeid。

      typeid在c++中是一个关键词，类似于sizeof，注意，它们都是操作符，不是函数！sizeof用来返回一个对象的长度，而typeid用来获取这个对象的类型，typeid操作符返回的是一个type_info对象的引用，而type_info是一个类对象，里面包含字符串函数name、布尔类型的“==”操作符重载函数、布尔类型的“!=”操作符重载函数、整型函数before等等，当我们使用如下用法时：

int i = 0;
cout << typeid(i).name() << endl;

程序会给出一个【class int】字符串作为运行的结果。这是因为typeid(i)返回了一个type_info对象的引用，在这个引用上面调用对象的name函数，最后在这个函数里打印了相关的字符串class int。请大家注意，以上的动作，实际都是一个静态过程，在编译时就已经确定了【 i 】变量的类型。也就是说，typeid分为两种模式，分别是静态获取类型和动态获取类型。而如何选择模式，取决于typeid对象是不是静态类型。以本程序中的i为例，当使用typeid(i).name()获取i类型时，编译器会首先检查i是不是静态类型，如果是，则使用编译期模式。但如果i是一个含有虚函数表的多态继承的类，并且还有一个“
* ”指针，则typeid就会真的传入一个地址值，以便程序在运行时求出i类型。。。

      静态的上面我们已经见识过了，那么动态的是什么鬼呢？请读者朋友思考下面的梨子：

#include <iostream>
using namespace std;

class A
{
virtual void fun(){};
};
class B :public A
{
virtual void fun(){};
};

int main()
{
B b;
A *p = &b;
cout << typeid(*p).name() << endl;
return 0;
}

当我们运行这一段代码时，您认为会输出什么？【class A】？当然不是，正确答案是输出【class B】，为什么会这样子呢，看完上面程序的部分代码反汇编截图，也许您就明白了：


请注意红色框内的反汇编代码，它表示把ebp-8位置中的值【也就是变量b的地址】赋值给寄存器ecx，然后再把寄存器ecx压参入栈。大家都知道，每个含有虚函数的类类型，都会有一个虚函数表，而那个b的地址，实际存储的就是b的虚函数表指针，而在虚函数表里，除了各种函数地址外，还有一个slot存储了对应类的std::type_info对象的指针。所以我们最后再捋一下，实际情况就是，程序首先把自定义类类型B的虚函数表指针赋值给ecx，然后再把ecx压参入栈，接着再调用__RTtypeid，最后根据虚函数表指针找到对应的std::type_info，就可以在程序运行时获取类型的实际信息。。。

      我不知道有没有读者朋友是硬着头皮挺到这里的，若有的话，辛苦+抱歉，不带咀嚼过程的囫囵吞枣，消化不良在所难免，所以还请以后多过来看看，或者干脆点赞收藏留爪。。。好吧这貌似有点过分，但衷心感谢您的浏览！诚祝您新年快乐，健康平安！