【C++】类型转换

【C++】类型转换

📝前言:

这篇文章我们来讲讲C++的类型转换

🎬个人简介:努力学习ing
📋个人专栏:C++学习笔记
🎀ZEEKLOG主页 愚润求学
🌄其他专栏:C语言入门基础python入门基础python刷题专栏Linux

文章目录

一,C语言类型转换

强制类型转换可以发生在转换有意义的地方。什么叫有意义?

  • 比如 intdouble,两个同为表示数据的大小。
  • 比如 指针(地址) 转 int,因为指针地址也是一个数字。但是不能指针转 double

类型转换发生的场景

  • 返回值接受类型和返回类型不相同
  • 形参与实参类型不相同
  • 表达式运算的项类型不相同
  • 赋值运算符,左右两边类型不相同
  • 等等…

1. 隐式类型转换

隐式类型转化:编译器在编译阶段自动动进行,能转就转,不能转就编译失败

int a =1;double b =2.1; cout << a + b << endl;// 输出 3.1

在运算时,a被隐式类型转换成了double再进行运算

2. 显式类型转换

显式强制类型转化:需要用户自己去显式在变量前用括号指定要转换的类型

int* ptr1 =&a;int c =(int)ptr1; cout << c << endl;// 输出:514849252

二,C++隐式类型转换(重点)

C++支持C语言的类型转换,同时还支持了:自定义类型 → 内置类型、内置类型 → 自定义类型、自定义类型 → 自定义类型

1. 内置转自定义

内置类型转成自定义类型需要构造函数的支持。实际上是:

  1. 把内置类型当参数,调用构造函数创建临时对象
  2. 用临时对象拷贝构造
  3. (不过上面两步可能会被编译器直接优化成一次构造)
