掘根宝典之C++RTTI和类型转换运算符

什么是RTTI

RTTI是运行阶段类型识别的简称。

哪些是RTTI?

C++有3个支持RTTI的元素。

1.dynamic_cast运算符将使用一个指向基类的指针来生成一个指向派生类的指针,否则该运算符返回0——空指针。

2.typeid运算符返回一个指出对象类型的信息

3.type_info结构存储了特定类型的信息

注意:只能将RTTI用于包含虚函数的类层次结构,原因在于只有对于这种类层次,才应该将派生类对象的地址赋给基类指针。

警告:RTTI只适用于包含虚函数的类。

dynamic_cast运算符

在C++中,dynamic_cast是一种运行时类型检查和转换的操作符,用于在继承体系中进行安全的向下转型。它的语法如下:

dynamic_cast<目标类型>(表达式)

其中,目标类型是你想要将表达式转换为的类型,表达式是需要转换的对象。

dynamic_cast的使用有以下几个要点:

  1. dynamic_cast只能在具有多态性(即包含虚函数的类)的类之间进行类型转换。(is-a关系里可用)

  2. dynamic_cast会在运行时检查目标类型是否与表达式的类型兼容,如果不兼容则返回nullptr(对于指针类型)或抛出std::bad_cast异常(对于引用类型)。因此,在使用dynamic_cast时应该先判断转换结果是否为nullptr(空指针)或捕获异常。

  3. dynamic_cast只能用于指针或引用类型的转换。对于指针类型,如果转换失败,则返回nullptr;对于引用类型,如果转换失败,则抛出std::bad_cast异常。

下面是一个使用dynamic_cast的示例:

#include<iostream>
using namespace std;
class Base {
public:
    virtual void foo() {
        cout << "Base::foo()" << endl;
    }
};

class Derived : public Base {
public:
    void foo() {
        cout << "Derived::foo()" << endl;
    }
};

int main() {
    //用基类指针创建派生类对象
    Base* basePtr = new Derived();
    //将基类指针强制转换为派生类对象
    Derived* derivedPtr = dynamic_cast<Derived*>(basePtr);
    //判断是否转换成功
    if (derivedPtr!=nullptr) {
        derivedPtr->foo();  // 输出 "Derived::foo()"
    }
    else {
        cout << "dynamic_cast failed!" << endl;
    }

    delete basePtr;  // 记得释放内存

    return 0;
}

运行结果

Derived::foo()

 在上面的示例中,由于Derived是Base的派生类,我们可以将Derived类型的对象的地址赋给Base指针。然后,通过使用dynamic_cast将Base指针转换为Derived指针,我们可以调用Derived类的成员函数。

我们看个反面例子

#include<iostream>
using namespace std;
class Base {
public:
    virtual void foo() {
        cout << "Base::foo()" << endl;
    }
};

class Derived : public Base {
public:
    void foo() {
        cout << "Derived::foo()" << endl;
    }
};

int main() {
    //用基类指针创建基类对象
    Base* basePtr = new Base();
    //将基类指针强制转换为派生类指针
    Derived* derivedPtr = dynamic_cast<Derived*>(basePtr);
    //判断是否转换成功
    if (derivedPtr!=nullptr) {
        derivedPtr->foo();  // 输出 "Derived::foo()"
    }
    else {
        cout << "dynamic_cast failed!" << endl;
    }

    delete basePtr;  // 记得释放内存

    return 0;
}

 运行结果

dynamic_cast failed

 在上面的示例中,由于Derived是Base的派生类,发现不能安全的将指向基类地址的指针赋给派生类指针,所以derivedPtr被dynamic_cast赋予了空指针。

需要注意的是,如果Base类中没有声明为虚函数的成员函数,那么dynamic_cast无法进行类型转换。在这种情况下,可以考虑使用static_cast(我们等会会讲)进行类型转换,但这样做是不安全的,因为static_cast不会进行运行时类型检查。

typeid运算符和type_info类

在C++中,typeid运算符用于获取表达式的类型信息。它的语法如下:

typeid(表达式)

其中,表达式可以是任意类型的对象、类名、变量或者表达式。

注意包含头文件<typeinfo>

typeid运算符的使用有以下几个要点:

  1. typeid运算符返回一个std::type_info对象,它包含了类型的信息,可以用于比较两个类型是否相同。

  2. typeid运算符可以用于动态类型识别,即在运行时判断对象的实际类型。

  3. typeid运算符只能用于具有多态性(即包含虚函数的类)的类。

  4. typeid运算符对指针和引用类型的表达式进行操作时,返回的是指针或引用所指向的对象的类型信息。

