【C++】类型转换-static_cast、reinterpret_cast、const_cast、dynamic_cast

news2024/10/6 16:26:38

文章目录

  • 1. C语言中的类型转换
  • 2. 为什么C++需要四种类型转换
  • 3. C++强制类型转换
    • static_cast
    • reinterpret_cast
    • const_cast
    • dynamic_cast
  • 4.explicit
  • 5.RTTI
  • 6.考点

1. C语言中的类型转换

在C语言中,如果赋值运算符左右两侧类型不同,或者形参与实参类型不匹配,或者返回值类型与接收返回值类型不一致时,就需要发生类型转化,C语言中总共有两种形式的类型转换:隐式类型转换和显式类型转换

  • 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译失败, 相近类之间才可以,比如int型转化为double型 (提升和截断本质就是隐式类型转化)
  • 显式类型转化:需要用户自己处理, 不相近类型(意义差别很大的类型) ,比如强制类型转换:int型转化为int*型

需要注意的是,只有相近类型之间才能发生隐式类型转换,比如int和double表示的都是数值,只不过它们表示的范围和精度不同.而指针类型表示的是地址编号,因此整型和指针类型之间不会进行隐式类型转换,如果需要转换则只能进行显式类型转换.比如:

void Test ()
{
    int i = 1;
    // 隐式类型转换
    double d = i;
    printf("%d, %.2f\n" , i, d);
    
    int* p = &i;
    // 显示的强制类型转换
    int address = (int) p;
    printf("%x, %d\n" , p, address);
}

缺陷: 转换的可视性比较差,所有的转换形式都是以一种相同形式书写,难以跟踪错误的转换

例如:下述这个存在错误的代码:

string& insert(size_t pos, char ch)
{
    assert(pos<=_size);
    if (_size == _capacity)
    {
        reserve(_capacity==0?4:_capacity*2);
    }
    int  end = _size;
    while (end >= pos)
    {
       	_str[end+1] = _str[end];
        --end;
    }
    _str[pos] = ch;//把字符插入到pos位置
    _size++;//数据个数+1
    
    return *this;
}

这里的end和pos进行比较,会发生类型提升, 其实本质就是隐式类型转化

当end减到-1的时候,本来应该要结束的, 但是size_t end = -1,代表的值是42亿多, 导致循环无法结束,就是因为end从int类型提升为size_t类型!

解决方法: end改为size_t类型也是不行的, 必须防止end变为-1的情况 可以用指针拷贝


2. 为什么C++需要四种类型转换

C风格的转换格式很简单,但是有不少缺点的

  1. 隐式类型转化有些情况下可能会出问题:比如数据精度丢失
  2. 显式类型转换将所有情况混合在一起,代码不够清晰

因此C++提出了自己的类型转化风格,注意因为C++要兼容C语言,所以C++中还可以使用C语言的转化风格


3. C++强制类型转换

标准C++为了加强类型转换的可视性,引入了四种命名的强制类型转换操作符:

static_castreinterpret_castconst_castdynamic_cast

static_cast

**static_cast用于非多态类型的转换(静态转换) ** 相近类型的转化

编译器隐式执行的任何类型转换都可用static_cast,但它不能用于两个不相关的类型进行转换

int main()
{
	double d = 12.34;
	int a = static_cast<int>(d);
	cout << a << endl;

	int* p = &a;
	// int address = static_cast<int>(p); //error
	return 0;
}

reinterpret_cast

reinterpret_cast操作符通常为操作数的位模式提供较低层次的重新解释, 用于将一种类型转换为另一种不同的类型

  • reinterpret_cast用于两个不相关类型之间的转换

例子1:

int main()
{
	//例子1:
	int i = 1;
	int* p = nullptr;
	p = reinterpret_cast<int*>(i);
	cout << p << endl;//00000001

	//例子2:
	double d = 12.34;
	int* pd = reinterpret_cast<int*>(&d);
}

例子2:

