RTTI简介

代码编译运行平台:VS2012+Debug+Win32


RTTI是Runtime Type Identification的缩写,是“运行时类型识别”的意思。面向对象的编程语言,象C++,Java,Delphi都提供了对RTTI的支持。 本文将简略介绍 RTTI 的一些背景知识、描述 RTTI 的概念,并通过具体例子和代码介绍什么时候使用以及如何使用 RTTI。本文还将详细描述两个重要的 RTTI 运算符的使用方法,它们是 typeid 和dynamic_cast。


1. typeid的用法

1.1type_info类

typeid 的结果是 const type_info&。所以下面先对type_info类作下介绍:

class type_info {
public:
    virtual ~type_info();
    size_t hash_code() const
    _CRTIMP_PURE bool operator==(const type_info& rhs) const;
    _CRTIMP_PURE bool operator!=(const type_info& rhs) const;
    _CRTIMP_PURE int before(const type_info& rhs) const;
    _CRTIMP_PURE const char* name() const;
    _CRTIMP_PURE const char* raw_name() const;
};

我们不能直接实例化 type_info 类的对象,因为该类只有一个私有复制构造函数。 构造(临时)type_info 对象的唯一方式是使用 typeid 运算符。 由于赋值运算符也是私有的,因此不能复制或分配类 type_info 的对象。

1.2typeid应用实例

1.2.1typeid静态的类型判断

typeid可以静态地确定操作数的类型,也可以动态地确定操作数的类型,这取决于操作数本身是否拥有虚函数。当typeid的操作数是一个基本类型的变量,或者是一个不带虚函数的对象时,typeid的运行结果是在编译阶段决定的。所以是一种静态的类型判断。见下面的例子。

#include <iostream>
using namespace std;


class A{
    int i;
public:
    void show(){
        cout<<"In class A"<<endl;
    }
};


class B{
    int i;
public:
    void show(){
        cout<<"In class B"<<endl;
    }
};

template < typename T>void func(T& a){
    if(typeid(A)==typeid(T))
        cout<<"is A"<<endl;
    if(typeid(B)==typeid(T))
        cout<<"is B"<<endl;
}

int main(){
    if(typeid(B)==typeid(A))
        cout<<"A equal to B"<<endl;
    else
        cout<<"A not equal to B"<<endl;

    A a;
    B b;
    func<B>(b);
    func<B>(b);
    cout<<typeid(B).name()<<endl;
    getchar();
}

程序输出结果: A not equal to B is B is B class B

在上面的程序中,函数模板func()被实例化为class A和class B时,typeid(T)是在编译阶段静态确定的。在函数模板内部,可以通过typeid操作决定在模板参数被实例化为不同数据类型的时要采取不同的行动。

1.2.2typeid动态类型判断

typeid更多的时候是在运行时用来动态地确定指针或引用所指向对象的类型,这时要求typeid所操作的对象一定要拥有虚函数。见下面的程序。

#include <iostream>
using namespace std;

class A{
    virtual void func(){}
};

class B:public A{};

void reportA(A* pa){
    if(typeid(*pa)==typeid(A))
        cout<<"Type of *pb is A"<<endl;
    else if(typeid(*pa)==typeid(B))
        cout<<"Type of *pb is B"<<endl;
}

void reportB(B* pb){
    if(typeid(*pb)==typeid(A))
        cout<<"Type of *pb is A"<<endl;
    else if(typeid(*pb)==typeid(B))
        cout<<"Type of *pb is B"<<endl;
}

int main(){
    A a,*pa;
    B b,*pb;
    pa=&a;
    reportA(pa);
    pa=&b;
    reportA(pa);
    pb=static_cast<B*>(&a);
    reportB(pb);
    pb=&b;
    reportB(pb);
}

程序输出结果: Type of *pb is A Type of *pb is B Type of *pb is A Type of *pb is B