下面是一个使用typeid的示例:

#include <typeinfo>
#include <iostream>

class Base {
public:
    virtual void foo() {}
};

class Derived : public Base {};

int main() {
    Base* basePtr = new Derived();

    std::cout << typeid(*basePtr).name() << std::endl;  // 输出 "class Derived"

    Base& baseRef = *basePtr;

    std::cout << typeid(baseRef).name() << std::endl;  // 输出 "class Derived"

    delete basePtr;  // 记得释放内存

    return 0;
}

运行结果

class Derived
class Derived

在上面的示例中,我们创建了一个Base指针指向Derived对象,并通过typeid运算符获取了该对象的类型信息。可以看到,typeid运算符返回的是一个std::type_info对象,使用其name()方法可以获取类型的名称。

需要注意的是,typeid运算符返回的类型名称可能是编译器特定的名称,所以并不是在所有编译器中都能得到相同的结果。此外,typeid运算符还可以用于比较两个类型是否相同(使用==运算符进行比较),以及在异常处理中判断对象的类型。

typeid(a)==typeid(b)

判断a,b的类型是否相同

类型转换运算符

我们先看看之前的强制转换

int a=(int)3.0;
char b=char(888.0);

这些强制转换真的安全吗?

肯定不安全啊

为此,C++引入了4个类型转换运算符:dynamic_cast,const_cast,static_cast,reinterpret_cast

dynamic_cast

我们在上面已经讲了这个的用法,这个运算符的用途是能使得在类结构层次中进行向上转换(只能在is-a关系),而不允许其他转换

什么?你不知道is-a关系?看这里http://t.csdnimg.cn/JUgEI

const_cast

const_cast能将常量对象转换为非常量对象。

const_cast的语法如下:

const_cast<type>(expression)

其中,type表示要转换的类型,expression表示要转换的表达式。

使用const_cast需要注意以下几点:

性质一

在C++中,const_cast只能改变运算对象的底层const

情况1

如果expression是个常量,则使用const_cast来企图修改这个常量,这会产生未定义的后果

	const int num = 10;
	int* ptr = const_cast<int*>(&num);  // 将const int*转换为int*
	*ptr = 20;  // 企图修改num的值
	cout << num << endl;

我们去运行一下就会发现

结果不是20!!因为企图修改常量,这是未定义的后果

我们再看一个例子

	const char* pc;
	char* p = const_cast<char*>(pc);
	char a = 'A';
	p = &a;
	cout << *pc << endl;

我们拿去运行,结果居然是

显然我们并没有成功修改常量

情况2

如果expression是个变量,则使用const_cast来获取修改权限的行为是允许的 

	int a = 1;
	int* ptr = &a;
	const int* const_ptr = ptr;
	int* non_const_ptr = const_cast<int*>(const_ptr);  // 将const int*转换为int*
	*non_const_ptr = 30;  // 修改了a的值
	cout << *ptr << endl;

 

显然我们修改成功了

性质二

只有const_cast能改变表达式的常量属性,使用其他的命名强制类型转变表达式的常量属性都将引发编译器错误。同样的,也不能使用const_cast改变表达式的类型

const char* cp;
char* q = static_cast<char*>(cp);
//这是不允许的,只有const_cast能改变表达式的常量属性
string a=const_cast<string>(cp);
//这是不允许的,const_cast只改变表达式的类型

static_cast

这个可能是我们最常用的类型转换运算符

在C++中,static_cast类型转换的运算符。任何具有明确定义的类型转化,只要不包含底层const,都可以使用static_cast将一个类型转换为另一个相关的类型

如将整数类型转换为浮点类型,指针类型与整数类型之间的转换等

static_cast的语法如下:

static_cast<type>(expression)

其中,type表示要转换的目标类型,expression表示要转换的表达式。

使用

我们先看个例子

当需要把一个较大的算术类型赋值给较小的类型时,我们先来看看普通的做法

	double a = 9.00;
	int b = a;
	cout << b << endl;

这样子运行起来确实没什么问题

但编译器会提醒

 

我们可以通过static_cast来实现

    double a = 9.00;
    int b = static_cast<int>(a);
    cout << b << endl;

我们发现编译器不报错了 

