强制类型转换也叫显式类型转换在C/C++中是经常需要使用的。老风格的强制类型转换(也就是C语言支持的)形式为:(T)e,而C++又提供了一种新风格的强制类型转换方式:xxx_cast<T>(e),其中xxx_cast有如下四种:static_cast, dynamic_cast, const_cast, reinterpret_cast。那么,对于新风格的四种cast,他们之间的区别是什么,使用场合分别是什么呢?下面分别一一介绍。
1. static_cast
该运算符把e转换为T类型,但没有运行时类型检查来保证转换的安全性。它主要有如下几种用法:
- 用于类层次结构中基类和子类之间指针或引用的转换。进行upcast(把子类的指针或引用转换成基类表示)是安全的;进行downcast(把基类指针或引用转换成子类表示)时,由于没有动态类型检查,所以是不安全的。
- 用于基本数据类型之间的转换,如把int转换成char,把int转换成enum。这种转换的安全性也要开发人员来保证。
- 把空指针转换成目标类型的空指针。
- 把任何类型的表达式转换成void类型。
使用static_cast的地方都可以用老风格的强制转换(T)e来代替。唯一不同的是:static_cast中的T的类型的声明必须是完全的,否则编译器会当作一个错误。
2. dynamic_cast
该运算符把e转换成T类型的对象。T必须是类的指针、类的引用或者void *。dynamic_cast的使用注意如下几点:
- 主要用于类层次间的upcast和downcast,还可以用于类之间的crosscast(交叉转换)。
- 具有运行时类型检查的功能,比static_cast更安全。如果不能转化成功返回空指针。
- 需要注意的是,从Base*到Derived*的转换时,Base必须是多态的,即Base必须有virtual函数。
3. const_cast
该运算符用来修改类型的const或volatile属性。除了const 或volatile修饰之外, T和e的类型是一样的。
常量指针被转化成非常量指针,并且仍然指向原来的对象;常量引用被转换成非常量引用,并且仍然指向原来的对象;常量对象被转换成非常量对象。
4. reinterpret_cast
reinterpret_cast<T>e所能转化的T和e可以使任何类型,它只是对e做生硬粗鲁的重新解释。其本质是不安全的,依赖于实现。
关于强制类型转换详细可以参考C++ 之父的《C++语言的设计和演化》。