对于RTTI机制的理解
来源:互联网 发布:head first java电子书 编辑:程序博客网 时间:2024/06/05 01:56
前言
RTTI是”Runtime Type Information”的缩写,意思是运行时类型信息,它提供了运行时确定对象类型的方法。RTTI并不是什么新的东西,很早就有了这个技术,但是,在实际应用中使用的比较少而已。而我这里就是对RTTI进行总结,今天我没有用到,并不代表这个东西没用。学无止境,先从typeid函数开始讲起。
typeid函数
typeid的主要作用就是让用户知道当前的变量是什么类型的。举例:
#include <iostream> #include <typeinfo> using namespace std; int main() { short s = 2; unsigned ui = 10; int i = 10; char ch = 'a'; wchar_t wch = L'b'; float f = 1.0f; double d = 2; cout<<typeid(s).name()<<endl; // short cout<<typeid(ui).name()<<endl; // unsigned int cout<<typeid(i).name()<<endl; // int cout<<typeid(ch).name()<<endl; // char cout<<typeid(wch).name()<<endl; // wchar_t cout<<typeid(f).name()<<endl; // float cout<<typeid(d).name()<<endl; // double return 0; }
对于C++支持的内建类型,typeid能完全支持,我们通过调用typeid函数,我们就能知道变量的信息。对于我们自定义的结构体,类呢?
#include <iostream> #include <typeinfo> using namespace std; class A { public: void Print() { cout<<"This is class A."<<endl; } }; class B : public A { public: void Print() { cout<<"This is class B."<<endl; } }; struct C { void Print() { cout<<"This is struct C."<<endl; } }; int main() { A *pA1 = new A(); A a2; cout<<typeid(pA1).name()<<endl; // class A * cout<<typeid(a2).name()<<endl; // class A B *pB1 = new B(); cout<<typeid(pB1).name()<<endl; // class B * C *pC1 = new C(); C c2; cout<<typeid(pC1).name()<<endl; // struct C * cout<<typeid(c2).name()<<endl; // struct C return 0; }
对于我们自定义的结构体和类,tpyeid都能支持。在上面的代码中,在调用完typeid之后,都会接着调用name()函数,可以看出typeid函数返回的是一个结构体或者类,然后,再调用这个返回的结构体或类的name成员函数;其实,typeid是一个返回类型为type_info类型的函数。那么,我们就有必要对这个type_info类进行总结一下,毕竟它实际上存放着类型信息。
type_info类
去掉那些该死的宏,在gcc中查看type_info类的定义如下:
class type_info { public: virtual ~type_info(); bool operator==(const type_info& _Rhs) const; // 用于比较两个对象的类型是否相等 bool operator!=(const type_info& _Rhs) const; // 用于比较两个对象的类型是否不相等 bool before(const type_info& _Rhs) const; // 返回对象的类型名字,这个函数用的很多 const char* name(__type_info_node* __ptype_info_node = &__type_info_root_node) const; const char* raw_name() const; private: void *_M_data; char _M_d_name[1]; type_info(const type_info& _Rhs); type_info& operator=(const type_info& _Rhs); static const char * _Name_base(const type_info *,__type_info_node* __ptype_info_node); static void _Type_info_dtor(type_info *); };
ype_info类中,复制构造函数和赋值运算符都是私有的,同时也没有默认的构造函数;所以,我们没有办法创建type_info类的变量,例如type_info A;这样是错误的。那么typeid函数是如何返回一个type_info类的对象的引用的呢?我在这里不进行讨论,思路就是类的友元函数。
typeid函数的使用
1.使用type_info类中的name()函数返回对象的类型名称
#include <iostream> #include <typeinfo> using namespace std; class A { public: void Print() { cout<<"This is class A."<<endl; } }; class B : public A { public: void Print() { cout<<"This is class B."<<endl; } }; int main() { A *pA = new B(); cout<<typeid(pA).name()<<endl; // class A * cout<<typeid(*pA).name()<<endl; // class A return 0; }
我使用了两次typeid,但是两次的参数是不一样的;输出结果也是不一样的;当我指定为pA时,由于pA是一个A类型的指针,所以输出就为class A *;当我指定*pA时,它表示的是pA所指向的对象的类型,所以输出的是class A;所以需要区分typeid(*pA)和typeid(pA)的区别,它们两个不是同一个东西;但是,这里又有问题了,明明pA实际指向的是B,为什么得到的却是class A呢?我们在看下一段代码:
#include <iostream> #include <typeinfo> using namespace std; class A { public: virtual void Print() { cout<<"This is class A."<<endl; } }; class B : public A { public: void Print() { cout<<"This is class B."<<endl; } }; int main() { A *pA = new B(); cout<<typeid(pA).name()<<endl; // class A * cout<<typeid(*pA).name()<<endl; // class B return 0; }
好了,我将Print函数变成了虚函数,输出结果就不一样了,这说明什么?这就是RTTI在捣鬼了,当类中不存在虚函数时,typeid是编译时期的事情,也就是静态类型,就如上面的cout<
#include <iostream> #include <typeinfo> using namespace std; class A { public: virtual void Print() { cout<<"This is class A."<<endl; } }; class B : public A { public: void Print() { cout<<"This is class B."<<endl; } }; class C : public A { public: void Print() { cout<<"This is class C."<<endl; } }; void Handle(A *a) { if (typeid(*a) == typeid(A)) { cout<<"I am a A truly."<<endl; } else if (typeid(*a) == typeid(B)) { cout<<"I am a B truly."<<endl; } else if (typeid(*a) == typeid(C)) { cout<<"I am a C truly."<<endl; } else { cout<<"I am alone."<<endl; } } int main() { A *pA = new B(); Handle(pA); delete pA; pA = new C(); Handle(pA); return 0; }
dynamic_cast的内幕
在这篇《static_cast、dynamic_cast、const_cast和reinterpret_cast总结》的文章中,也介绍了dynamic_cast的使用,对于dynamic_cast到底是如何实现的,并没有进行说明,而这里就要对于dynamic_cast的内幕一探究竟。首先来看一段代码:
#include <iostream> #include <typeinfo> using namespace std; class A { public: virtual void Print() { cout<<"This is class A."<<endl; } }; class B { public: virtual void Print() { cout<<"This is class B."<<endl; } }; class C : public A, public B { public: void Print() { cout<<"This is class C."<<endl; } }; int main() { A *pA = new C; //C *pC = pA; // Wrong C *pC = dynamic_cast<C *>(pA); if (pC != NULL) { pC->Print(); } delete pA; }
在上面代码中,如果我们直接将pA赋值给pC,这样编译器就会提示错误,而当我们加上了dynamic_cast之后,一切就ok了。那么dynamic_cast在后面干了什么呢?
dynamic_cast主要用于在多态的时候,它允许在运行时刻进行类型转换,从而使程序能够在一个类层次结构中安全地转换类型,把基类指针(引用)转换为派生类指针(引用)。
当类中存在虚函数时,编译器就会在类的成员变量中添加一个指向虚函数表的vptr指针,每一个class所关联的type_info object也经由virtual table被指出来,通常这个type_info object放在表格的第一个slot。当我们进行dynamic_cast时,编译器会帮我们进行语法检查。如果指针的静态类型和目标类型相同,那么就什么事情都不做;否则,首先对指针进行调整,使得它指向vftable,并将其和调整之后的指针、调整的偏移量、静态类型以及目标类型传递给内部函数。其中最后一个参数指明转换的是指针还是引用。两者唯一的区别是,如果转换失败,前者返回NULL,后者抛出bad_cast异常。
对于在typeid函数的使用中所示例的程序,我使用dynamic_cast进行更改,代码如下:
#include <iostream> #include <typeinfo> using namespace std; class A { public: virtual void Print() { cout<<"This is class A."<<endl; } }; class B : public A { public: void Print() { cout<<"This is class B."<<endl; } }; class C : public A { public: void Print() { cout<<"This is class C."<<endl; } }; void Handle(A *a) { if (dynamic_cast<B*>(a)) { cout<<"I am a B truly."<<endl; } else if (dynamic_cast<C*>(a)) { cout<<"I am a C truly."<<endl; } else { cout<<"I am alone."<<endl; } } int main() { A *pA = new B(); Handle(pA); delete pA; pA = new C(); Handle(pA); return 0; }
- 对于RTTI机制的理解
- 对于RTTI机制的理解
- 对于C+的RTTI机制的初步思考
- 对于C++的RTTI机制的初步思考
- RTTI的机制。
- java的RTTI机制
- 理解C++的RTTI
- 对于java 反射机制的理解
- 个人对于JAVA反射机制的理解
- 对于反射机制原理的理解
- 自己对于消息机制的理解
- RTTI机制的Class对象
- Delphi 的RTTI机制浅探一
- Delphi 的RTTI机制浅探二
- MFC的RTTI实现机制!
- MFC的RTTI实现机制!
- c++的RTTI机制详解
- 对于Android的事件分发机制的理解
- k-means聚类算法与局部最优解
- Android keytool 不是内部或外部命令
- HDU 2161 Primes
- java面向对象四大特性之二 继承,封装
- 无需数学背景,读懂ResNet、Inception和Xception三大变革性架构
- 对于RTTI机制的理解
- [USACO15DEC]最大流Max Flow
- CentOS 6.9 yum方式快速安装MongoDB3.4
- NIPS-2013:Playing Atari with Deep Reinforcement Learning
- java中单例模式的实现
- 备忘录模式与访问者模式
- Container With Most Water leetcode java
- 浅谈json和jsonp
- codeforces 550C Divisibility by Eight (暴力)