最近看了boost::any类源码,其实现主要依赖typeid操作符。很好奇这样实现的时间和空间开销有多大,决定探一下究竟。

VS2008附带的type_info类只有头文件,没有源文件,声明如下:

  1. class type_info {
  2. public:
  3. virtual ~type_info();
  4. _CRTIMP_PURE bool __CLR_OR_THIS_CALL operator==(const type_info& rhs) const;
  5. _CRTIMP_PURE bool __CLR_OR_THIS_CALL operator!=(const type_info& rhs) const;
  6. _CRTIMP_PURE int __CLR_OR_THIS_CALL before(const type_info& rhs) const;
  7. _CRTIMP_PURE const char* __CLR_OR_THIS_CALL name(__type_info_node* __ptype_info_node = &__type_info_root_node) const;
  8. _CRTIMP_PURE const char* __CLR_OR_THIS_CALL raw_name() const;
  9. private:
  10. void *_m_data;
  11. char _m_d_name[1];
  12. __CLR_OR_THIS_CALL type_info(const type_info& rhs);
  13. type_info& __CLR_OR_THIS_CALL operator=(const type_info& rhs);
  14. _CRTIMP_PURE static const char *__CLRCALL_OR_CDECL _Name_base(const type_info *,__type_info_node* __ptype_info_node);
  15. _CRTIMP_PURE static void __CLRCALL_OR_CDECL _Type_info_dtor(type_info *);
  16. };

测试代码:

  1. #include <iostream>
  2. using namespace std;
  3. class Object
  4. {
  5. };
  6. int main()
  7. {
  8. Object obj;
  9. cout << "type name:" << typeid(obj).name() << endl;
  10. cout << "type raw name:" << typeid(obj).raw_name() << endl;
  11. if(typeid(obj) == typeid(Object))
  12. {
  13. cout << "type is equal" << endl;
  14. }
  15. else
  16. {
  17. cout << "type is not equal" << endl;
  18. }
  19. return 0;
  20. }

输出:

type name:class Object
type raw name:.?AVObject@@
type is equal

在解释每个函数的实现原理前先开看type_info类的存储方式。

typeid返回的是type_info的引用,这个类不能拷贝,也不能自己构造,所以每个类最多只有一个type_info的数据,这个数据存放在哪里的呢?

用UltraEdit打开exe文件,搜索“Object”,能找到这个字符串。再用PE工具打开这个exe,发现这个字符串属于data节(这是可读可写的全局数据段)。再把有typeid的代码都注释,PE文件中没有了这个字符串。得出一个结论:

编译器会为每一种typeid操作的类型生成一份保存在数据段的type_info数据。

 

这份数据有多大呢?看下面这段代码:

  1. #include <iostream>
  2. using namespace std;
  3. class Object
  4. {
  5. };
  6. int main()
  7. {
  8. const type_info* p = &typeid(Object);
  9. cout << p << endl;
  10. return 0;
  11. }

在cout那一行下断点,查看到p的值为:

再看下这个类的声明,析构函数为virtual类型的,所以p的头四字节为虚函数表。p+4为_m_data,void*类型,四个字节,调试时发现都是0,还不清楚其表示什么。

p+8为_m_d_name,char类型数组,存储的是raw_name,每种类型的raw_name大小不定长,所以数组长度为1。现在type_info的存储结构已经一目了然:

每种类型的type_info数据长度依赖于类型名称,至少9个字节。

现在假设一个复杂的工程里面有50个类型用了typeid操作符,平均每个type_info长度为24,这些数据增加的PE大小为1200B,就1K左右。而现在的PE动辄几十M,所以这点空间开销根本不算什么。

再看看这些函数调用的开销:

  • raw_name函数直接返回_m_d_name的地址,非常快;
  • name函数将_m_d_name存储的字符串解码成实际的名称,也是很快;
  • ==操作符是比较raw_name是否相等,也是很快。

读者可能会有两点疑惑:

  1. 存储的时候为什么不直接存储成name呢?我想最大的原因是节省空间,比如double的raw_name为".N",name为"double"多了四字节。
  2. ==操作符为什么不直接比较两个type_info引用的地址是否相等呢?我也很疑惑,我看汇编码发现它是比较raw_name。

备注:C++并没有规定typeid实现标准,各个编译器可能会不一样,上述分析过程基于VS2008自带的编译器。

总结:typeid带来的时间和空间开销是非常小的,不过使用的时候尽量不要违背开放封闭原则。

http://blog.csdn.net/passion_wu128/article/details/38441633