reinterpret_cast还有一个非常bug的用法,比如在下面的代码中将带参带返回值的函数指针转换成了无参无返回值的函数指针,并且还可以用转换后函数指针调用这个函数.

reinterpret_cast可以让编译器以FUNC的定义方式去看待DoSomething函数

typedef void(*FUNC)();	//FUNC是函数指针,指向的函数返回值是void,没有参数
int DoSomething(int i)
{
	cout << "DoSomething " <<i<<endl;
	return 0;
}

int main()
{
	FUNC f = reinterpret_cast<FUNC>(DoSomething);//以FUNC的定义方式去看待DoSomething函数
	f();	//DoSomething 14028835(随机数)
    return 0;
}

说明一下: 用转换后的函数指针调用该函数时没有传入参数,因此这里打印出参数i的值是一个随机值.


const_cast

const_cast用于删除变量的const属性,转换后就可以对const变量的值进行修改.比如:

int main()
{
    //const修饰的是常变量
    const int a = 10;
    int* p = const_cast<int*>(&a); //去掉了const属性
    *p = 100;
    cout << a << endl;  //10
    cout << *p << endl; //100
    
    cout << &a << endl;//00D9FE08
    cout << p << endl;//00D9FE08
    return 0;
}

为什么a的值是10而不是100呢?我们不是已经修改了a里面的值了嘛?

image-20220801111203948

原因:编译器进行了优化!

  • 因为上面的a的类型const int类型, 被const修饰,编译器认为a的值是不会改变,访问的时候就不用每次都到内存里面取
  • 因此编译器把a的值10保存在寄存器中, 我们修改的是内存中a的值,实际输出的是直接从寄存器中拿的值

如何解决上述这个问题?

加一个volatile修饰 告诉编译器不要优化,每次都在内存中取值

int main()
{
    volatile const int a = 10;
    int* p = const_cast<int*>(&a); //去掉了const属性
    *p = 100;
    cout << a << endl;  //100
    cout << *p << endl; //100
    return 0;
}

注意: C++中 const修饰的变量并不一定是存在常量区,如果是局部变量就在栈上,如果是全局变量,就存在常量区

image-20220801114008591

编译的时候不报错.因为看不出a在哪个区域,但是运行的时候会检查, a在常量区,常量区的值不可以修改!

当我们使用const_cast的时候,要非常注意!const属性被去掉以后,会被修改!小心和编译器的优化冲突误判,编译器认为不会修改,但其实可能就被我们人为修改了


总结:

  • 代码中用const_cast删除了变量a的地址的const属性,这时就可以通过这个指针来修改变量a的值.
  • 由于编译器认为const修饰的变量是不会被修改的,因此会将const修饰的变量存放到寄存器当中,当需要读取const变量时就会直接从寄存器中进行读取,而我们修改的实际上是内存中的a的值,因此最终打印出a的值是未修改之前的值.
  • 如果不想让编译器将const变量优化到寄存器当中,可以用volatile关键字对const变量进行修饰,这时当要读取这个const变量时编译器就会从内存中进行读取,即保持了该变量在内存中的可见性.

dynamic_cast

dynamic_cast用于将一个父类对象的指针/引用转换为子类对象的指针或引用(动态转换)

向上转型:子类对象指针/引用转换为父类指针/引用 [子类的指针(或引用)→ 父类的指针(或引用)]

  • 向上转型就是所说的切割/切片,是语法天然支持的,不需要进行转换, (不需要转换,赋值兼容规则)

向下转型:父类对象指针/引用转换为子类指针/引用 [父类的指针(或引用)→ 子类的指针(或引用)]

  • 用dynamic_cast转型是安全的, 这种转换相对来说比较安全不会有数据的丢失

  • 当然可以使用强制转换,这种转换时不安全的,会导致数据的丢失,原因是父类的指针或者引用的内存中可能不包含子类的成员的内存


向下转型的安全问题

向下转型分为两种情况:

  1. 如果父类的指针(或引用)指向的是一个父类对象,那么将其转换为子类的指针(或引用)是不安全的,因为转换后可能会访问到子类的资源,而这个资源是父类对象所没有的.
  2. 如果父类的指针(或引用)指向的是一个子类对象,那么将其转换为子类的指针(或引用)则是安全的.

