3-10 RTTI、dynamic_cast、typeid、type_info,虚函数表
一、RTTI
RTTI(Run-Time Type Identification)运行时类型识别,通过运行时类型信息,程序能够使用基类的指针或引用来检查这些指针或引用所指的对象的实际派生类型。
Human* phuman = new Man;
Human &a = *phuman; // *phuman表示指针phuman所指向的对象
RTTI我们可以把这个程序看成是一种系统提供给我们的一种能力,或者一种功能。这种功能或者能力是通过2个运算符来体现:
(1)dynamic_cast运算符:能够将将基类的指针或者引用安全的转换为派生类的指针或者引用
(2)typeid运算符:返回指针或者引用所指对象的实际类型
补充:想让RTTI两个运算符能够过正常工作,基类中必须至少要有一个虚函数,不然这两个运算符工作的结构就可能跟我们预期不一致。因为只有虚函数的存在,这两个运算符才会使用指针或者引用所绑定的对象的动态类型。
Human* phuman = new Men;
Men* p = (Men*)(phuman); // 用c语言风格的强制类型转换,硬把指针转换成Men*;
p->testfunc(); // 能够正常的调用Men类的成员函数testfunc();
//但是这样,不知道源代码的情况下,这样做容易出错,不明确
如果该运算符能够转换成功,说明这个指针实际上是要转换到的那个类型。这个运算符能够帮咱们做安全检查
Human* phuman = new Men;
Men* pmen = dynamic_cast<Men*>(phuman);
if (pemn != nullptr) {
cout << "phuman实际是一个Men类型" << endl;
// 在这里操作类Men里边的成员函数,成员变量都能够操作并且安全的操作
pem->testfunc();
} else {
// 转换失败
out << "phuman不是一个Men类型" << endl;
}
Human* phuman = new Men;
Human &q = *phuman; // 这就是引用
try {
Men& menbm = dynamic_cast<Men&>(q);
// 转换成功
cout << "phuman实际是一个Men类型" << endl;
// 在这里操作类Men里边的成员函数,成员变量都能够操作并且安全的操作
menbm.testfunc();
} catch(s