C++ 20类型转换指南:使用场景与最佳实践

C++ 20类型转换指南:使用场景与最佳实践

类型转换 (Casts)

C++ 提供了五种特定的类型转换:const_cast<>()static_cast<>()reinterpret_cast<>()dynamic_cast<>() 和 C++20 引入的 std::bit_cast<>()

请注意,旧的 C 风格类型转换(如 (int)myFloat)在 C++ 中仍然有效,并在现有代码库中广泛使用。C 风格的类型转换涵盖了所有四种 C++ 类型转换,因此它们更容易出错,因为您试图实现的目的并不总是显而易见的,可能会得到意外的结果。我强烈建议您在新代码中只使用 C++ 风格的类型转换,因为它们更安全,且在代码中更加突出。

虚拟基类

模糊基类出现在多个父类共有一个共同的父类时。推荐的解决方案是确保共享的父类自身不具有任何功能。这样,其方法永远不会被调用,从而避免了歧义问题。C++ 还有另一种机制,称为虚拟基类,用于解决您希望共享的父类具有自己功能的情况。

如果共享的父类是一个虚拟基类,则不会有任何歧义。以下代码在 Animal 基类中添加了一个 sleep() 方法,并修改了 DogBird 类,使它们作为虚拟基类从 Animal 继承。如果不使用虚拟基类,对 DogBird 对象的 sleep() 调用将是模糊的,并会生成编译器错误,因为 DogBird 将具有两个 Animal 子对象,一个来自 Dog,一个来自 Bird。然而,当 Animal 被虚拟继承时,DogBird 只有一个 Animal 类的子对象,因此调用 sleep() 不会有歧义。

class Animal {
public:virtual void eat() = 0;virtual void sleep() { cout << "zzzzz...." << endl; }
};class Dog : public virtual Animal {
public:virtual void bark() { cout << "Woof!" << endl; }void eat() override { cout << "The dog ate." << endl; }
};class Bird : public virtual Animal {
public:virtual void chirp() { cout << "Chirp!" << endl; }void eat() override { cout << "The bird ate." << endl; }
};class DogBird : public Dog, public Bird {
public:void eat() override { Dog::eat(); }
};int main() {DogBird myConfusedAnimal;myConfusedAnimal.sleep(); // 因为虚拟基类而不模糊
}

注意:虚拟基类是避免类层次结构中歧义的好方法。唯一的缺点是许多 C++ 程序员不熟悉这个概念。

类型转换 (Casts)

C++ 提供了五种特定的类型转换:const_cast<>()static_cast<>()reinterpret_cast<>()dynamic_cast<>() 和 C++20 引入的 std::bit_cast<>()。第一种在第 1 章中讨论过。第 1 章还介绍了用于某些基本类型之间转换的 static_cast<>(),但在继承的上下文中还有更多内容。现在您已经熟悉编写自己的类并理解类继承,是时候更仔细地看看这些类型转换了。

请注意,旧的 C 风格类型转换(如 (int)myFloat)在 C++ 中仍然有效,并在现有代码库中广泛使用。C 风格的类型转换涵盖了所有四种 C++ 类型转换,因此它们更容易出错,因为您试图实现的目的并不总是显而易见的,可能会得到意外的结果。我强烈建议您在新代码中只使用 C++ 风格的类型转换,因为它们更安全,且在代码中更加突出。

static_cast()

使用场景
  • static_cast() 用于执行语言直接支持的显式转换。例如,将 int 转换为 double 以避免整数除法:

    int i { 3 };
    int j { 4 };
    double result { static_cast<double>(i) / j };
    
  • static_cast() 也可用于执行因用户定义的构造函数或转换例程而允许的显式转换。例如,如果类 A 有一个接受 B 对象的构造函数,则可以使用 static_cast() 将 B 对象转换为 A 对象。

在继承中的应用
  • static_cast() 可用于继承层次结构中的向下转型:

    class Base { /* ... */ };
    class Derived : public Base { /* ... */ };Base* b { nullptr };
    Derived* d { new Derived{} };
    b = d; // 向上转型,不需要转换。
    d = static_cast<Derived*>(b); // 向下转型,需要转换。
    