使用C风格的强制类型转换进行向下转型是不安全的,因为此时无论父类的指针(或引用)指向的是父类对象还是子类对象都会进行转换.而使用dynamic_cast进行向下转型则是安全的,如果父类的指针(或引用)指向的是子类对象那么dynamic_cast会转换成功,但如果父类的指针(或引用)指向的是父类对象那么dynamic_cast会转换失败并返回一个空指针.比如:

class A
{
public:
	virtual void f()
	{}
};
class B : public A
{};
void func(A* pa)
{
	B* pb1 = (B*)pa;               //不安全
	B* pb2 = dynamic_cast<B*>(pa); //安全

	cout << "pb1: " << pb1 << endl;
	cout << "pb2: " << pb2 << endl;
}
int main()
{
	A a;
	B b;
	func(&a);
	func(&b);
	return 0;
}

上述代码中,如果传入func函数的是子类对象的地址,那么在转换后pb1和pb2都会有对应的地址,但如果传入func函数的是父类对象的地址,那么转换后pb1会有对应的地址,而pb2则是一个空指针.

说明一下: dynamic_cast只能用于含有虚函数的类,因为运行时类型检查需要运行时的类型信息,而这个信息是存储在虚函数表中的,只有定义了虚函数的类才有虚函数表.


**注意: **

**1. dynamic_cast只能用于含有虚函数的类 **

2. dynamic_cast会先检查是否能转换成功,能成功则转换,不能则返回0(nullptr)

3.注意:父类的对象赋值给子类的对象是不允许的!哪怕强转 但是父类的指针/引用可以向下转型转换为子类指针/引用

image-20220801114646056


例子:

我们想实现这样一个功能:void func(A* pa) A是基类, B是派生类,继承A类

  • 如果pa是指向父类对象,那么不做任何处理
  • 如果pa是指向子类对象,那么请转回子类,并访问子类对象中_b成员

分析:

如果我们直接使用:B* pb1 = static_cast<B*>(pa); 是会直接转化为子类的,不会检查!

class A
{
public:
	virtual void f() {}
	int _a;
};
class B : public A
{
public:
	int _b = 0;
};

//如果pa是指向父类对象,那么不做任何处理
//如果pa是指向子类对象,那么请转回子类,并访问子类对象中_b成员

//父类指针可以接收子类指针 和 父类指针
void func(A* pa)
{

	// dynamic_cast<B*>(pa)--如果pa指向的父类对象,那么则转换不成功,返回nullptr
						  // 如果pa指向的子类对象,那么则转换成功,返回指向对象指针

	B* pb1 = dynamic_cast<B*>(pa); 
	if (pb1 == nullptr)
	{
		cout << "转换失败" << endl;
	}
	else
	{
		cout << "pb1:" << pb1 << endl;
		pb1->_b++;
	}
	
	//dynamic_cast会先检查是否能转换成功,能成功则转换,不能则返回nullptr
	//static_cast会直接转化成功,认为是相近类型,  但是并不会检查
	/*
	B* pb1 = static_cast<B*>(pa);
	B* pb2 = dynamic_cast<B*>(pa);

	cout << "pb1:" << pb1 << endl;
	cout << "pb2:" << pb2 << endl;
	*/
}
int main()
{
	A aa;
	B bb;
	func(&aa);
	func(&bb);

	//父类对象不能赋值给子类对象!!!
	//bb = reinterpret_cast<B>(aa); // reinterpret_cast也不允许
}

image-20220801121055205


原理:

image-20220801121641454


注意:强制类型转换关闭或挂起了正常的类型检查,每次使用强制类型转换前,程序员应该仔细考虑是否还有其他不同的方法达到同一目的,如果非强制类型转换不可,则应限制强制转换值的作用域,以减少发生错误的机会

强烈建议:避免使用强制类型转换

4.explicit

