【C++】面向对象编程(七)RTTI(运行时的鉴定机制):typeid、static_cast、dynamic_cast

RTTI

Run-Time Type Identification,运行时鉴定机制。

typeid运算符

查询多态化的类指针/引用,来获得类指针/引用所指对象的实际类型;

cpp 复制代码
#include <typeinfo>
inline const char* num_sequence::what_am_i() const {return typeid(*this).name();}
//typeid(*this)表达式返回一个type_info对象
//关联到what_am_i()函数中由this指针所指对象
  • typeid运算符会返回一个type_info对象,其中存储着与类型相关的种种信息;
  • 每个多态类(如Fibonacci、Pell等等)都对应一个type_info对象,该对象的name()函数会返回一个const char*用于表示类名:

type_info类

支持相等和不相等两个比较操作;

cpp 复制代码
//测试ps这个基类指针是否指向Fibonacci派生类对象
num_sequence *ps = &fib;
//...
if(typeid(*ps)==typeid(Fibonacci))
//...ok,的确指向Fibonacci派生类对象

//但是
ps->gen_elements(64);//错误
ps->Fibonacci::gen_elems(64);//错误
//ps不是派生类指针

想要用基类指针调用派生类的成员函数,必须把基类指针强制转换为派生类指针:

static_cast运算符

  • 提供无条件转换(基类指针--派生类指针);
  • 潜在危险:编译器无法确定我们所进行的转换操作是否完全正确。(加入if(typeid( *ps ) == typeid( Fibonacci ))条件)
cpp 复制代码
if(typeid( *ps ) == typeid( Fibonacci )) //typeid运算结果为真的条件下
{
	Fibonacci *pf = static_cast<Fibonacci*>(*ps);
	pf->gen_elems(64);//无条件转换
}

dynamic_cast运算符

  • 提供有条件的转换;
  • 在运行时进行检验操作,检验基类指针所指对象是否属于某派生类:
    • 如果是,转换操作便会进行,于是派生类类指针指向了派生类类对象;
    • 如果不是,dynamic_cast运算符返回0,静态调用也就不会发生。
cpp 复制代码
//dynamic_cast在运行时进行检验操作
if(Fibonacci *pf = dynamic_cast<Fibonacci*>(ps))
{
	pf->gen_elems(64);
}
相关推荐
天选之女wow3 分钟前
【代码随想录算法训练营——Day34】动态规划——416.分割等和子集
算法·leetcode·动态规划
Boop_wu39 分钟前
[数据结构] 哈希表
算法·哈希算法·散列表
MATLAB代码顾问39 分钟前
MATLAB绘制9种最新的混沌系统
开发语言·matlab
czliutz1 小时前
R绘制股票日波动线图 中国海油600938
开发语言·r语言·r语言绘图
Mingze03141 小时前
C语言四大排序算法实战
c语言·数据结构·学习·算法·排序算法
共享家95271 小时前
QT-常用控件(三)-显示类
开发语言·qt
William_cl1 小时前
C# MVC网页调试的方法
开发语言·c#·mvc
小蕾Java1 小时前
Java 开发工具,最新2025 IDEA 使用,保姆级教程
java·开发语言·intellij-idea
Автомата Калашникова2 小时前
Java操作.docx文档 —— docx4j
java·开发语言
小龙报2 小时前
《彻底理解C语言指针全攻略(3)》
c语言·开发语言·windows·git·创业创新·学习方法·visual studio