这是因为,此时,强制类型转换告诉程序的读者和编译器:我们知道并且不在乎潜在的精度损失。一般来说,如果编译器发现一个较大的算术类型试图赋值给较小的类型,就会给出警告信息;但是当我们执行了显式的类型转换后,警告信息就会被关闭了。


static_cast对于编译器无法自动执行的类型转换也非常有用。

例如,我们可以使用static cast 找回存在于void*指针中的值:
 

double d=9.0;
void* p= &d; // 正确:任何非常量对象的地址都能存入void* d为doable类
//正确:将void*转换回初始的指针类型
double *dp = static_cast<double*>(p);


当我们把指针存放在void*中,并且使用static_cast 将其强制转换回原来的类型时,应该确保指针的值保持不变。也就是说,强制转换的结果将与原始的地址值相等,因此我们必须确保转换后所得的类型就是指针所指的类型。类型一旦不符,将产生未定义的后果。

double d=9.0;
void* p= &d; 
int *dp = static_cast<int*>(p);
//这的结果是未定义的

下面是一些使用static_cast的例子:

int num = 10;
double d = static_cast<double>(num);  // 将int转换为double

int a = 100;
void* void_ptr = static_cast<void*>(&a);  // 将int*转换为void*

class Base {};
class Derived : public Base {};
Base* base_ptr = new Derived();
Derived* derived_ptr = static_cast<Derived*>(base_ptr);  // 将Base*转换为Derived*

在上面的例子中,我们分别使用了static_cast将整数类型、指针类型和引用类型进行了转换。注意最后一个例子中的指针类型转换,它只能在具有继承关系的类型之间进行转换,并且只能在相互兼容的类型之间进行转换。

reinterpret_cast

这个可能是最不常使用的类型转换运算符

reinterpret_cast可以执行任意类型之间的转换,即使类型之间没有任何关系

reinterpret_cast的语法如下:

reinterpret_cast<type>(expression)

其中,type表示要转换的目标类型,expression表示要转换的表达式。

使用reinterpret_cast需要注意以下几点:

  1. reinterpret_cast可以执行任意类型之间的转换,即使类型之间没有任何关系。

  2. reinterpret_cast不进行类型检查或安全检查,因此在使用时需要非常小心。

  3. reinterpret_cast通常用于需要底层二进制表示或将指针转换为整数类型的场景。

危险示例 

我们看个例子

int a=10;
int*b=&a;
char*c=reinterpret_cast<char*>(b);
string str(c);

使用reinterpret_cast是非常危险的,用c初始化str的例子很好地证明了这一点。

其中的关键问题是类型改变了,但编译器没有给出任何警告或者错误的提示信息。

当我们用一个int的地址初始化c时,由于显式地声称这种转换合法,所以编译器不会发出任何警告或错误信息。

接下来再使用c时就会认定它的值是char*类型,编译器没法知道它实际存放的是指向int的指针。

最终的结果就是,在上面的例子中虽然用c初始化str 没什么实际意义,甚至还可能引发更糟糕的后果,但仅从语法上而言这种操作无可指摘。

查找这类问题的原因非常困难,如果将b强制转换成c的语句和用c初始化string对象的语句分属不同文件就更是如此。 

下面是一些使用reinterpret_cast的例子:

int num = 42;
char* char_ptr = reinterpret_cast<char*>(&num);  // 将int*转换为char*

int* num_ptr = reinterpret_cast<int*>(char_ptr);  // 将char*转换为int*

int i = 10;
int* iptr = reinterpret_cast<int*>(&i);  // 将int转换为int*

class A {};
class B {};
A* a_ptr = new A();
B* b_ptr = reinterpret_cast<B*>(a_ptr);  // 将A*转换为B*

上面的例子中,我们分别使用了reinterpret_cast将不同类型的指针进行了转换。注意在第一个例子中,我们将int指针转换为char指针,并且reinterpret_cast没有进行任何类型检查,因此需要非常小心使用。

旧式的强制类型转换

在早期版本的C++语言中,显式地进行强制类型转换包含两种形式:

type (expr); // 函数形式的强制类型转换
(type) expr; // C语言风格的强制类型转换

建议:避免强制类型转换

强制类型转换干扰了正常的类型检查,因此我们强烈建议程序员避免使用强制类型转换。

这个建议对于reinterpret_cast尤其适用,因为此类类型转换总是充满了风险。