explicit用来修饰构造函数,从而禁止单参数构造函数进行的隐式转换.比如:

class A
{
public :
    explicit A (int a)	//单参构造函数 
    {
        cout<<"A(int a)" <<endl;
    }
    A(const A& a)
    {
        cout<<"A(const A& a)" <<endl;
    }
private :
    int _a ;
};
int main ()
{
    A a1 (1);
    // 隐式转换->1) 先调用单参构造函数生成一个临时对象 A tmp(1)  2) 然后拷贝构造a2  A a2(tmp);   
    A a2 = 1;//由于explicit修饰了单参构造函数,所以不允许隐式类型转化! 报错
	return 0;
}

A a2 = 1 等价于: A tmp(1); //先构造 A a2(tmp); //再拷贝构造

所以在早期的编译器中,当编译器遇到A a2 = 1这句代码时,会先构造一个临时对象,再用这个临时对象拷贝构造a2.但是现在的编译器已经做了优化,当遇到A a2 = 1这句代码时,会直接按照A a2(1)的方式进行处理,这叫做隐式类型转换.

但对于单参数的自定义类型来说,A a2 = 1这种代码的可读性不是很好,因此可以用explicit修饰单参数的构造函数,从而禁止单参数构造函数的隐式转换.


5.RTTI

RTTI:Run-time Type identification的简称,即:运行时类型识别

C++通过以下方式来支持RTTI:

  1. typeid操作符 typeid用于返回指针或引用所指对象的实际类型
class A
{
	virtual void f() {}
public:
};
class B : public A
{
public:
	int _b = 0;
};
int main()
{
	B b;
	A& a = b;
	cout << typeid(a).name() << endl;//class B
	return 0;
}

对非引用类型,typeid是在编译时期识别的,只有引用类型才会在运行时识别


2.dynamic_cast运算符

3.decltype:在运行时推演出一个表达式或函数返回值的类型.


6.考点

1.C++中4种强制类型转化类型是什么? 分别作用是什么?

C++中四种类型转换分别为const_cast、static_cast、dynamic_cast、reinterpret_cast,四种转换功能分别如下:

  1. const_cast: 将const变量转为非const

  2. static_cast: 可以用于各种隐式转换,比如非const转const,static_cast可以用于类向上转换,但向下转换能成功但是不安全

  3. dynamic_cast : 只能用于含有虚函数的类转换,用于类向上和向下转换

  • 向上转换:指子类向基类转换
  • 向下转换:指基类向子类转换
  • 这两种转换,子类包含父类,当父类转换成子类时可能出现非法内存访问的问题dynamic_cast通过判断变量运行时类型和要转换的类型是否相同来判断是否能够进行向下转换
  • dynamic_cast可以做类之间上下转换,转换的时候会进行类型检查,类型相等成功转换,类型不等转换失败
  • 运用RTTI技术,RTTI是”Runtime Type Information”的缩写,意思是运行时类型信息,它提供了运行时确定对象类型的方法,在c++层面主要体现在dynamic_cast和typeid
  1. reinterpret_cast: reinterpret_cast可以做任何类型的转换,不过不对转换结果保证,容易出问题

为什么不用C的强制转换:

C的强制转换表面上看起来功能强大什么都能转,但是转换不够明确,不能进行错误检查,容易出错


2.四种类型转化的意义:

期望C++程序员不要再用C的隐式类型转化和强制类型转换,而是全部按规范使用, 这样项目维护时减少被类型转换坑, 但是实际上,很多人嫌麻烦,项目中都不太规范


3.说说4种类型转换的应用场景.

  • static_cast用于相近类型的类型之间的转换,编译器隐式执行的任何类型转换都可用static_cast.
  • reinterpret_cast用于两个不相关类型之间的转换.
  • const_cast用于删除变量的const属性,方便赋值.
  • dynamic_cast用于安全的将父类的指针(或引用)转换成子类的指针(或引用)

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

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

相关文章

网易云信 RTC 音频问题排查的挑战与实践

