【C++ 第二十二章】C++的类型转换




在这里插入图片描述



1.C语言中的类型转换

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

  1. 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译失败
  2. 显式类型转化:需要用户自己处理

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);
}



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

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



2.C++强制类型转换

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

先列个提纲:
(1)内置类型 = 内置类型:隐式类型转换 或 强制类型转换 使用 static_cast、reinterpret_cast
(2)内置类型 = 自定义类型:自定义类型内部重载 operator int() 这样的函数(int x = A.operator int();)
(3)自定义类型 = 内置类型:隐式类型转换(string s = “hehe”;)
(4)自定义类型 = 自定义类型:自定义类型内部重载构造函数


2.1 static_cast 与 reinterpret_cast

// static_cast:这个就代表 隐式类型转换,目的是为了规范化,提示别人这里存在隐式类型转换
int a1 = 10;
double b1 = static_cast<double>(a1);

// reinterpret_cast:reinterpret 表示重新解释,这里就是 强制类型转换
int a2 = 10;
double* p1 = reinterpret_cast<double*>(a2);

2.2 const_cast

这段代码有点诡异!!

int main() {
	// const_cast:将常变量去除常性,使其可以修改
	const int a3 = 5;
	int* p2 = const_cast<int*>(&a3);
	*p2 = 6;

	cout << a3 << '\n';
	cout << *p2 << '\n';
	return 0;
}

在这里插入图片描述


我们明明通过强制类型转换,通过 a3 的地址修改了 a3,但是打印结果:a3 居然还是 5???

甚至我们通过调试窗口查看 a3 的变化:a3 也是变成了 6

为什么打印出来还是 5 ?

这里其实是编译器的优化手段,将 a3 定义成常量后,编译器将 a3 这个符号直接类似定义宏,直接宏替换成 5,之后程序遇到 a3 的地方会直接替换成 5


解决办法:加上 volatile 关键字,意思是去掉编译器这个优化

volatile const int a3 = 5;

小结:因此说 const_cast 的修改是有一定风险的,涉及这种直接去掉常性,修改常变量的,一定要加上 volatile



2.3 dynamic_cast

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

注意是父子类指针或引用之间的转换,不是父子类对象之间的转换

(子类对象可以直接赋值给父类对象,父类对象不可以赋值给子类对象)

看注释理解:

class A
{
public:
	//virtual void func() {};
	int _a = 2;
};

class B : public A
{
public:
	int _b = 3;
};

void Func(A* pa) {
	// 父类指针 pa 指向 子类对象,下面将  子类指针转换成子类指针,没问题
	// 父类指针 pa 指向 父类对象,下面将  父类指针转换成子类指针,则该指针就会存在越界访问的风险
	//(比如你父类对象大小为5字节,子类对象大小为5字节, 而你将你父类指针强转为子类指针,那么就是本来只有5字节空间,你却可以访问10字节空间,这显然是有越界访问的风险的)

	B* pb = reinterpret_cast<B*>(pa); 

	// 越界读数据:可能不报错
	cout << "pa:" << pa->_a << '\n';
	cout << "pb:" << pb->_b << '\n';
	// 越界写数据:直接报错
	pa->_a++;
	pb->_b++;
	cout << "pa:" << pa->_a << '\n';
	cout << "pb:" << pb->_b << '\n';
}

int main() {
	A a;
	B b;
	Func(&a);
	Func(&b);
	return 0;
}




由上面代码演示可知:父类指针转换为子类指针存在风险

因此需要使用 dynamic_cast 检查是否可以转换成功,若转换失败会返回空指针,以此来防范这个风险




dynamic_cast 的使用要求:

1.dynamic_cast 只能用于父类含有虚函数的类:因此象征性的给父类A加一个 虚函数

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



class A
{
public:
	virtual void func() {};
	int _a = 2;
};

class B : public A
{
public:
	int _b = 3;
};

void Func(A* pa) {
	// 父类指针 pa 指向 子类对象,下面将  子类指针转换成子类指针,没问题
	// 父类指针 pa 指向 父类对象,下面将  父类指针转换成子类指针,则该指针就会存在越界访问的风险
	//(比如你父类对象大小为5字节,子类对象大小为5字节, 而你将你父类指针强转为子类指针,那么就是本来只有5字节空间,你却可以访问10字节空间,这显然是有越界访问的风险的)

	B* pb = dynamic_cast<B*>(pa);

	if (pb) {
		// 越界读数据:可能不报错
		cout << "pa:" << pa->_a << '\n';
		cout << "pb:" << pb->_b << '\n';
		// 越界写数据:直接报错
		pa->_a++;
		pb->_b++;
		cout << "pa:" << pa->_a << '\n';
		cout << "pb:" << pb->_b << '\n';
	}
	else cout << "转换失败" << '\n';
}

int main() {
	A a;
	B b;
	cout << "Func(&a):";
	Func(&a); 

	cout << '\n';

	cout << "Func(&b):\n";
	Func(&b);
	return 0;
}




为什么只能用于父类含有虚函数的类?

因为 dynamic_cast 本质上是通过虚表来实现的,类似于判断虚表中的 父子类是否有某种标记,判断是否可以转换成功

(这里不重要,可以自己了解)


2.4 内置类型 = 自定义类型

这个其实是在 自定义类型中添加一个函数,若该自定义类型要转换为 int 类型的数据,则添加 operator int() 函数;同理,若要转换为 double类型,则添加 operator double()

class A
{
public:
	operator int() {
		// 里面写什么东西都是自定义的了
		return _a;
	}
private:
	int _a = 10;
};

