0. 什么是RTTI
运行时类型识别(run-time type identification, RTTI) 功能可以获得某类型在运行时的具体动态类型,进而使用该类型的功能。
动态类型指的是程序在运行时才可知的类型,与静态类型相对应。
静态类型指的是编译时已知的类型。
出现静态类型和动态类型定义的原因主要是面向对象的多态。
当我们使用父类的指针或引用指向或引用子类对象时,表面上看使用的都是父类的函数,实际上在程序运行后调用的却是子类的函数(前提是该函数声明为虚函数并且在子类中重写)。
RTTI主要解决的问题,就是当我们已知一个父类的指针或引用指向或引用子类对象,却想使用子类中的某函数的情况。
首先我们声明两个具有继承关系的类,之后的讲解会复用:
class Base {
public:
virtual ~Base() {
cout << "Base Destructor" << endl;
}
virtual void func() {
cout << "Base func" << endl;
}
};
// 公有继承,有虚函数
class Derived : public Base {
public:
~Derived() {
cout << "Derived Destructor" << endl;
}
void func() override {
cout << "Derived func" << endl;
}
};
1. 与RTTI相关的两个运算符
使用以下两个运算符,可以实现RTTI。
- typeid
- dynamic_cast
1.1 typeid
typeid
使用起来,和decltype差不多。不过decltype
返回的是静态类型,typeid可以返回动态类型。
1.1.1 使用方法
typeid(expr)
expr可以是任意表达式或类型名,返回的结果是某类型的常量对象的引用,这个类型会在第2节介绍。
注意:
- 当expr不是类类型或不包含虚函数时,返回expr的静态类型
- 当expr是包含了虚函数的类的左值时,在程序运行时才会得到结果,即动态类型
- typeid会忽略顶层const
- typeid + 引用,返回引用源类型
- typeid + 数组,返回数组类型
- typeid + 函数名,返回函数类型
1.1.2 示例
Derived *derived_ptr = new Derived();
Base *base_ptr = derived_ptr;
// 二者指向同一个对象
if (typeid(*base_ptr) == typeid(*derived_ptr)) {
cout << "二者动态类型相同" << endl;
}
if (typeid(*base_ptr) == typeid(Derived)) {
cout << "base_ptr指向对象的动态类型与Derived相同" << endl;
}
注意:
- 指针前面添加了解引用运算符
*
,否则将得到指针的类型。
1.1.3 typeid可能会求值
decltype
是不会对表达式进行求值的,且结果都是编译时已知的。
但是typeid
不同,当类型含有虚函数时,typeid
会去求表达式expr的值。
这是很重要的区别。
还有一个区别就是decltype
会保留顶层const,typeid不会。
1.1.4 空指针
typeid + 空指针会抛出bad_typeid异常。
1.2 dynamic_cast
回想类型转换,dynamic_cast
的职责主要在具有继承关系的父类与子类之间。
1.2.1 使用方法
dynamic_cast
主要有3种形式:
1. dynamic_cast<type *>(expr) // 指针
2. dynamic_cast<type &>(expr) // 左值引用
3. dynamic_cast<type &&>(expr) // 右值引用
3种形式中所有的type
必须是类类型 且应该 含有虚函数。
3种形式对应的硬性要求分别是:
- 指针必须有效
- expr必须是左值
- expr不能是左值
满足任一以下条件,转换成功:
- expr是type类型的公有派生类
- expr是type类型的公有基类
- expr是type类型本身
否则转换失败。
失败时:
- 指针返回0
- 引用抛出
bad_cast
异常
使用dynamic_cast
最好进行if判断和异常获取,如下面的指针和引用的例子。
1.2.2 指针
Derived d;
Base *base_ptr = &d;
if (Derived *derived_ptr = dynamic_cast<Derived *>(base_ptr)) {
cout << "cast succeed" << endl;
derived_ptr->func();
} else {
cout << "cast failed" << endl;
base_ptr->func();
}
程序将会输出cast succeed。
1.2.3 引用
Derived d;
Base &base_ref = d;
try {
auto &derived_ref = dynamic_cast<Derived &>(base_ref);
cout << "cast succeed" << endl;
derived_ref.func();
} catch (bad_cast) {
cout << "cast failed" << endl;
base_ref.func();
}
程序将会输出cast succeed。
1.2.4 不会取消const
转换过程中会保留expr的const信息,例如:
Derived d;
// 与上面示例不一样
const Base &base_ref = d;
try {
// ERROR: 编译不能通过
auto &derived_ref = dynamic_cast<Derived &>(base_ref);
cout << "cast succeed" << endl;
derived_ref.func();
} catch (bad_cast) {
cout << "cast failed" << endl;
base_ref.func();
}
编译报错。
指针同理,如果指针具有底层const,则会报错。
2. type_info类
typeid
求值的结果,就是type_info类。
type_info类定义在头文件typeinfo
中,它的特点是:
- 没有默认构造函数
- 拷贝系、移动系及赋值运算符都为
delete
- 有一个虚析构函数
- 可以继承
2.1 唯一创建途径
唯一创建type_info
类的途径就是使用typeid
运算符。
2.2 类的功能
type_info
类的精确定义,随着编译器不同略有差异。
C++标准规定必须提供4个操作:
- 可以判断
==
- 可以判断
!=
- 返回C风格字符串的函数
name()
- 返回bool的
before()
bool a = true;
short b = 10;
int c = 10;
long d = 10;
long long e = 10;
char f = 'c';
float g = 1.0;
double h = 1.0;
long double i = 1.0;
int arr[5] = {1, 2, 3, 4, 5};
int *ic = &c;
int &rc = c;
Derived der;
Base &base_ref = der;
cout << " bool 类型type_info的name: " << typeid(a).name() << '\n'
<< " short 类型type_info的name: " << typeid(b).name() << '\n'
<< " int 类型type_info的name: " << typeid(c).name() << '\n'
<< " long 类型type_info的name: " << typeid(d).name() << '\n'
<< " long long 类型type_info的name: " << typeid(e).name() << '\n'
<< " char 类型type_info的name: " << typeid(f).name() << '\n'
<< " float 类型type_info的name: " << typeid(g).name() << '\n'
<< " double 类型type_info的name: " << typeid(h).name() << '\n'
<< "long double 类型type_info的name: " << typeid(i).name() << '\n'
<< " int数组 类型type_info的name: " << typeid(arr).name() << '\n'
<< " int指针 类型type_info的name: " << typeid(ic).name() << '\n'
<< " int引用 类型type_info的name: " << typeid(rc).name() << '\n'
<< " 子类 类型type_info的name: " << typeid(der).name() << '\n'
<< " 运行时 类型type_info的name: " << typeid(base_ref).name() << endl;
输出:
环境:
- 操作系统:MacOS 10.15.5, 64bit
- 编译器:Apple clang version 11.0.3 (clang-1103.0.32.29)
- IDE:CLion 2020, built on April 9, 2020
3. 总结
运行时类型识别RTTI主要由两个运算符实现:typeid和dynamic_cast。
主要解决的问题是多态带来的无法使用动态类型的问题。