C++显式类型转换:static_cast,dynamic_cast,const_cast和reinterpret_cast的区别
在C++的类型转换中,有隐式转换和显式转换。显式转换也称强制类型转换(cast),包括以下名字命名的强制类型转换操作符:static_cast,dynamic_cast,const_cast和reinterpret_cast。
1、static_cast
C++中的static_cast执行非多态的转换,用于代替C中通常的转换操作。因此,被做为隐式类型转换使用。在C++ Primer中有“编译器隐式执行的任何类型转换都可以由static_cast显式完成”。比如:
int i;
float f = 166.71;
i = static_cast<int>(f);
此时结果,i的值为166。
2、dynamic_cast
dynamic_cast < type-id > ( expression )
该运算符把expression转换成type-id类型的对象。Type-id必须是类的指针、类的引用或者void*;
如果type-id是类指针类型,那么expression也必须是一个指针,如果type-id是一个引用,那么expression也必须是一个引用。
dynamic_cast运算符可以在执行期决定真正的类型。如果downcast是安全的(也就说,如果基类指针或者引用确实指向一个派生类对象)这个运算符会传回适当转型过的指针。如果downcast不安全,这个运算符会传回空指针(也就是说,基类指针或者引用没有指向一个派生类对象)。
dynamic_cast主要用于类层次间的上行转换和下行转换,还可以用于类之间的交叉转换。
在类层次间进行上行转换时,dynamic_cast和static_cast的效果是一样的;
在进行下行转换时,dynamic_cast具有类型检查的功能,比static_cast更安全。
class B{
public:
int m_iNum;
virtual void foo();
};
class D:public B{
public:
char *m_szName[100];
};
void func(B *pb){
D *pd1 = static_cast<D *>(pb);
D *pd2 = dynamic_cast<D *>(pb);
}
在上面的代码段中,如果pb指向一个D类型的对象,pd1和pd2是一样的,并且对这两个指针执行D类型的任何操作都是安全的;
但是,如果pb指向的是一个B类型的对象,那么pd1将是一个指向该对象的指针,对它进行D类型的操作将是不安全的(如访问m_szName),
而pd2将是一个空指针。
3、const_cast
const_cast,顾名思义,将转换掉表达式的const性质。只有使用const_cast才能将const性质转换掉。
该运算符用来修改类型的const或volatile属性。除了const 或volatile修饰之外, type_id和expression的类型是一样的。
一、常量指针被转化成非常量指针,并且仍然指向原来的对象;
二、常量引用被转换成非常量引用,并且仍然指向原来的对象;
Voiatile和const类似。举如下一例:
class B
{
public:
int m_iNum;
B() {}
};
void foo()
{
const B b1;
//b1.m_iNum = 100; //compile error
/* 可以做如下转换,体现出转换为指针类型 */
B *b2 = const_cast<B*>(&b1);
/* 或者左侧也可以用引用类型,如果对b3或b4的数据成员做改变,就是对b1的值在做改变 */
B &b3 = const_cast<B&>(b1);
b2 -> m_iNum = 200; //fine
b3.m_iNum = 300;//fine
}
int main()
{
foo();
return 0;
}
上面的代码编译时会报错,因为b1是一个常量对象,不能对它进行改变;
使用const_cast可以返回一个非常量指针(或引用)指向b1,就可以通过该指针(或引用)对它的数据成员任意改变。
4、reinterpret_cast
C++中的reinterpret_cast主要是将数据从一种类型的转换为另一种类型。在C++ Primer中所谓的“通常为操作数的位模式提供较低层的重新解释”也就是说将数据以二进制存在形式的重新解释。比如:
int i;
char *p = "This is an example.";
i = reinterpret_cast<int>(p);
此时结果,i与p的值是完全相同的。reinterpret_cast的作用是说将指针p的值以二进制(位模式)的方式被解释为整型,并赋给i,//i 也是指针,整型指针;一个明显的现象是在转换前后没有数位损失。