在有重载函数的上下文中使用const_cast无可厚非;但是在其他情况下使用 const_cast也就意味着程序存在某种设计缺陷。

其他强制类型转换,比如 static_cast和dynamic_cast,都不应该频繁使用。每次书写了一条强制类型转换语句,都应该反复斟酌能否以其他方式实现相同的目标。就算实在无法避免,也应该尽量限制类型转换制的作用域,并且记录对相关类型的所有假定,这样可以减少错误发生的机会。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.kler.cn/a/273050.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

提升地理空间分析效率,火山引擎ByteHouse上线GIS能力

更多技术交流、求职机会&#xff0c;欢迎关注字节跳动数据平台微信公众号&#xff0c;回复【1】进入官方交流群 在数字化时代&#xff0c;地理空间分析&#xff08;Geospatial Analytics&#xff09;成为辅助企业市场策略洞察的重要手段。无论是广告投放的精准定位&#xff0c;…

基于正点原子潘多拉STM32L496开发板的简易示波器

一、前言 由于需要对ADC采样性能的评估&#xff0c;重点在于对原波形的拟合性能。 考虑到数据的直观性&#xff0c;本来计划采集后使用串口导出&#xff0c;并用图形做数据拟合&#xff0c;但是这样做的效率低下&#xff0c;不符合实时观察的需要&#xff0c;于是将开发板的屏幕…

【Unity】Transform、Rigidbody、CharacterController移动

前言 在使用Unity开发的时候&#xff0c;移动是最最基础的一个需求&#xff0c;我来给大家简单的讲一下Unity中的几种常见的移动方法。 1.Transform移动 Transform移动就是修改物体的position ①修改位置 这里要注意&#xff1a;坐标分为世界坐标和本地坐标 //将物体的世界坐…

Linux:搭建ntp服务器

我准备两个centos7服务器 一个为主服务器连接着外网&#xff0c;并且搭建了ntp服务给其他主机同步 另外一个没有连接外网&#xff0c;通过第一台设备去同步时间 首先两个服务器都要安装ntp软件 yum -y install ntp 再把他俩的时间都改成别的 左侧的是主服务器&#xff0c;主…

Python面试笔记

Python面试笔记 PythonQ. Python中可变数据类型与不可变数据类型&#xff0c;浅拷贝与深拷贝详解Q. 解释什么是lambda函数&#xff1f;它有什么好处&#xff1f;Q. 什么是装饰器&#xff1f;Q. 什么是Python的垃圾回收机制&#xff1f;Q. Python内置函数dir的用法&#xff1f;Q…

Vue.js+SpringBoot开发食品生产管理系统

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 加工厂管理模块2.2 客户管理模块2.3 食品管理模块2.4 生产销售订单管理模块2.5 系统管理模块2.6 其他管理模块 三、系统展示四、核心代码4.1 查询食品4.2 查询加工厂4.3 新增生产订单4.4 新增销售订单4.5 查询客户 五、…

【GPT-SOVITS-02】GPT模块解析

说明&#xff1a;该系列文章从本人知乎账号迁入&#xff0c;主要原因是知乎图片附件过于模糊。 知乎专栏地址&#xff1a; 语音生成专栏 系列文章地址&#xff1a; 【GPT-SOVITS-01】源码梳理 【GPT-SOVITS-02】GPT模块解析 【GPT-SOVITS-03】SOVITS 模块-生成模型解析 【G…

18个惊艳的可视化大屏(第26辑):航空与运输业

hello&#xff0c;我是贝格前端工场老司机&#xff0c;这是第26期了&#xff0c;本次带来可视化大屏在航空与运输业的应用案例&#xff0c;喜欢文章的别忘点赞关注&#xff0c;文章底部也有其他行业的案例。 可视化大屏在航空与运输业中具有以下九大价值&#xff1a; 实时监控…

基于单片机的老人防丢系统设计

目 录 摘 要 I Abstract II 引 言 3 1 系统总体架构 6 1.1方案设计与选择 6 1.2 系统架构设计 6 1.3 系统器件选择 7 2 系统硬件设计 9 2.1 单片机外围电路设计 9 2.2 LCD1602液晶显示电路设计 12 2.3 短信模块电路设计 14 2.4 GPS模块电路设计 14 2.5 电源与按键控制电路设计…

python 基础知识点(蓝桥杯python科目个人复习计划65)

