RTTI（Runtime Type Identification）是“运行时类型识别”的意思。C++引入这个机制是为了让程序在运行时能根据基类的指针或引用来获得该指针或引用所指的对象的实际类型。但是现在RTTI的类型识别已经不限于此了，它还能通过typeid操作符识别出所有的基本类型的变量对应的类型。为什么会出现RTTI这一机制呢？这和C++语言本身有关系，C++是一门静态类型语言，其数据类型是在编译期就确定的，不能在运行时更改。然而由于面向对象程序设计中多态性的要求，C++中的指针或引用本身的类型，可能与它实际代表的类型并不一致，有时我们需要将一个多态指针转换为其实际指向对象的类型，就需要知道运行时的类型信息，这就有了运行时类型识别需求。和Java相比，C++要想获得运行时类型信息，只能通过RTTI机制，并且C++最终生成的代码是直接与机器相关的。
相关资料：Java中任何一个类都可以通过反射机制来获取类的基本信息（接口、父类、方法、属性、Annotation等），而且Java中还提供了一个关键字，可以在运行时判断一个类是不是另一个类的子类或者是该类的对象，Java可以生成字节码文件，再由JVM（Java虚拟机）加载运行，字节码文件中可以含有类的信息。
C++通过以下两个关键字提供RTTI功能：
- typeid：该运算符返回其表达式或类型名的实际类型
- dynamic_cast：该运算符将基类的指针或引用安全地转换为派生类类型的指针或引用（也就是所谓的下行转换）
本文将重点介绍这两个关键字，在阅读后续内容之前建议读者先看一下以下三篇文章，对理解本文会有巨大帮助：
- 一文读懂C++虚函数的内存模型
- 一文读懂C++虚继承的内存模型
- 深入理解C++中五种强制类型转换的使用场景
的返回值是类型的数据，下面是在中的定义（位于文件中）
从源代码中可以看出以下几点内容：
- 有一个类成员，类型是，这个指针最终会指向类型的名字
- 我们不能直接实例化类的对象，因为该类的正常构造函数是保护的，要构造对象的唯一方法就是使用运算符。
- 由于重载的赋值运算符和拷贝构造函数也是私有的，因此我们不能自己去复制或分配类的对象。
- 其余那些成员方法大家就自己看一下吧，都是一些从名字就能看出用法的函数，比如返回类型名，返回是否是指针类型等等
当中的操作数是以下任意一种时，得出的是静态类型，即编译时就确定的类型：
- 一个任意的类型名
- 一个基本内置类型的变量，或指向基本内置类型的指针或引用
- 一个任意类型的指针（指针就是指针，本身不体现多态，多指针解引用才有可能会体现多态）
- 一个具体的对象实例，无论对应的类有没有多态都可以直接在编译器确定
- 一个指向没有多态的类对象的指针的解引用
- 一个指向没有多态的类对象的引用
由于静态类型在程序的运行过程中并不会改变，所以并不需要等到程序运行时再去推算其类型，在编译时期就能根据操作数的静态类型，从而推导出其具体类型信息。我们先来看如下一段代码：
运行结果如下（gcc-4.8.5）：
c
i
d
----------
h
j
----------
Ss
St6vectorIfSaIfEE
看完我有点怀疑我的智商和人生，不是，是码生了，前面几个还好，还能大概看出是什么类型，但是后面那几个是什么鬼，尤其是这个，谁能看出是了？这些其实是被编译器转换过后的类型名，也只能获取这种形式的名称。由于直接看这个实在有点反人类，所以我们只能动用点非常手段了，修改代码如下：
运行结果如下，现在可以看到的内容就正常多了，这里其实就是用到了这个方法获取类型的真实名称，关于这部分的内容这里就不细讲了，有兴趣的读者可以去看这篇文章《C++封装一个易用的打印backtrace信息的函数》，里面就有相应的介绍。
char
int
double
----------
unsigned char
unsigned int
----------
std::string
std::vector<float, std::allocator >
有了前面小小的铺垫，我们可以着手编写测试代码了：
运行结果如下，前面讲的六种静态类型都涉及到了，大家看一下就能明白是怎么一回事了：
---------- 一个任意的类型名 ----------
----- 基本内置类型名 -----
char
int
----- 无多态的类型名 -----
std::string
std::vector<int, std::allocator >
----- 有多态的类型名 -----
std::iostream
---------- 一个基本内置类型的变量，或指向基本内置类型的指针或引用 ----------
----- 基本内置类型的变量 -----
long
double
----- 指向基本内置类型的指针或引用 -----
long*
double
---------- 一个任意类型的指针 ----------
----- 一个指向没有多态类型的指针 -----
B*
A*
----- 一个指向具有多态类型的指针 -----
D*
C*
---------- 一个具体的对象实例，无论对应的类有没有多态都可以直接在编译器确定 ----------
----- 无多态类的实例 -----
std::string
std::vector<int, std::allocator >
----- 有多态类的实例 -----
std::iostream
---------- 一个指向没有多态的类对象的指针的解引用 ----------
----- 一个指向没有多态的类对象的指针的解引用 -----
A
---------- 一个指向没有多态的类对象的引用 ----------
----- 一个指向没有多态的类对象的引用 -----
A
当中的操作数是以下任意一种时，需要在程序运行时推算类型，因为其操作数的类型在编译时期是不能被确定的：
- 一个指向含有多态的类对象的指针的解引用
- 一个指向含有多态的类对象的引用
下面先来看一个典型错误案例，程序如下：
运行结果如下：
D
A
B
C
运行结果如下：
D
D
D
D
可以看到给类A加了个虚析构函数之后，多态性就体现出来了，也可以正确识别出、、引用的真实类型了。
接下来我们就来探讨一下的实现原理，我们之前从《一文读懂C++虚函数的内存模型》和《一文读懂C++虚继承的内存模型》这两篇文章中知道了虚函数表指针指向的前一个位置（也就是索引的-1项）存放的就是当前实际类型的信息，当时还不知道这玩意到底有什么用，要怎么用，但现在就一目了然了，因为的返回值类型就是，所以我们可以很轻易写出如下程序（只修改main函数，其余代码与前面最后一个例子保持不变）：
运行结果如下：
1D
1D
1D
1D
1D
1D
从运行结果可以看到，我们在程序中将虚函数表的-1项的值转换成一个的指针类型，并调用成员函数的最终的输出为，与的输出一致，从而可以知道，关于多态类型的计算是通过基类指针或引用指向的对象（子对象）的虚函数表的-1项获得的。
补充说明：在多继承或虚继承的情况下，派生类类有n（n>1）个虚函数指针，分别指向其各个基类的虚函数表的具体位置（事实上只有一个表，这些表是链接在一起的），但是一个类的所有虚函数表的索引为-1项的值（type_info对象的地址）都是相等的，即它们都指向同一个type_info对象，这样就实现了无论使用了哪一个基类的指针或引用指向其派生类的对象，都能通过相应的虚函数表获取到相同的type_info对象，从而得到相同的类型信息。
获取运行时类型信息的原理和前面是一样的，这里就不赘述了，关于的使用问题大家可以看一下这篇文章《深入理解C++中五种强制类型转换的使用场景》，里面有详细的介绍。
本文先是介绍了RTTI相关的背景知识，然后引出了C++中两个提供RTTI功能的关键字：和。后面通过对的使用和原理进行分析来说明RTTI机制在C++中究竟是如何实现的。而与获取动态类型的方式是相同的，由于之前已经写过一篇文章介绍了，所以这里就不赘述了。
最后，如果大家觉得本文写得好的话麻烦点赞收藏关注一下谢谢，也可以关注该专栏，以后会有更多优质文章输出的。
版权声明：
本文来源网络，所有图片文章版权属于原作者，如有侵权，联系删除。
本文网址：https://www.mushiming.com/mjsbk/5960.html