背景与挑战 实时通信&#xff08;Real-Time Communication&#xff0c;RTC&#xff09;音频技术是指将音频流实时传输到远程用户的技术&#xff0c;满足线上实时交互的诉求&#xff0c;广泛应用于在线教育、视频会议、直播、泛娱乐社交、金融、医疗、政企等场景。在 RTC PaaS…

组件通信的几种方式

组件通信的几种方式 父组件向子组件传值 在父组件中用自定义组件进行传值&#xff0c;自定义属性写到父组件调用子组件的那个标签中。在子组件中用props进行接收&#xff0c;props写到子组件中与data同级&#xff0c;props是一个数组&#xff0c;内容就是自定义属性的名字。 …

SD nand 与 SD卡的SPI模式驱动

文章目录 SD nand 与 SD卡的SPI模式驱动 1. 概述 2. SPI接口模式与SD接口模式区别 2.1 接口模式区别 2.2 硬件引脚 2.3 注意事项 3. SD接口协议 3.1 命令 3.1.1 命令格式 3.1.2 命令类型 3.2 响应 3.2.1 响应格式 4. SD nand&#xff08;SD卡&#xff09;结构描述…

内网渗透之域环境信息搜集

1.查看是否为域环境 net config workstation下面命令能否执行成功和computer brower服务是否开启有关 net view /domain2.查询域内的用户和组 查询域内的所有用户 net user /domain查询域内的所有用户(需要在域控上敲) dsquery user查询域内的某个用户 net user dbadmin /d…

代码随想录算法训练营day36 | 435. 无重叠区间,763.划分字母区间,56. 合并区间

代码随想录算法训练营day36 | 435. 无重叠区间&#xff0c;763.划分字母区间&#xff0c;56. 合并区间 435. 无重叠区间763.划分字母区间56. 合并区间总结 435. 无重叠区间 教程视频&#xff1a;https://www.bilibili.com/video/BV1A14y1c7E1/?spm_id_from333.788&vd_sou…

【Linux】安装node-v16.17.0-linux

【Linux】安装node-v16.17.0-linux 1 下载node-v16.17.0-linux-x64.tar.xz 下载地址&#xff1a;https://nodejs.org/zh-cn 2 解压文件 cd 到node-v16.17.0-linux-x64.tar.xz所在的路径 xz -d node-v16.17.0-linux-x64.tar.xz tar -xvf node-v16.17.0-linux-x64.tar 3 软…

vue2 框架运行原理剖析系列(一)之 new Vue()实例化过程到底做了什么!!!

