5.8 RTTI运行时类型识别回顾与存储位置介绍

RTTI机制与作用
C++中深入理解dynamic_cast
C++ 中 dynamic_cast 浅析（一）

RTTI（运行时类型识别）简单回顾

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void f() { cout << "Base::f()" << endl; }
	virtual void g() { cout << "Base::g()" << endl; }
	virtual void h() { cout << "Base::h()" << endl; }
	virtual ~Base() {}
};

class Derive :public Base {
public:
	virtual void g() { cout << "Derive::g()" << endl; }
	void myselffunc() {} //只属于Derive的函数
	virtual ~Derive() {}
};

int main()
{
	//一：RTTI（运行时类型识别）简单回顾
	Base* pb = new Derive();
	
	Derive myderive;
	Base& yb = myderive;


	//c++运行时类型识别RTTI，要求父类中必须至少有一个虚函数；如果父类中没有虚函数，那么得到RTTI就不准确；
	//RTTI就可以在执行期间查询一个多态指针，或者多态引用的信息了；
	//RTTI能力靠typeid和dynamic_cast运算符来体现；
	cout << typeid(*pb).name() << endl;//class Derive
	cout << typeid(yb).name() << endl;//class Derive


	Derive* pderive = dynamic_cast<Derive*>(pb);//dynamic_cast：安全向下转换（父转子，把基类指针或引用转换成派生类表示）
	if (pderive != NULL)//转成功就不是null
	{
		cout << "pb实际是一个Derive类型" << endl;
		pderive->myselffunc(); //调用自己专属函数
	}

	return 1;
}

RTTI实现原理

代码运行在32位下

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void f() { cout << "Base::f()" << endl; }
	virtual void g() { cout << "Base::g()" << endl; }
	virtual void h() { cout << "Base::h()" << endl; }
	virtual ~Base() {}
};

class Derive :public Base {
public:
	virtual void g() { cout << "Derive::g()" << endl; }
	void myselffunc() {} //只属于Derive的函数
	virtual ~Derive() {}
};

int main()
{
	Base* pb = new Derive();
	//typeid返回的是一个常量对象的引用，这个常量对象的类型一般是type_info（类）；
	const std::type_info& tp = typeid(*pb);//只能用引用来接收，因为类type_info中拷贝构造和拷贝赋值均=delete
	Base* pb2 = new Derive();
	const std::type_info& tp2 = typeid(*pb2);


	if (tp == tp2)//进入此
	{
		cout << tp.name() << endl;//class Derive
		cout << "很好，类型相同" << endl;
	}

	//其他用法，静态类型；不属于多态类型
	cout << typeid(int).name() << endl;//int
	cout << typeid(Base).name() << endl;//class Base
	cout << typeid(Derive).name() << endl;//class Derive
	Derive *pa3 = new Derive();
	cout << typeid(pa3).name() << endl;//class Derive*


	//RTTI的测试能力跟基类中是否有虚函数表有关系，如果基类中没有虚函数，也就不存在基类的虚函数表，RTTI就无法得到正确结果；



	//下面代码验证下面这张图，rtti相关信息空间布局
	printf("tp2地址为:%p\n", &tp2);//tp2地址为:00B0C1F0  图中type_info类的首地址
	long* pvptr = (long*)pb2;
	long* vptr = (long*)(*pvptr);
	printf("虚函数表首地址为:%p\n", vptr);//虚函数表首地址为 : 00B09D60
	printf("虚函数表首地址之前一个地址为:%p\n", vptr - 1); //这里的-1实际上是往上走了4个字节（vs下long是4字节）  虚函数表首地址之前一个地址为 : 00B09D5C

	long* prttiinfo = (long*)(*(vptr - 1));
	prttiinfo += 3; //跳过12字节，long在vs下4字节
	long* ptypeinfoaddr = (long*)(*prttiinfo);
	const std::type_info* ptypeinfoaddrreal = (const std::type_info*)ptypeinfoaddr;
	printf("ptypeinfoaddrreal地址为:%p\n", ptypeinfoaddrreal);//ptypeinfoaddrreal地址为 : 00B0C1F0
	cout << ptypeinfoaddrreal->name() << endl;//class Derive


	return 1;
}

vptr, vtbl, RTTI的type_info信息构造时机

rtti的type_info信息编译后就存在了，写到了可执行文件中
总结一下：各个编译器实现有一定差异，但总体都是以虚函数表开始地址为突破口；