今日复习内容&#xff1a;做题 例题1&#xff1a;遥远的雪国列车 问题描述&#xff1a; 小蓝和小红今天在房间里一起看完了“雪国列车”这部电影&#xff0c;看完之后他们感触颇深&#xff0c;同时他们想到了这样一道题目&#xff1a; 现在有一个数轴&#xff0c;长度为N&a…

yocto系列之针对从git仓库获取源代码编写recipe

回顾 针对借助yocto构建linux 镜像我们已经讲述了7部分&#xff0c; 简单回顾如下&#xff1a; Yocto: 第1部分 - yocto系列之yocto是个什么东东 https://mp.csdn.net/mp_blog/creation/editor/136742286 Yocto: 第2部分 - yocto系列之配置ubuntu主机 https://mp.csdn.net…

2024蓝桥杯每日一题(DFS)

备战2024年蓝桥杯 -- 每日一题 Python大学A组 试题一&#xff1a;奶牛选美 试题二&#xff1a;树的重心 试题三&#xff1a;大臣的差旅费 试题四&#xff1a;扫雷 试题一&#xff1a;奶牛选美 【题目描述】 听说最近两斑点的奶牛最受欢迎&#xff0c;…

2024/3/14打卡棋子(14届蓝桥杯)——差分

标准差分模板 差分——前缀和的逆运算&#xff08;一维二维&#xff09;-CSDN博客 题目 小蓝拥有 nn 大小的棋盘&#xff0c;一开始棋盘上全都是白子。 小蓝进行了 m 次操作&#xff0c;每次操作会将棋盘上某个范围内的所有棋子的颜色取反(也就是白色棋子变为黑色&#xff0…

【Godot4.2】任意多边形或折线围绕任意点旋转

概述 在很多绘图软件中&#xff0c;都会有对于任意图形围绕给定的旋转中心旋转的基本操作。本节就基于Godot实现任意多边形&#xff08;Polygon&#xff09;或折线&#xff08;Polyline&#xff09;绕任意旋转中心&#xff08;在图形内或外都可以&#xff09;进行旋转。 基本…

Git 仓库瘦身与 LFS 大文件存储

熟悉 Git 的小伙伴应该都知道随着 Git 仓库维护的时间越来越久&#xff0c;追踪的文件越来越多&#xff0c;git 存储的 objects 数量会极其庞大&#xff0c;每次从远程仓库 git clone 的时候都会墨迹很久。如果我们不小心 git add 了一个体积很大的文件&#xff0c;且 git push…

IT系统可观测性

什么是可观测性 可观测性&#xff08;Observability&#xff09;是指能够从系统的外部输出推断出系统内部状态的能力。在IT和云计算领域&#xff0c;它涉及使用软件工具和实践来收集、关联和分析分布式应用程序以及运行这些应用程序的硬件和网络产生的性能数据流。这样做可以更…

2024年发布jar到国外maven中央仓库最新教程

2024年发布jar到国外maven中央仓库最新教程 文章目录 1.国外sonatype仓库的版本1.1老OSSHR账号注册说明1.2新账号注册说明 2.新账号注册(必选)3.新账号登录创建Namespace3.1创建Namespace的名字的格式要求&#xff08;必选&#xff09;3.2发布一个静态网站&#xff08;可选&…

后端工程师快速使用axios

文章目录 01.AJAX 概念和 axios 使用模板目标讲解代码解析案例前端后端结果截图 02.URL 查询参数模板目标讲解案例前端后端结果截图 03.常用请求方法和数据提交模板目标讲解案例前端后端结果截图 04.axios 错误处理模板目标讲解案例前端后端结果截图 01.AJAX 概念和 axios 使用…

旅游管理系统|基于SpringBoot+ Mysql+Java+Tomcat技术的旅游管理系统设计与实现(可运行源码+数据库+设计文档+部署说明+视频演示)

推荐阅读100套最新项目 最新ssmjava项目文档视频演示可运行源码分享 最新jspjava项目文档视频演示可运行源码分享 最新Spring Boot项目文档视频演示可运行源码分享 目录 前台功能效果图 用户功能 管理员功能登录前台功能效果图 系统功能设计 数据库E-R图设计 lunwen参考 …

数据的响应式:实现动态数据驱动的技巧

&#x1f90d; 前端开发工程师、技术日更博主、已过CET6 &#x1f368; 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 &#x1f560; 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 &#x1f35a; 蓝桥云课签约作者、上架课程《Vue.js 和 E…
最新文章