classAdd{public:Add(int a):_a(a){}Add(int a,int b):_a(a),_b(b){}voidPrint(){ cout << _a + _b << endl;}private:int _a =1;int _b =1;};intmain(){ Add add1 =2;// 调用第一个拷贝构造 Add add2 ={2,2};// 调用第二个拷贝构造 add1.Print();// 输出 3 add2.Print();// 输出 4return0;}

如果在构造函数之前加explicit 则代表:该构造函数不能被隐式类型转换时调用。
explicit Add(int a)时,Add add1 = 2;会报错,因为创建临时对象时,无法调构造。

2. 自定义转内置

自定义转内置,要求:自定义类型内要支持:operator <转换类型>()的重载
为什么不是 <转换类型> operator(),因为这玩意已经被仿函数占用了

classA{public:A(double a):_a(a){}A(double a,int b):_a(a),_b(b){}operatordouble(){return _a;}private:double _a =1;int _b =1;};intmain(){ A a1 =2.1;double c = a1; cout << c << endl;// 输出: 2.1return0;}

3. 自定义转自定义

自定义A转自定义B:要求B有一个接受A为形参的构造函数(和内置转自定义类似)

classA{public:A(double a):_a(a){}A(double a,int b):_a(a),_b(b){}doubleGeta(){return _a;}private:double _a =1;int _b =1;};classB{public:B(A a1):_a(a1.Geta()){}voidPrint(){ cout << _a + _b << endl;}private:double _a =1.1;int _b =1;};intmain(){//A a1 = 2.1;//double c = a1;//cout << c << endl; // 输出: 2.1 A a1 =3.1; B b1 = a1; b1.Print();// 输出: 4.1return0;}

三,C++显式类型转换(重点)

1. 类型安全

类型安全指:编程语言在编译和运行时提供保护机制,避免非法的类型转换和操作。

C++并不是一门类型安全的语言,它允许我们类型转换,尽管我们可能有非法行为(这些非法行为即为不安全)
比如⼀个int*的指针强转成double*,然后用这个指针访问就会出现越界(指针的类型决定的是访问时一次"看"的空间

C++提出了4个显式的命名强制类型转换static_castreinterpret_castconst_castdynamic_cast,为了让类型转换相对而言更安全。(会检查转换是否合理)

2. 4个显式强制类型转换运算符

2.1 static_cast

static_cast

  • 检查时机:编译时
  • 使用场景:
    • 用于基本数据类型(如 int 转 double)、继承关系中的指针/引用转换(向上转换或向下转换,但是要确保安全性)
    • 不能用于无关类型(如 int* 转 double*)或移除 const 属性(把const变量转成非const不行)

示例:

double d =3.14;int i =static_cast<int>(d);// 基本类型转换 Base* base =newDerived(); Derived* derived =static_cast<Derived*>(base);// 向下转换(需确保安全)
  • 因为基类指针本身就指向派生类,再转换成派生类,不会有越界问题
  • 但是如果基类指针原本指向的就是基类,直接转换成派生类,就可能“多看”(有访问越界问题)

2.2 reinterpret_cast

reinterpret_cast

  • 检查时机:编译时
  • 用途:用于无关类型之间的转换(完全信任用户自己的行为,但是有极大的安全隐患)
    • int*char*,用户后续的访问行为可能会发生错误,引发未定义行为

示例:

int* ip =newint(42);char* cp =reinterpret_cast<char*>(ip);// 将 int* 转为 char*

2.3 const_cast

const_cast

  • 检查时机:编译时
  • 用途:添加或移除 constvolatile 属性(但是大多数是移除,因为添加可以隐式类型转换)

示例:

constint x =10;int* px =const_cast<int*>(&x);// 移除 const 属性*px =20;// 未定义行为(x 可能是常量存储区的值)volatile T* volatilePtr =...; T* nonVolatilePtr =const_cast<T*>(volatilePtr);// 移除 volatile

volatile就是用来确保每次获得变量值都去内存里面重新取,避免优化后直接从寄存器里面取,从而错过变量实际被修改了

2.4 dynamic_cast

dynamic_cast

  • 检查时机:运行时类型检查
  • 用途:用于继承体系中的安全向下转换(将基类指针或引用安全转换成派生类指针或引用)
    • 如果基类指针原本指向的就是派生类,则转换可以成功
    • 如果基类指针原本指向的指向基类,则转换失败(返回nullptr,抛出异常)
  • 要求:基类必须是多态类型(也就是基类中必须有虚函数)
    • (因为dynamic_cast是运行时通过虚表中(外)存储的type_info判断基类指针指向的是基类对象还是派生类对象)

示例:

classBase{public:virtual~Base(){}};classDerived:publicBase{}; Base* base =newDerived(); Derived* derived =dynamic_cast<Derived*>(base);// 安全向下转换if(derived){/* 成功 */}

四,RTTI

  • RTTI:运行时类型识别,程序在运行的时候才确定需要用到的对象是什么类型的。
  • RTTI 的代表运算符有两个,typeiddynamic_cast

typeid

  • typeid主要用于返回表达式的类型
  • typeid(e)e可以是任意表达式或类型的名字,typeid(e)的返回值是type_infotype_info派生类对象的引用,type_info可以只支持比较等于和不等于,name成员函数可以返回C风格字符串表示对象类型名字(不同编译器下可能不同)。可以参见:typeinfo头文件
  • e不属于类类型或者是⼀个不包含任何虚函数的类时,typeid返回的是运算
    对象的静态类型(此时是编译时确定)
  • e是定义了至少⼀个虚函数的类的左值时,typeid的返回结果直到运行时才会求得

示例(编译器为vs2022):

#include<typeinfo>intmain(){int x =42;// const std::type_info& ti = typeid(x); // typeid 返回的是 const std::type_info& std::cout <<typeid(x).name()<< std::endl;// 输出: int (不同编译器的输出效果可能不同,比如可能拿 i 表示 int)return0;}

🌈我的分享也就到此结束啦🌈
要是我的分享也能对你的学习起到帮助,那简直是太酷啦!
若有不足,还请大家多多指正,我们一起学习交流!
📢公主,王子:点赞👍→收藏⭐→关注🔍
感谢大家的观看和支持!祝大家都能得偿所愿,天天开心!!!

Read more

C++之多态

C++之多态

多态 * 什么是多态? * 多态的定义及实现 * 多态的构成条件 * 虚函数 * 虚函数的重写/覆盖 * 关键技术原理 * 最佳实践指南 * 虚函数重写 * 协变 * 析构函数的重写 * override和final关键字 * 纯虚函数和抽象类 * 多态的原理 * 多态是如何实现的 * 1. 虚函数表(vtable) * 虚函数表知识要点 * 2. 虚函数的声明 * 3. 多态的实现过程 * 动态绑定与静态绑定 什么是多态? 多态(Polymorphism)是面向对象编程的三大核心特性之一(封装、继承、多态),源于希腊语"多种形态"。在C++中,它允许我们使用统一的接口处理不同类型的对象,显著提高了代码的灵活性和可扩展性。 核心概念 1. 同一接口,多种形态 不同的对象可以通过相同的方法名调用,但实际执行的逻辑由对象自身的类决定。 2. 解耦调用与实现 调用者只需关注接口(方法名和参数)

By Ne0inhk
【C++】模板编程入门指南:零基础掌握泛型编程核心(初阶)

【C++】模板编程入门指南:零基础掌握泛型编程核心(初阶)

文章目录 * 一、泛型编程 * 二、函数模板 * 1. 函数模板的概念和格式 * 2. 函数模板的原理 * 3. 函数模板的实例化 * 隐式实例化 * 显式实例化 * 三、类模板 一、泛型编程 泛型编程就是编写与类型无关的通用代码,是代码复用的一种手段,模板是泛型编程的基础,可能不太好理解,这里我给大家举一个现实生活中的例子,我们想做很多个草莓形状的橡皮泥玩具,并且这些草莓玩具颜色不同,效果如下: 问题来了,我们该怎么解决这个问题呢?难道拿出不同颜色的橡皮泥开始一个一个捏吗?但是这样的话效率是不是很低呢?所以我们会这样想,既然这些草莓玩具的形状相同,只是颜色不同,我们是不是可以做一个草莓模具,当我们想做一个草莓玩具的时候,就可以将对应颜色的橡皮泥填充模具,最终得到这个草莓,如下: 这样我们有了模具以后,只需要使用对应颜色的橡皮泥就可以批量制作草莓了,非常高效,这就属于泛型编程的思维,大家可能还是感受不到,我们再举一个有关编程的例子,也就是使用C语言实现两个变量的交换,如下: voidSwap(int& x,int&

By Ne0inhk
改造红黑树实现封装 map/set:感受C++ 标准容器的精妙设计与底层实现

改造红黑树实现封装 map/set:感受C++ 标准容器的精妙设计与底层实现

容器map/set的底层是红黑树,这一篇详解红黑树如何封装实现map/set。 1.map/set设计的巧妙之处 map是key/value类型,set是key类型,两个冲突的参数类型,是如何由红黑树封装而成? 暴力思路:两个红黑树,一个kv,一个k。可是这样代码复用率极低,维护成本高。 源码思路:利用 键提取器——仿函数 提取kv、k的key,用一颗红黑树实现map,set C语言一般用函数指针,但是它十分麻烦,C++有了仿函数就很方便 接下来在红黑树基础上封装map和set 2.map和set的实现 2.1map和set的基本框架 + 原红黑树结构变化 map是key、value结构,set是key结构:  既然我们要用一个红黑树封装实现map和set,那传的参数就得通用: 原本是K,V结构,现在,要改成通用的,就用T吧 T根据需要,可选择传pair<K,

By Ne0inhk

MAVLink 通信协议 C++ 开发实战:从环境搭建到飞控通信全解析

前言 MAVLink(Micro Air Vehicle Link)是一款轻量级、低带宽、高可靠性的微小型无人机通信协议,由 PX4 团队主导设计,广泛应用于无人机、无人车、机器人等嵌入式系统的跨设备通信场景。其核心优势在于专为资源受限的硬件(如 MCU、小型嵌入式板卡)优化,采用二进制编码格式,相比 JSON、XML 等文本协议,传输效率提升数倍,同时支持数据校验、重传机制,能在复杂电磁环境下保证通信稳定性。 从 MAVLink 协议核心原理出发,结合 C++ 语言实现完整的通信流程,涵盖协议环境搭建、消息编解码、串口 / 网络通信、数据收发实战等核心内容,所有代码均可直接移植到 Linux/Windows 嵌入式环境,助力快速上手 MAVLink C++ 开发。 一、MAVLink

By Ne0inhk