在将该操作符之前,不得不提的是RTTI(Run-Time Type Identification,运行时类型识别),其实就是说
在运行期得到对象的实际的类型。这立刻使我们想到了“可以通过基类的指针和引用可以指向实际的派生类型”。
啊哦,答对了,这就是typeid这个强大操作符所做的事。
既然提到了typeid,那么该操作符的返回类型便不得不提,该操作符的返回类型是type_info的标准库类型的引
用 , 这是定义在标准库的一个类类型class type_info; 值得一提的是,该类的拷贝构造函数以及赋值操作符被定义
为private,这是禁止复制该类型的对象。
创建type_info对象的唯一方法,便是调用typeid操作符。
该类中最常用的成员函数name函数,该函数的返回类型是一个C风格的字符串,用于表示类型的id。
该函数同样是一个异常安全的函数,即不抛出异常。
当然了,对于在编译器与运行期类型一直的对象,typeid同样适用,比如内置类型:
例如下面的代码:
上述代码用于获取 int 以及 double 的类型id:
注:在不同的编译器设置下,输出的结果可能不同。
在我的编译器下,输出的结果是:
那么,接下来进入typeid的真正意图,首先查看下面的代码:
相比看到这儿,读者应该会觉得生成的结果是什么了吧?那么不要对接下来的结果感到意外啦!!
上述代码的执行结果:
结果跟想象的怎么不一样!不对,是完全不一样,typeid是不是就是实现错了呢!!!
稍安勿躁,接下来,本文最重要的一句话:
当typeid操作符的操作数是不带有虚函数的类类型时,typeid操作符会指出操作数的类型,而不是底层对象的类型。
那么,这句话就很好的解释了上面的结果,至于typeid,那么我们可以很容易的改变上述代码,检验其正确性:
添加了一个虚函数即可,得到的结果就如预期一般了:
这里,提醒一点:当你需要一个虚函数,但是该类中没有对应的函数需要派生类重定义的时候,那么 虚析构函
数 你绝对不能忘记,这是一个很好的选择!!!
关于typeid,上述基本已经介绍完毕,一个很强大的操作符。这里不禁会想到另一个操作符 dynamic_cast,其
实这不过是++的 RTTI 的两种策略罢了。