四种强制转换 reinterpret_cast、const_cast、static_cast、dynamic_cast
旧式的强制类型转换
早期版本的C++语言中,显示地进行强制类型转换具有如下两种形式:
-
type (expr);
函数形式地强制类型转换int i = 10; double j = int(j);
-
(type) expr;
C语言风格的强制类型转换double j = (int) j;
旧式的强制类型转换从表现形式上来看,对转换的具体类型表述不清晰,推荐使用命名的强制类型转换。
例如,如下的旧式转换和 reinterpret_cast 一样;
int *ip;
char *pc = (char*) ip;
命名的强制类型转换
一个命名的强制类型转换的形式为:cast-name<type>(expression);
cast-name
为static_cast
、dynamic_cast
、const_cast
和reinterpret_cast
中的一种,指定执行哪种转换;type
为转换的目标类型,如果 type 是引用类型,则结果是左值;expression
是要转换的值;
static_cast
任何具有明确定义的类型转换,只要不包含底层
[const](https://www.notion.so/2-43cb93830ea44d92bf000b55415fd46f?pvs=21)
,都可以使用 static_cast 。
int val = 10;
void *vp = &val;
int *ip = static_cast<int*>(vp);
cout << *ip << endl;
static_cast 不能改变对象的底层const 属性,只有const_cast才能改变对象的底层const属性;
// 底层 const
const char *pc;
// 错误
char *p = static_cast<char*>(pc);
// 正确
char *p = const_cast<char*>(pc);
const_cast
const_cast 强制类型转换只能改变运算对象的底层const属性,不能用 const_cast 改变表达式的类型。
将常量对象转换为非常量对象的行为,一般称为”去掉 const 性质(cast away the const)”。一旦去掉了某个对象的const性质,编译器就不再阻止该对象的写操作。
reinterpret_cast
reinterpret_cast 通常为运算对象的位模式提供较低层次上的重新解释。
int *ip;
char *pc = reinterpret_cast<char*>(ip);
ip 指向的是一个int类型的变量,因此 pc 所指向的真实对象仍然是int类型,而不是char类型。因此,如果把pc当成普通的char指针使用,在运行时可能发生错误。
dynamic_cast
dynamic_cast
运算符用于将基类的指针或引用安全地转换成派生类的指针或引用。
并非任何时候都能定义一个虚函数。假设无法使用虚函数,则可以使用一个 RTTI(run-time type identification, 运行时类型识别) 运算符。
dynamic_cast
运算符有如下三种使用形式:
dynamic_cast<type*>(e)
,e必须是一个有效的指针;dynamic_cast<type&>(e)
,e必须是一个左值;dynamic_cast<type&&>(e)
,e不能是左值;
其中,type 必须是一个类类型,通常情况下该类型应该含有虚函数(why?)。
在上面的所有形式中,e的类型必须符合以下三个条件中的任意一个:
- e 的类型是 type 的公有派生类;
- e 的类型是 type 的公有基类;
- e 的类型就是 type 的类型;
如果 e 的类型符合上面三个条件中的任意一个,则类型转换 可以 成功;否则,转换失败。
如果 dynamic_cast 的转换目标是指针类型并且失败,则类型转换的结果为0(指针为0,表示空,nullptr)。如果 dynamic_cast 的转换目标是引用类型并且失败了,则 dynamic_cast 运算符抛出一个 bad_cast 异常(该异常定义在 typeinfo
标准库头文件中)。