注意事项
  • static_cast() 不执行运行时类型检查。可以将任何 Base 指针转换为 Derived 指针,即使 Base 实际上不是 Derived
  • static_cast() 不是万能的,它不能将一种类型的指针转换为另一种完全无关的类型的指针,也不能在没有转换构造函数的情况下直接将一种类型的对象转换为另一种类型的对象。

reinterpret_cast()

使用场景
  • reinterpret_cast()static_cast() 更强大但同时也更不安全。它用于执行 C++ 类型规则技术上不允许的某些转换。
  • 可以用来将一种类型的引用转换为另一种类型的引用,即使类型之间完全无关。
  • 常用于将指针类型转换为任何其他指针类型,包括将任何类型的指针转换为 void*
注意事项
  • 使用 reinterpret_cast() 要格外小心,因为它允许你在不执行任何类型检查的情况下进行转换。
  • 可以用 reinterpret_cast() 将指针转换为足够大以容纳它的整型类型,反之亦然。但是,尝试将 64 位指针转换为 32 位整数会导致编译错误。

std::bit_cast()

特点
  • std::bit_cast() 是 C++20 中引入的,定义在 <bit> 头文件中。
  • 它是标准库中唯一的类型转换,其他类型转换是 C++ 语言本身的一部分。
  • bit_cast() 类似于 reinterpret_cast(),但它创建一个给定目标类型的新对象,并将源对象的位复制到这个新对象中。它有效地将源对象的位解释为目标对象的位。
  • bit_cast() 要求源对象和目标对象的大小相同且都是平凡可复制的。
示例
float asFloat { 1.23f };
auto asUint { bit_cast<unsigned int>(asFloat) };
if (bit_cast<float>(asUint) == asFloat) {cout << "Roundtrip success." << endl;
}
应用场景
  • bit_cast() 的一个用例是用于平凡可复制类型的二进制 I/O。例如,可以将这些类型的单个字节写入文件,读取文件时,可以使用 bit_cast() 正确解释从文件读取的字节。

    平凡可复制类型通常具有以下特征:

    1. 无自定义析构函数:类型没有自定义的析构函数。
    2. 无自定义或虚拟构造函数:类型没有自定义的构造函数,也没有虚拟构造函数。
    3. 无虚函数和虚基类:类型不包含虚函数,并且不从虚基类继承。
    4. 可简单拷贝其状态:类型的所有成员可以通过简单的内存拷贝来复制,没有需要特殊处理的成员(如指针或动态分配的资源)。

dynamic_cast()

特点
  • dynamic_cast() 在继承层次结构中提供了运行时类型检查。
  • 它可以用于转换指针或引用。
  • 如果转换没有意义,dynamic_cast() 将返回空指针(对于指针版本)或抛出 std::bad_cast 异常(对于引用版本)。
示例
Base* b;
Derived* d { new Derived{} };
b = d;
d = dynamic_cast<Derived*>(b);Base base;
Derived derived;
Base& br { base };
try {Derived& dr { dynamic_cast<Derived&>(br) };
} catch (const bad_cast&) {cout << "Bad cast!" << endl;
}
与其他类型转换的区别
  • static_cast()reinterpret_cast() 不同,dynamic_cast() 执行运行时(动态)类型检查,而后者即使转换错误也会执行转换。
  • 为了使用 dynamic_cast(),你的类必须至少有一个虚拟方法。如果类没有虚拟表(vtable),尝试使用 dynamic_cast() 将导致编译错误。

C++ 类型转换总结

情境推荐的转换方法说明
移除 const 属性const_cast()用于移除对象的 const 属性
语言直接支持的显式转换static_cast()例如,从 int 转换到 doublebool
用户定义的构造函数或转换支持的显式转换static_cast()用于用户定义的转换
一个类的对象转换为另一个(无关)类的对象bit_cast()用于无关类之间的对象转换
同一继承层次中的类的指针对象转换dynamic_cast() (推荐) 或 static_cast()用于继承层次中的指针对象转换
同一继承层次中的类的引用对象转换dynamic_cast() (推荐) 或 static_cast()用于继承层次中的引用对象转换
不相关类型的指针转换reinterpret_cast()用于完全不相关的指针类型之间的转换
不相关类型的引用转换reinterpret_cast()用于完全不相关的引用类型之间的转换
函数指针之间的转换reinterpret_cast()用于函数指针之间的转换

