【C++】类型转换

类型转换


一、C语言中的类型转换

C语言和C++都是强类型语言,如果赋值运算符左右两侧变量的类型不同,或形参与实参的类型不匹配,或返回值类型与接收返回值的变量类型不一致,那么就需要进行类型转换。

那么C语言有两种类型转换,分别是显示类型转换和隐式类型转换,我们看下面的介绍:

  • 隐式类型转换:编译器在编译阶段自动进行,能转就转,不能转就编译失败。
  • 显式类型转换:需要用户自己处理,以(指定类型)变量的方式进行类型转换。

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

cpp 复制代码
int main()
{
	// 隐式类型转换
	int i = 0;
	double d = i;
	std::cout << i << std::endl;
	std::cout << d << std::endl;
	// 显示类型转换
	int* p = &i;
	int address = (int)p;
	cout << p << endl;
	cout << address << endl;
	return 0;
}

二、C++的四种类型转换及其原因

C语言的两种类型转换是很有用且对于我们的代码来讲确实是一个很大的进步,而有优点则必定是有缺陷的,缺陷如下:

  • 隐式类型转换在某些情况下可能会出问题,比如数据精度丢失
  • 显式类型转换将所有情况混合在一起,转换的可视性比较差

因此C++为了加强类型转换的可视性,引入了四种命名的强制类型转换操作符,分别是static_cast、reinterpret_cast、const_cast和dynamic_cast。我们一一进行介绍。

1、C++强制类型转换

(1)static_cast

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

cpp 复制代码
int main()
{
	double d = 10;
	int i = static_cast<int>(d);
	std::cout << i << std::endl;

	int* p = &i;
	// int x = static_cast<int> p; // error
	return 0;
}

(2)reinterpret_cast

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

cpp 复制代码
int main()
{
	int i = 10;
	int* p = &i;
	int x = reinterpret_cast<int>(p);
	std::cout << x << std::endl;
	return 0;
}

小知识:在下面的代码中将带参带返回值的函数指针转换成了无参无返回值的函数指针,并且还可以用转换后函数指针调用这个函数。

cpp 复制代码
typedef void(*FUNC)();
int DoSomething(int i)
{
	cout << "DoSomething: " << i << endl;
	return 0;
}
int main()
{
	FUNC f = reinterpret_cast<FUNC>(DoSomething);
	f();
	return 0;
}

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

(3)const_cast

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

cpp 复制代码
int main()
{
	const int a = 10;
	int* p = const_cast<int*>(&a);
	*p = 20;
	std::cout << a << std::endl;
	std::cout << *p << std::endl;
	return 0;
}
  • 代码中用const_cast删除了变量a的地址的const属性,这时就可以通过这个指针来修改变量a的值。
  • 由于编译器认为const修饰的变量是不会被修改的,因此会将const修饰的变量存放到寄存器当中,当需要读取const变量时就会直接从寄存器中进行读取,而我们修改的实际上是内存中的a的值,因此最终打印出a的值是未修改之前的值。
  • 如果不想让编译器将const变量优化到寄存器当中,可以用volatile关键字对const变量进行修饰,这时当要读取这个const变量时编译器就会从内存中进行读取,即保持了该变量在内存中的可见性。

(4)dynamic_cast

dynamic_cast用于将父类的指针(或引用)转换成子类的指针(或引用)。

i、向上转型与向下转型

向上转型 : 子类的指针(或引用)→ 父类的指针(或引用)。
向下转型: 父类的指针(或引用)→ 子类的指针(或引用)。

其中,向上转型就是所说的切割/切片 ,是语法天然支持的,不需要进行转换,而向下转型是语法不支持的,需要进行强制类型转换

ii、向下转型的安全问题

向下转换分为两种情况:

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

使用dynamic_cast进行向下转型则是安全的,如果父类的指针(或引用)指向的是子类对象那么dynamic_cast会转换成功,但如果父类的指针(或引用)指向的是父类对象那么dynamic_cast会转换失败并返回一个空指针。

cpp 复制代码
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只能用于含有虚函数的类,因为运行时类型检查需要运行时的类型信息,而这个信息是存储在虚函数表中的,只有定义了虚函数的类才有虚函数表。

2、explicit

explicit用来修饰构造函数,从而禁止单参数构造函数的隐式转换。

cpp 复制代码
class A
{
private:
	int _a;
public:
	explicit A(int a)
	{
		std::cout << "explicit A(int a) " << std::endl;
	}
	A(const A& a)
	{
		std::cout << "A(const A& a) " << std::endl;
	}
};

int main()
{
	A a1(1);
	// A a2 = 2; // error 
	return 0;
}

语法上,A a2 = 2;等价于

cpp 复制代码
A tmp(1); // 先构建临时tmp
A a2(tmp); // 再拷贝构造

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

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

二、RTTI

RTTI(Run-Time Type Identification)就是运行时类型识别。

C++通过以下三种形式支持 RTTI:

  1. typeid:在运行时识别出一个对象的类型。
  2. dynamic_cast:在运行时识别出一个父类的指针(或引用)指向的是父类对象还是子类对象。
  3. decltype:在运行时推演出一个表达式或函数返回值的类型。
相关推荐
汉克老师2 分钟前
CSP-J 初赛(以满分为目标):第二十七课 《图的遍历——BFS广度优先搜索——像“水波纹”一样,一层一层地搜索》
c++·csp-j·小学生·学c++编程
闻缺陷则喜何志丹4 分钟前
【动态规划】P3609 [USACO17JAN] Hoof, Paper, Scissor G
c++·算法·动态规划·洛谷
tedcloud1238 分钟前
OpenLogi 怎么搭建?用 Rust 打造一个轻量的 Logitech 外设管理工具
linux·运维·服务器·开发语言·后端·rust·开源
汉克老师22 分钟前
CSP-J 初赛(以满分为目标):第二十六课 《图的遍历——DFS深度优先搜索——从“树的先序遍历”走进真正的图世界》
c++·csp-j·小学生·学c++编程
Tanjia_kiki26 分钟前
谷歌浏览器中F12编辑并重发请求
开发语言·前端·javascript
程序猿编码28 分钟前
基于GGML的C++17轻量化语音推理引擎:说话人识别与语音分析技术全解析
开发语言·c++·pytorch·深度学习·神经网络·大模型
影视飓风TIM1 小时前
C++哈希表深度剖析:冲突处理、rehash、迭代器与unordered容器封装
c++·哈希算法·散列表
传奇开心果编程1 小时前
【Rust入门知识点学与练】第5课:函数
开发语言·学习·rust
秋田君1 小时前
Qt_QMediaPlayer类与QMediaPlaylist类
开发语言·qt
统计学小王子1 小时前
数学建模国赛倒计时6天——《软件工具(R语言精讲)》
开发语言·数学建模·r语言