C++ 提供了4种 强制类型转换形式 :
(1)dynamic_cast
基本用法:
dynamic_cast<type-id> expression
使用场景:
a)dynamic_cast可以进行交叉转换
b) 只有在派生类之间转换时才使用dynamic_cast,type-id必须是类指针,类引用或者void*。
c) dynamic_cast是运行时类 型查,需要运行时类型信息,而这个信息是存储在类的虚函数表中,因此,基类必须要有虚函数。
特点:
主要用于执行“安全的向下转型(safe downcasting)”,也就是说,要确定一个对象是否是一个继承体系中的一个特定类型。支持父类指针到子类指针的转换, 对于下行转换,dynamic_cast是安全的(类型不一致时,转换过来的是空指针),而static_cast是不安全的(当类型不一致时,转换过来的是错误意义的指针,可能造成踩内存,非法访问等各种问题)。
(2)static_cast
基本用法:
static_cast<type-id> expression
使用场景:
a) 用于类层次结构中基类和派生类之间指针或引用的转换:
上行转换(派生类---->基类)是安全的,
下行转换(基类-- ->派生类)由于没有动态类型检查,所以是不安全的。
b) 用于基本数据类型之间的转换,如把int转换为char,这种带来安全性问题由程序员来保证
c) 把空指针转换成目标类型的空指针
d) 把任何类型的表达式转为void类型
特点:
一般隐形转换都使用static_cast, 它主要执行非多态的转换操作,用于代替C中通常的转换操作。它不能将一个const对象转型为non-const对象(只有 const_cast能做到)。
(3)const_cast
基本用法:
const_cast<type-id>expression
使用场景:
a) 常量指针转换为非常量指针或者常量引用被转换为非常量引用,且仍然指向原来的对象。
b) 一个特定的场景是:类通过const提供重载时,一般都是非常量函数调用const_cast<const T>将参数转换为常量, 然 后调用常量函数,然后得到结果再调用const_cast <T>去除常量性。
特点:
const_cast 是 唯一可以对常量进行操作的转换符。一般用于强制消除对象的常量性。剥离一个对象的const属性。尽量避免使用。
(4)reinterpret_cast
基本用法:
reinterpret_cast<type-id>expression
使用场景:
a) 是特意用于底层的强制转型,导致实现依赖(即不可移植)。
例如,将一个指针转型为一个整数。 操作结果只是简单的从一个指针到别的指针的值的二进制拷贝。在类型之间指向的内容做任何类型的检查和转换。
b) 不到万不得已,不用使用这个转换符 。
特点:
reinterpret_cast可以将整型转换为指针,也可以把指针转换为数组;它也可以在指针和引用里进行肆无忌惮的转换。 从底层对数据进行重新解释,依赖具体的平台,可移植性差
All in all,
static_cast 完成基本类型转换。虽不是一种绝对安全的转换,但在转换时会进行必要的检测(诸如指针越界计算,类型检查)。它在编译期完成转换比较高效。
const_cast 去const属性。不是用于去除变量的常量性,而是去除指向常数对象的指针或引用的常量性。
dynamic_cast 完成多态类的类型转换。运行时完成转换。要求 <> 内所描述的目标类型必须为指针或引用。此转换如果成功的话返回的是指向类的指针或引用,转换失败的话则会返回 nullptr。
reinterpret_cast 完成不同类型的指针类型转换。完全是肆无忌惮,直接从二进制开始重新映射解释,是极度不安全的。