类型id在c++中是如何实现的

　　介绍

本篇文章给大家分享的是有关类型id在c++中是如何实现的,小编觉得挺实用的,因此分享给大家学习,希望大家阅读完这篇文章后可以有所收获,话不多说,跟着小编一起来看看吧。

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

类type_info {
　　公众:
　　虚拟~ type_info ();
　　_CRTIMP_PURE bool __CLR_OR_THIS_CALL操作符==(const type_info&rhs)常量;
　　_CRTIMP_PURE bool __CLR_OR_THIS_CALL运营商!=(const type_info&rhs)常量;
　　_CRTIMP_PURE int __CLR_OR_THIS_CALL之前(const type_info&rhs)常量;
　　_CRTIMP_PURE const char * __CLR_OR_THIS_CALL名称(__type_info_node * __ptype_info_node=, __type_info_root_node)常量;
　　_CRTIMP_PURE const char * __CLR_OR_THIS_CALL raw_name()常量;
　　私人:
　　void * _m_data;
　　char _m_d_name [1];
　　__CLR_OR_THIS_CALL type_info (const type_info&rhs);
　　type_info&__CLR_OR_THIS_CALL操作符=(const type_info&rhs);
　　_CRTIMP_PURE静态const char * __CLRCALL_OR_CDECL _Name_base (const type_info *, __type_info_node * __ptype_info_node);
　　_CRTIMP_PURE静态孔隙__CLRCALL_OR_CDECL _Type_info_dtor (type_info *);
　　};

测试代码:

 # include & lt; iostream>
　　使用名称空间性病;
　　
　　类对象
　　{
　　}；
　　
　　int main ()
　　{
　　对象obj;
　　cout & lt; & lt;“类型名称:“& lt; & lt;类型id (obj) . name () & lt; & lt;endl;
　　cout & lt; & lt;“原始类型名称:“& lt; & lt;类型id (obj) .raw_name () & lt; & lt;endl;
　　如果(类型id (obj)==类型id(对象))
　　{
　　cout & lt; & lt;“类型equal"& lt; & lt;endl;
　　}
　　其他的
　　{
　　cout & lt; & lt;“类型不是equal"& lt; & lt;endl;
　　}
　　返回0;
　　}

输出:

类型名称:类对象
原始类型名称:。amp; # 63; AVObject@@
类型=

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

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

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

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

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

 # include & lt; iostream>
　　使用名称空间性病;
　　
　　类对象
　　{
　　}；
　　
　　int main ()
　　{
　　const type_info * p=,类型id(对象);
　　cout & lt; & lt;p & lt; & lt;endl;
　　返回0;
　　}

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

类型id在c++中是如何实现的

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

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

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

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

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

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

读者可能会有两点疑惑:

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

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

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

以上就是类型id在c++中是如何实现的,小编相信有部分知识点可能是我们日常工作会见到或用到的。希望你能通过这篇文章学到更多知识。更多详情敬请关注行业资讯频道。

类型id在c++中是如何实现的