从上面的运行结果可以看出,使用typeid确实能够在程序运行期间动态地判断指针所指对象的实际类型。使用引用可以到达同样的效果,因为引用的底层实现就是指针。

要注意的是, (1)如果在Class A的定义中,将函数func()定义为普通函数(即将前面的virtual关键字去掉),那么typeid(*pa)的结果永远是typeid(A),而typeid(*pb)的结果永远是typeid(B)。也就是说,由于pa和pb所指向的对象中没有虚函数,该对象就没有虚函数表存放运行时信息,typeid实际就变成了一种静态运算符。

(2)C++中的一切“动态”机制,包括虚函数、RTTI等,都必须通过指针或引用来实现。换句话说,指针所指的对象或引用所绑定的对象,在运行阶段可能与声明指针或引用时的类型不一致。如果不使用指针或引用,而是直接通过对象名访问对象,那么及时对象拥有动态信息(虚函数表),对象的动态信息与静态申明对象时的信息必然一致,就没有必要访问虚函数表;而如果对象不拥有虚函数,就没有虚函数表存放动态信息,也就无法在运行时动态判断指针所指向对象(或引用所绑定对象)的实际类型。

2.dynamic_cast的用法

详见我的另一篇blogC/C++数据类型的转换之终极无惑


参考文献

[1]百度百科.RTTI [2]陈刚.C++高级进阶教程[M].武汉:武汉大学出版社,2008[8.6(P288-P290)] [3]https://msdn.microsoft.com/zh-cn/library/fyf39xec.aspx [4]http://blog.csdn.net/mannhello/article/details/5217954

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • RTTI简介

    RTTI(Runtime Type Identification)是“运行时类型识别”的意思。面向对象的编程语言,像C++,Java,Delphi都提供了对RT...

    Dabelv
  • g++入门教程

    g++是GNU开发的C++编译器,是GCC(GNU Compiler Collection)GNU编译器套件的组成部分。另外,gcc是GNU的C编译器。

    Dabelv
  • C风格简易本地log系统

    该C风格简易log日志系统,适合与Linux平台系统,主要用于格式化输出日志到本地指定的文件中,可指定log文件数目、最大大小、行数、按时间切换等功能,可满足基...

    Dabelv
  • RTTI简介

    RTTI(Runtime Type Identification)是“运行时类型识别”的意思。面向对象的编程语言,像C++,Java,Delphi都提供了对RT...

    Dabelv
  • python--类方法、对象方法、静态方法

    python中实现静态方法和类方法都是依赖于python的修饰器来实现的。 对象方法有self参数,类方法有cls参数,静态方法是不需要这些附加参数的。 1...

    学到老
  • python--类方法、对象方法、静态方法

    python中实现静态方法和类方法都是依赖于python的修饰器来实现的。 对象方法有self参数,类方法有cls参数,静态方法是不需要这些附加参数的。 1...

    学到老
  • 解决ping域名时出现“TTL传输中过期”的问题

    昨天下午,RTX 群里面公司负责游戏运营的 MM 发来求助: ? 我还真是孤陋寡闻,以前还真没见过这个问题,赶紧度了度,很快就帮 MM 解决了问题。 ? ? 解...

    张戈
  • APP爬虫开发环境准备

    在进行APP爬虫开发的时候,我们一般是通过手机连接PC端代理上网,进行抓包分析,那么以这种方式抓包的时候就需要在手机端进行对应的操作,但是我们不可能一直通过手动...

    星星在线
  • 使用ABAP内表作为数据结构实现非波拉契数列(fibonacci)的生成

    Jerry Wang
  • laravel使用redis配置队列

    有些任务并不需要及时运行,就可以将其写入队列,从而不影响主业务逻辑的进程。如:用户发帖成功后推送消息给其关注的用户。如果一个用户是大v,有几百万的粉丝,肯定不能...

    章鱼喵

扫码关注云+社区

领取腾讯云代金券