C++ typeid实现原理的更多相关文章

  1. 虚拟化之vmware-vsphere概念,原理,功能

    080-login-back.vmx .encoding = "UTF-8"config.version = "8"virtualHW.version = &q ...

  2. (转)DEDECMS模板原理、模板标签学习 - .Little Hann

    本文,小瀚想和大家一起来学习一下DEDECMS中目前所使用的模板技术的原理: 什么是编译式模板.解释式模板,它们的区别是什么? 模板标签有哪些种类,它们的区别是什么,都应用在哪些场景? 学习模板的机制 ...

  3. MFC原理第三讲.RTTI运行时类型识别

    MFC原理第三讲.RTTI运行时类型识别 一丶什么是RTTI RTTI. 运行时的时候类型的识别. 运行时类型信息程序.能够使用基类(父类)指针 或者引用 来检查这些指针或者引用所指的对象. 实际派生 ...

  4. 浏览器与服务器交互原理以及用java模拟浏览器操作v

    浏览器应用服务器JavaPHPApache * 1,在HTTP的WEB应用中, 应用客户端和服务器之间的状态是通过Session来维持的, 而Session的本质就是Cookie, * 简单的讲,当浏 ...

  5. C/C++杂记:运行时类型识别(RTTI)与动态类型转换原理

    运行时类型识别(RTTI)的引入有三个作用: 配合typeid操作符的实现: 实现异常处理中catch的匹配过程: 实现动态类型转换dynamic_cast. 1. typeid操作符的实现 1.1. ...

  6. 【转载】C/C++杂记:运行时类型识别(RTTI)与动态类型转换原理

    原文:C/C++杂记:运行时类型识别(RTTI)与动态类型转换原理 运行时类型识别(RTTI)的引入有三个作用: 配合typeid操作符的实现: 实现异常处理中catch的匹配过程: 实现动态类型转换 ...

  7. C++杂记:运行时类型识别(RTTI)与动态类型转换原理

    运行时类型识别(RTTI)的引入有三个作用: 配合typeid操作符的实现: 实现异常处理中catch的匹配过程: 实现动态类型转换dynamic_cast. 1. typeid操作符的实现 1.1. ...

  8. 【C++】从设计原理来看string类

    1.一些C++基础知识 模板类string的设计属于底层,其中运用到了很多C++的编程技巧,比如模板.迭代器.友元.函数和运算符重载.内联等等,为了便于后续理解string类,这里先对涉及到的概念做个 ...

  9. 奇异值分解(SVD)原理与在降维中的应用

    奇异值分解(Singular Value Decomposition,以下简称SVD)是在机器学习领域广泛应用的算法,它不光可以用于降维算法中的特征分解,还可以用于推荐系统,以及自然语言处理等领域.是 ...

随机推荐

  1. 简单的Mvp设计

    任务:从网络上获取数据,然后显示在MainActivity的ListView上 一.载入需要用的框架 1.Mvp框架 compile 'com.hannesdorfmann.mosby:mvp:2.0 ...

  2. 碰到这个SB错误,'Taglist: Exuberant ctags (http://ctags.sf.net) not found in PATH. Plugin is not loaded.点办

    After launching MacVim you may get this annoying error message:'Taglist: Exuberant ctags (http://cta ...

  3. MySQLBackup 使用说明

    001.mysqlbackup介绍: mysqlbackup是一个热备份工具.也就是说它不像mysqldump那样给表上一个全局锁,由于mysqldump上了这个锁,所以就造成客户端只能对 数据库进行 ...

  4. Redis 数据库的安装

    安装redis真的是简单到不行了,三条命令就可以完成. 1.下载redis: 001.http://redis.io/ 002.也可以在我的网盘下载https://yunpan.cn/crSUX6aS ...

  5. SQL Server 控制锁升级

    背景知识: 锁升级的路线图.行--> 页 --> 区(extent)-->区(表分区)--> 表: alter table 控制锁的升级行为: 1.table SQL Serv ...

  6. EasyUI 使用心得

    最近项目中用到EasyUI,总结了一下 注:EasyUI中所有的控件不能重名,否则会出现意向不到的后果.这是EasyUI框架决定的. ① EasyUI 获取文本框中的值 //日期 $('#beginD ...

  7. js算法

    最近面试可能会问这些 1,插入排序 function sort(elements){ var res =[elements[0]]; for (var i = 0; i < elements.l ...

  8. Caused by: java.lang.ClassNotFoundException: com.mchange.v2.c3p0.ComboPooledDataSource

    1.错误描写叙述 usage: java org.apache.catalina.startup.Catalina [ -config {pathname} ] [ -nonaming ] { -he ...

  9. Android_通过ContentObserver监听短信数据变化

    1.简单介绍 在小米等一些机型,无法接收系统发出的短信广播. 仅仅能通过观察者ContentObserver,去监听短信数据的变化 2.SMS数据介绍 content://sms/inbox     ...

  10. 【最大流】【HDU3338】【Kakuro Extension】

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3338 题目大意:填数字,使白色区域的值得和等于有值得黑色区域的相对应的值,用网络流来做 题目思路:增加 ...