注意事项

  • 使用 const_cast() 应谨慎,因为它改变了对象的 const 性质。
  • static_cast() 是最常用的转换类型,适用于许多标准和用户定义的转换。
  • bit_cast() 用于位级别的类型转换,要求源和目标类型大小相同且都是平凡可复制的。
  • dynamic_cast() 在继承层次中提供运行时类型检查,但要求类至少有一个虚拟方法。
  • reinterpret_cast() 提供更广泛的转换能力,但也带来更高的风险,因为它不执行类型检查。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

阿里云服务器带宽可以修改吗?不够用怎么办?

阿里云服务器公网带宽不够用有哪些解决方法&#xff1f;可以更改带宽或带宽临时升级&#xff0c;更改带宽是永久公网带宽&#xff0c;带宽临时升级可以选择升级时间段&#xff0c;也可以绑定弹性公网EIP来修改公网带宽&#xff0c;阿里云服务器网aliyunfuwuqi.com分享阿里云服务…

NoSQL 与传统数据库的集成

数据库集成势在必行 随着数据格局以前所未有的复杂性和规模发展&#xff0c;围绕数据库的叙述已经发生了巨大的变化。NoSQL 数据库已成为传统关系数据库的引人注目的替代品&#xff0c;在可扩展性、灵活性和数据模型多样性方面提供了显着的优势。然而&#xff0c;由于其 ACID …

SpringCloud原理-OpenFeign篇(三、FeignClient的动态代理原理)

文章目录 前言正文一、前戏&#xff0c;FeignClientFactoryBean入口方法的分析1.1 从BeanFactory入手1.2 AbstractBeanFactory#doGetBean(...)中对FactoryBean的处理1.3 结论 FactoryBean#getObject() 二、FeignClientFactoryBean实现的getObject()2.1 FeignClientFactoryBean#…

oepnpnp - 自己出图做开口扳手

文章目录 oepnpnp - 自己出图做开口扳手概述笔记做好的一套扳手实拍美图工程图END oepnpnp - 自己出图做开口扳手 概述 我的openpnp设备顶部相机安装支架, 由于结构限制, 螺柱的安装位置和机械挂壁的距离太近了. 导致拧紧(手工或者工具)很困难. 也不能重新做相机支架, 因为将…

构建和应用卡尔曼滤波器 (KF)--扩展卡尔曼滤波器 (EKF)

作为一名数据科学家&#xff0c;我们偶尔会遇到需要对趋势进行建模以预测未来值的情况。虽然人们倾向于关注基于统计或机器学习的算法&#xff0c;但我在这里提出一个不同的选择&#xff1a;卡尔曼滤波器&#xff08;KF&#xff09;。 1960 年代初期&#xff0c;Rudolf E. Kal…

腾讯云CVM标准型S5性能如何?CPU采用什么型号?

腾讯云服务器CVM标准型S5实例具有稳定的计算性能&#xff0c;CVM 2核2G S5活动优惠价格280.8元一年自带1M带宽&#xff0c;15个月313.2元、2核4G配置748.2元15个月&#xff0c;CPU内存配置还可以选择4核8G、8核16G等配置&#xff0c;公网带宽可选1M、3M、5M或10M&#xff0c;腾…

传输层——UDP协议

文章目录 一.传输层1.再谈端口号2.端口号范围划分3.认识知名端口号4.两个问题5.netstat与iostat6.pidof 二.UDP协议1.UDP协议格式2.UDP协议的特点3.面向数据报4.UDP的缓冲区5.UDP使用注意事项6.基于UDP的应用层协议 一.传输层 在学习HTTP等应用层协议时&#xff0c;为了便于理…

C语言初学3:变量和常量

一、变量的定义与初始化 # include <stdio.h> int main() {int age; //定义整型变量float salary; //定义浮点型变量char grade; //定义字符型变量 int *ptr; //定义指针变量 int i, j, k; //定义多个变量int x 10; …

【Python】可再生能源发电与电动汽车的协同调度策略研究

1 主要内容 之前发布了《可再生能源发电与电动汽车的协同调度策略研究》matlab版本程序&#xff0c;本次发布的为Python版本&#xff0c;采用gurobi作为求解器&#xff0c;有需要的可以下载对照学习研究。 首先详细介绍了优化调度模型的求解方案&#xff0c;分别采用二次规划…