一、vue 基础用法 1.1 引入vue 1.2 使用vue语法编写ui 1.3 实现数据绑定 示例代码如下 <div id"app">{{ message }} </div> <script> var app new Vue({el: #app,data: {message: Hello Vue!} }) </script>1.4 代码效果&#xff1a;使用浏…

4114 Flipping Game

4114 Flipping Game PTA | 程序设计类实验辅助教学平台 思路&#xff1a;我们定义f[i][j]表示当前已经进行了i轮&#xff0c;并且当前的两个串的不同的数的个数是j&#xff0c;就接下来我们考虑状态转移&#xff0c;首先是假设我们在不同的中挑选了x个进行反转&#xff0c;则需…

Go语言学习查缺补漏ing Day4

Go语言学习查缺补漏ing Day4 一、掌握iota的使用 请看下面这段代码&#xff1a; package mainimport "fmt"const (a iota_bc "ReganYue"dd1e iotaf iota )func main() {fmt.Println(a, b, c, d, d1, e, f) }思考一下输出结果会是什么&#xff1f; …

评价指标通俗解释:什么是准确率、精确率、召回率、F1得分

y_true [1, 1, 1, 1, 1, 0, 0, 0, 0, 2] y_pred [1, 1, 0, 1, 1, 1, 0, 1, 0, 2]以上述类别 1 为例&#xff1a; 准确率 accuracy 总体概念&#xff0c;指所有样本中预测正确的比例&#xff1a;7/10 0.7 精确率 precision 预测标签为 1 的样本中确实为 1 的比例&#xf…

数字化战略,如何解读企业财务报表

01 财务数字化管理 第一&#xff0c;财务基本信息化建设。比如财务系统、财务共享中心等通过数字化的手段提升财务会计核算、财务流程管理效率&#xff0c;解决流程性管理的问题。 第二&#xff0c;利用各类商业智能 BI 分析、数据分析的手段把企业的所有行为都进行量化对比&…

开源之夏2023 | 欢迎申请openEuler Embedded SIG开发任务

关于开源之夏 开源之夏是开源软件供应链点亮计划下的暑期活动&#xff0c;由中科院软件研究所与openEuler社区联合主办&#xff0c;旨在鼓励在校学生积极参与开源软件的开发维护&#xff0c;促进优秀开源软件社区的蓬勃发展。 活动联合各大开源社区&#xff0c;针对重要开源软件…

国资委检查再升级,用友全球司库敏捷响应

政策支持&#xff0c;央企司库建设提速 司库管理体系建设是中央企业加快建设世界一流企业的重要战略举措。近年来&#xff0c;财政部、国资委高度重视中央企业司库管理工作。 2021年至今&#xff0c;财政部、国资委陆续出台一系列强化中央企业资金管理的文件&#xff0c;针对央…

软件架构:DSL领域特定语言初探

所谓DSL领域专用语言(domain specific language / DSL)&#xff0c;其基本思想是“求专不求全”&#xff0c;不像通用目的语言那样目标范围涵盖一切软件问题&#xff0c;而是专门针对某一特定问题的计算机语言。DSL之于程序员正如伽南地之于以色列人&#xff0c;是最初也是最终…

常用的python gpu加速方法

在使用 PyCharm进行机器学习的时候&#xff0c;我们常常需要自己创建一些函数&#xff0c;这个过程中可能会浪费一些时间&#xff0c;在这里&#xff0c;我们为大家整理了一些常用的 Python加速方法&#xff0c;希望能给大家带来帮助。 在 Python中&#xff0c;我们经常需要创建…

SpringBoot ( 三 ) 转页

2.4.转页 2.4.1.内部转页 forward 2.4.1.1.转页配置 在 配置文件 resources > application.properties 中可以找到转页的配置信息, 这些是SpringBoot的默认配置, 是可以省略不写在配置文件中的 2.4.1.2.准备页面 在 resources 文件夹下 创建新文件夹 templates , 这个文…

Mysql索引简介、性能分析、以及慢查询日志

一、索引简介 1.mysql索引是什么 MySQL官方对索引的定义为&#xff1a;索引(Index)是帮助MySQL高校获取数据的数据结构。 索引的本质是&#xff1a;数据结构。可以简单理解为“排好序的快速查找数据结构”。 2.索引的方法 1.BTREE 索引&#xff1a;主要的实现是通过一个平…

翻遍GitHub帮你总结了一份并发图册+高并发笔记,一次性搞懂并发编程

前言 现在的面试&#xff0c;动不动就是“三高”&#xff0c;Java并发编程已然成为名企大厂面试的必考问题&#xff0c;其重要性不⾔⽽喻。 我也问了一些面试官&#xff0c;他们说&#xff1a;很多面试者&#xff0c;最基本的Java内存模型和JVM内存结构都分不清楚&#xff0c…

【网络】Socket编程-TCP篇

文章目录 简单的TCP网络程序服务器:服务端创建套接字socket函数 服务端绑定bind函数bzero函数引入命令行参数 服务端监听listen函数 服务端获取连接accept函数 测试上述的功能telnet命令 服务端处理请求(提供服务)read函数write函数 tcp_server.cc客户端客户端创建套接字引入命…

Git 和 TortoiseGit安装配置

现在git 官网下载 Git - Downloads Git - Downloading Packagre https://github.com/git-for-windows/git/releases/download/v2.40.1.windows.1/Git-2.40.1-64-bit.exe 一直按下一步安装就行 再到TortoiseGit官网下载软件 Download – TortoiseGit – Windows Shell Int…