C++ 中RTTI的使用方法详解

更新时间：2017年09月09日 10:01:27 投稿：lqh

这篇文章主要介绍了C++ 中RTTI的使用方法详解的相关资料,希望通过本文大家能理解使用RTTI，需要的朋友可以参考下

C++ 中RTTI的使用方法详解

RTTI是运行阶段类型识别(Runtime Type Identification)的简称。这是新添加到c++中的特性之一，很多老式实现不支持。另一些实现可能包含开关RTTI的编译器设置。RTTI旨在为程序在运行阶段确定对象类型提供一种标准方式。很多类库已经成为其父类对象提供了实现这种方式的功能。但由于c++内部并不支持，因此各个厂商的机制通常互不兼容。创建一种RTTI语言标准将使得未来的库能够彼此兼容。

c++有3个支持RTTI的元素

如果可能的话，dynamic_cast 运算符将使用一个指向基类的指针来生成一个指向派生类的指针；否则，该运算符返回0——空指针

typied运算符返回一个指出对象的类型的值

type_info结构存储了有关特定类型的信息

假设我们有下面的类层次结构:

class Grand{ //has virtual methods};
class Super:public Grand {...}
class Magnificent : public Superb{...}

假设有下面的指针:

Grand *pg = new Grand ;
Grand *ps = new Superd;
Grand *pm = new Manificent;

1、dynamic_cast

我们来看一下dynamic_cast的语法，该语法用法如下,其中pg指向一个对象

Superb pm = dynamic_cast< Superb > (pg) ;

这样指针 pg 如果可以安全的转换为Superb * 则返回对象地址，否则返回一个空指针。

示例:

// test1002.cpp : 定义控制台应用程序的入口点。
//

#include "stdafx.h"
#include <cstdlib>
#include <ctime>
#include<iostream>

using std::cout;
class Grand
{
private:
  int hold;
public :
  Grand(int h = 0) :hold(h) {}
  virtual void Speak() const { cout << "I am a grand class \n"; }
  virtual int Value() const { return hold; }
};

class Superb :public Grand
{
public :
  Superb(int h = 0) :Grand(h) {}
  void Speak() const { cout << "I am a superb class ! \n"; }
  virtual void Say() const 
  {
    cout << "I hold the superb value of " << Value() << "! \n";
  }
};

class Magnificent : public Superb
{
private :
  char ch;
public :
  Magnificent(int h = 0, char c = 'A') :Superb(h), ch(c)
  {
  }
  void Speak() const 
  {
    cout << "I am a magnificent class !!!! \n";
  }
  void Say() const
  {
    cout << "I hold the character " << ch << " and the integer " << Value() <<"! \n";
  }
};

Grand * GetOne();
int main()
{
  std::srand(static_cast<unsigned int>(std::time(0)));
  Grand * pg;
  Superb * ps;
  for (int i = 0; i < 5; i++)
  {
    pg = GetOne();
    pg->Speak();
    if (ps = dynamic_cast<Superb *>(pg)) {
      ps->Say();
    }
  }
  system("pause");
  return 0;
}
Grand * GetOne()
{
  Grand * p = new Grand();
  switch (std::rand() % 3)
  {
    delete p;
  case 0:p = new Grand(std::rand() % 100); break;
  case 1:p = new Superb(std::rand() % 100); break;
  case 2:p = new Magnificent(std::rand() % 100, std::rand() % 26); break;
  }

  return p;
}
运行结果:
I am a superb class !
I hold the superb value of 3!
I am a magnificent class !!!!
I hold the character  and the integer 5!
I am a grand class
I am a grand class
I am a magnificent class !!!!
I hold the character  and the integer 87!
请按任意键继续. . .

2、typied运算符合type_info 类

typied 运算符能够确定两个对象是否为同类型。他接收两种参数：1、类名、2、结果为对象的表达式

typied运算符返回的是一个type_info对象的引用，type_info在头文件typeinfo(以前是typeinfo.h)的文件中定义。type_info类重载了== 和！=运算符，以便可以使用这些运算符来对类型进行比较。

示例: typeid(Manificnent) == typeid(*pg) 这个表达式结果为 bool值

如果pg是一个空指针，程序将引发bad_typied异常。该异常类型是从exception类中派生而来的。是在typeinfo中声明的。

type_info类的实现随厂商而异，但包含一个name()成员，该函数返回一个随实现而异的字符串:通常是类的名字。

示例

// test1002.cpp : 定义控制台应用程序的入口点。
//

#include "stdafx.h"
#include <cstdlib>
#include <ctime>
#include<iostream>
#include <typeinfo>
using std::cout;
class Grand
{
private:
  int hold;
public :
  Grand(int h = 0) :hold(h) {}
  virtual void Speak() const { cout << "I am a grand class \n"; }
  virtual int Value() const { return hold; }
};

class Superb :public Grand
{
public :
  Superb(int h = 0) :Grand(h) {}
  void Speak() const { cout << "I am a superb class ! \n"; }
  virtual void Say() const 
  {
    cout << "I hold the superb value of " << Value() << "! \n";
  }
};

class Magnificent : public Superb
{
private :
  char ch;
public :
  Magnificent(int h = 0, char c = 'A') :Superb(h), ch(c)
  {
  }
  void Speak() const 
  {
    cout << "I am a magnificent class !!!! \n";
  }
  void Say() const
  {
    cout << "I hold the character " << ch << " and the integer " << Value() <<"! \n";
  }
};

Grand * GetOne();
int main()
{
  std::srand(static_cast<unsigned int>(std::time(0)));
  Grand * pg;
  Superb * ps;
  for (int i = 0; i < 5; i++)
  {
    pg = GetOne();
    cout << "Now Process type " << typeid (*pg).name() << ". \n"; //显示
    pg->Speak();
    if (ps = dynamic_cast<Superb *>(pg)) {
      ps->Say();
    }
  }
  system("pause");
  return 0;
}
Grand * GetOne()
{
  Grand * p = new Grand();
  switch (std::rand() % 3)
  {
    delete p;
  case 0:p = new Grand(std::rand() % 100); break;
  case 1:p = new Superb(std::rand() % 100); break;
  case 2:p = new Magnificent(std::rand() % 100, std::rand() % 26); break;
  }

  return p;
}
运行结果:
Now Process type class Superb.
I am a superb class !
I hold the superb value of 86!
Now Process type class Grand.
I am a grand class
Now Process type class Superb.
I am a superb class !
I hold the superb value of 48!
Now Process type class Grand.
I am a grand class
Now Process type class Magnificent.
I am a magnificent class !!!!
I hold the character and the integer 75!
请按任意键继续. . .

上述代码添加了一句 typied(*pg).name() 用于输出类型信息，一般输出为类名。

如有疑问请留言或者到本站社区交流讨论，感谢阅读，希望能帮助到大家，谢谢大家对本站的支持！

您可能感兴趣的文章:

C++
RTTI

C语言超市管理系统设计
这篇文章主要为大家详细介绍了C语言超市管理系统设计，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2018-02-02
一文带你掌握C++中的移动语义和完美转发
这篇文章主要为大家详细介绍了C++中的移动语义和完美转发的相关知识,文中的示例代码讲解详细,对我们深入掌握C++有一定的帮助,感兴趣的小伙伴可以跟随小编一起学习一下
2023-12-12
EasyC++模板重载
这篇文章主要介绍了C++模板重载，重载的模板的函数特征，也就是入参的数量和类型必须有所不同，下面我们讲举例说明此内容，具有一定的参考价值，需要的小伙伴可以参考一下
2021-12-12
C语言实现计算双色球的中奖率
这篇文章主要为大家详细介绍了如何利用C语言实现计算双色球的中奖率，文中的示例代码讲解详细，感兴趣的小伙伴可以跟随小编一起学习一下
2022-12-12
C/C++ QT实现自定义对话框的示例代码
对话框分为多种，常见的有通用对话框，自定义对话框，模态对话框，非模态对话框等，本文主要介绍了QT自定义对话框，感兴趣的可以了解一下
2021-11-11
C++使用string的大数取模运算（5）
这篇文章主要为大家详细介绍了C++使用string的大数取模运算，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2019-09-09
C++ 风靡一时的连连看游戏的实现流程详解
游戏“连连看”是源自台湾的桌面小游戏，自从流入大陆以来风靡一时，也吸引众多程序员开发出多种版本的“连连看”。这其中，顾芳编写的“阿达连连看”以其精良的制作广受好评，这也成为顾方“阿达系列软件”的核心产品。并于2004年，取得国家版权局的计算机软件登记证书
2021-11-11
详解C语言中的字符串数组
这篇文章主要介绍了C语言中的字符串数组，本文通过示例代码给大家介绍的非常详细，具有一定的参考借鉴价值,需要的朋友可以参考下
2019-09-09
C语言函数超详细讲解下篇
函数是一组一起执行一个任务的语句。每个 C 程序都至少有一个函数，即主函数 main() ，所有简单的程序都可以定义其他额外的函数，函数我们分两篇来讲解，接下来开始第二篇
2022-04-04
C++中静态局部变量实例详解
这篇文章主要介绍了C++中静态局部变量实例详解的相关资料,需要的朋友可以参考下
2017-03-03