初识linux(1)

文章目录 什么是linux什么是操作系统&#xff1f;开源 怎么装linux的环境基础指令lspwdcdtouchmkdirrmdir与rmmancpmv 什么是linux linux是一款开源操作系统 什么是操作系统&#xff1f; 操作系统&#xff1a;一种对计算机所有计算机软硬件进行控制和管理的系统软件 开源 开源&…

npm ERR! Cannot read properties of null (reading ‘pickAlgorithm‘)

node版本问题&#xff0c;版本太高&#xff0c;降低就行&#xff0c;我将到v16.14.1就行了

C#入门(9):多态介绍与代码演示

多态性是面向对象编程的一个核心概念&#xff0c;它允许你使用一个父类引用来指向一个子类对象。这可以使程序具有可扩展性&#xff0c;并且可以用来实现一些高级编程技术&#xff0c;如接口、事件、抽象类等。 多态相关的概念 以下是一些在C#中使用多态性的关键概念&#xf…

centos7卸载mongodb数据重新安装时无法安装的问题

如果卸载不干净直接用 sudo find / -name mongo 查询所有关于mongo的文件&#xff0c;然后一个个去删除。 当然最好的办法还是去看日志信息。 直接去查看日志信息 sudo cat /var/log/mongodb/mongod.log 根据提示信息说这个没有权限操作 直接删除即可&#xff0c;都是之前…

全球首款容器计算产品重磅发布,激活上云用云新范式

云布道师 10 月 31 日&#xff0c;杭州云栖大会上&#xff0c;阿里云云原生应用平台负责人丁宇宣布&#xff0c;阿里云容器计算服务 ACS 正式发布&#xff01;ACS 将大幅降低企业和开发者用云门槛&#xff0c;真正将 Serverless 理念大规模落地。 容器计算服务 ACS&#xff0c…

ssm+vue的OA办公系统(有报告)。Javaee项目,ssm vue前后端分离项目。

演示视频&#xff1a; ssmvue的OA办公系统&#xff08;有报告&#xff09;。Javaee项目&#xff0c;ssm vue前后端分离项目。 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到网站。 项目介绍&a…

Windows网络「SSL错误问题」及解决方案

文章目录 问题方案 问题 当我们使用了神秘力量加持网络后&#xff0c;可能会和国内的镜像源网站的之间发生冲突&#xff0c;典型的有 Python 从网络中安装包&#xff0c;如执行 pip install pingouin 时&#xff0c;受网络影响导致无法完成安装的情况&#xff1a; pip config…

idea中的sout、psvm快捷键输入,不要太好用了

目录 一、操作环境 二、psvm、sout 操作介绍 2.1 psvm&#xff0c;快捷生成main方法 2.2 sout&#xff0c;快捷生成打印方法 三、探索 psvm、sout 底层逻辑 一、操作环境 语言&#xff1a;Java 工具&#xff1a; 二、psvm、sout 操作介绍 2.1 psvm&#xff0c;快捷生成m…

笔尖笔帽检测3:Android实现笔尖笔帽检测算法(含源码 可是实时检测)

目录 1. 前言 2.笔尖笔帽检测方法 (1)Top-Down(自上而下)方法 (2)Bottom-Up(自下而上)方法&#xff1a; 3.笔尖笔帽关键点检测模型训练 4.笔尖笔帽关键点检测模型Android部署 &#xff08;1&#xff09; 将Pytorch模型转换ONNX模型 &#xff08;2&#xff09; 将ONNX模…

FPGA模块——IIC协议(读写PCF8591)

FPGA模块——IIC协议&#xff08;读取PCF8591&#xff09; PCF8591/AT8591芯片对iic协议的使用 PCF8591/AT8591芯片 低功耗8位CMOS数据采集设备&#xff0c;4路模拟输入&#xff0c;1路模拟输出&#xff0c;分时多路复用&#xff0c;读取数据用串型iic总线接口&#xff0c;最大…

2.5计划任务远程管理

2.5计划任务/远程管理 一、计划任务 1、计划任务概念解析 在Linux操作系统中&#xff0c;除了用户即时执行的命令操作以外&#xff0c;还可以配置在指定的时间、指定的日期 执行预先计划好的系统管理任务&#xff08;如定期备份、定期采集监测数据&#xff09;。RHEL6系统中…