int main() {
	A a;
	int x = a;
	cout << x << '\n';
	return 0;
}

智能指针中也有使用相关重载函数:

在这里插入图片描述
在这里插入图片描述


2.5 自定义类型 = 内置类型

这个其实平时都有运用,本质上是隐式类型转换

int main() {
	// "hehehe" 是内置类型 char*,编译器底层将其隐式类型转换为 string 类型
	string s = "hehehe";
	return 0;
}



2.6 自定义类型 = 自定义类型

前面讲解过,两个类型若要进行类型转换操作,则这两个对象必须具有某种特定联系
但是通常,两个不同的自定义类型都不会有直接的联系,因此不能轻易的类型转换
需要在 左边的自定义类型 中重载参数为 右边自定义类型 的构造函数:

将自定义类型 A 的变量 拷贝给 自定义类型 B 的变量,需要在 类B 中重载新的构造函数:

B(const A& a)
	:_b(a.get())
{}

#include"List.h"
#include<list>
// 和自定义类型相关的类型转换基本都和构造函数有关

// 类型转换的两者一定要有一定的关联
// 自定义类型的转换,一定要产生某种关联


class A
{
public:
	A(const int& x = 0, const int& y = 0)
		:_a1(x)
		, _a2(y)
	{}

	 explicit :该关键字是禁止掉 隐式类型转换,但是可以显式类型转换
	//explicit operator int() {
	//	return _a1 + _a2;
	//}

	int get() const {
		return _a1 + _a2;
	}

	 这里写这个函数会报一堆奇怪的错:因为类 B 声明在下面,程序运行时向上查询就找不到类 B,导致报错
	//A(const B& b)
	//	:_a1(b.get())
	//{}
private:
	int _a1;
	int _a2;
};

class B
{
public:
	B(const int& x = 0)
		:_b(x)
	{}
	// 这里加上 const,为什么 a.get() 不能使用(A类中的 get 没有 const 修饰):这就设计到 const 权限放大的问题
	//先理清一个概念:我们平时通过一个对象或对象指针去调用成员函数,因为成员函数隐含着第一个参数 this 指针,因此本质上都要传递一个this指针过去,
	// 涉及到 this 指针的传参,就要注意 this 指针的权限问题(是否被 const 修饰)
	// B(const A& a)  这里对象 a 的this指针类型:const A*,而 get 函数this指针类型:A* 当然会权限放大!!!
	B(const A& a)
		:_b(a.get())
	{}


	// 这个也能匹配给 b1 = a1,但是会优先选择上面的构造 B(const A& a)  
	operator int() {
		cout << "operator int()" << '\n';
		return _b;
	}

private:
	int _b;
};


int main() {
	B b1 = 10;
	A a1 = 20;
	b1 = a1;

	return 0;
}

本质上,其实和自定义类型相关的类型转换基本都和构造函数有关 控制好自定义类型的构造函数,就可以通过不同类型的数据来构造一个自定义类型

【思考题】这里是 const 的权限缩小吗?

有人说,将非const类型的 iterator 赋值给 const 类型的迭代器 const_iterator 是一种 const 的权限缩小???

list<int> lt1 = { 1, 2, 3, 4 };
list<int>::const_iterator it = lt1.begin();  // 这个是 const 权限的缩小?

要注意,迭代器是一种类,两个迭代器之间的拷贝赋值,是自定义类型之间的类型转换。

而 const 的权限问题只会出现在 内置类型之间 与 内置类型指针或引用之间



因此,我们直接在自定义类型 list 迭代器类 内部写一个新的构造函数即可
(我们这里的 list 是自己模拟实现的,现在就是演示添加类型转换功能给你看)
(C++STL库中的 list 的迭代器也可以类型转换(可以自己试一试))



由于迭代器类是模板,其中的构造函数参数固定写成 非const类型的迭代器 iterator

// 迭代器就是将指向一个节点的指针 node 封装成一个类
template<class T, class Ref, class Ptr>
struct ListIterator
{
	typedef ListNode<T> Node;
	typedef ListIterator<T, Ref, Ptr> Self;  // 自己这种类型
	Node* _node;



	// 类型转换的构造:这里参数固定写成 iterator
	// 当该模板实例化为 iterator :这里就是拷贝构造
	// 当该模板实例化为 const_iterator :这里就是普通构造(支持 iterator 转换成 const_iterator)
	ListIterator(const ListIterator<T, T&, T*>& it)
		:_node(it._node)
	{}


	//......其他函数
};




测试一下:

int main() {
	// 这里是 const 的权限缩小吗?
	// 不是,这里是 自定义之间类型转换,从 iterator类 转换为 const_iterator类,其本质是在const_iterator类中重载一个参数类型为 iterator 的构造函数
	// 因此,自定义类型 可以转换成 自定义类型,内置类型也可以转换为自定义类型:本质都是自定义类型重载了相关联的构造函数
	my::list<int> lt1 = { 1, 2, 3, 4 };
	my::list<int>::const_iterator it = lt1.begin();
	while (it != lt1.end()) {
		cout << *it << '\n';
		it++;
	}
	return 0;
}

结果:
在这里插入图片描述



2.7 注意事项

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



3.RTTI(了解)

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

  1. typeid运算符
  2. dynamic_cast运算符
  3. decltype

这几个运算符为什么也是运行时识别?
其实他们都是编译时就已经得出结果,这里的运行时识别是语法语义上,在运行时判断类型或做选择,而底层其实就是编译时识别



4. 常见面试题

  1. C++中的 四种 类型转化分别是
  2. 说说 四种 类型转化的应用场景。

这些问题上面文章都有讲解了


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值