强制转换的类型指定了在expression上执行某种特定类型的转换。
命名的强制类型转换符号的一般形式如下:
cast-name<type-id>(expression);
其中cast-name为static_cast、dynamic_cast、const_cast和reinterpret_cast之一,type-id为需要转换的目标类型,而expression是被强制转换的值。
下面来具体说下:
1、static_cast
Static_cast与C语言式的强制转换实现的功能几近一样。
用法:static_cast < type-id > ( expression )
该运算符把expression转换为type-id类型,但没有运行时类型检查来保证转换的安全性。它主要有如下几种用法:
①用于类层次结构中基类(父类)和派生类(子类)之间指针或引用的转换。
进行上行转换(把派生类的指针或引用转换成基类表示)是安全的;
进行下行转换(把基类指针或引用转换成派生类表示)时,由于没有动态类型检查,所以是不安全的。
②用于基本数据类型之间的转换,如把int转换成char,把int转换成enum。这种转换的安全性也要开发人员来保证。
③把空指针转换成目标类型的空指针。
④把任何类型的表达式转换成void类型。
注意:static_cast不能转换掉expression的const、volatile、或者__unaligned属性。
2、 const_cast
顾名思义,const_cast将转换掉表达式的const性质。
用法:const_cast<type_id> (expression)
该运算符用来修改类型的const或volatile属性。除了const 或volatile修饰之外, type_id和expression的类型是一样的。
一、常量指针被转化成非常量的指针,并且仍然指向原来的对象;
二、常量引用被转换成非常量的引用,并且仍然指向原来的对象。
如:
const int a=100;
int * pa = const_cast<int *>(&a);
*pa = 110;
printf("%d,\n",a);
printf("%d,\n",*pa);
printf("0x%08x\n",&a);
printf("0x%08x\n",pa);
如果你是用VC6在Debug模式下执行,你猜下结果会是怎样?如果你没有结实的基础,我觉得应该很难猜到。
正确的结过是前面的一个是100,一个是110。是不是很奇怪,好像跟前面说的不符啊。我们再看看后面两个值,竟然它们的地址是一样的,这就更奇怪了。
其实,前面的a是常量,在预编译阶段,常量会被真实数值替换,就像define定义的宏一样。于是, printf("%d,\n",a);其实也就相当于编译成printf("%d,\n",100);
3、dynamic_cast
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将是一个空指针。
4、 reinterpret_cast
interpret是解释的意思,reinterpret即为重新解释。
用法:reinterpret_cast<type_id> (expression)
该运算符把expression重新解释成type-id类型的对象。对象在这里的范围包括变量以及实现类的对象。
此标识符的意思即为数据的二进制形式重新解释,但是不改变其值。
如:
nt i;
char ch='A';
i=reinterpret_cast<int>(ch);
i=65,貌似跟C语言式的强制转换有点类似?
其实不然,C语言的会将一些数值之类的截断等处理,比如浮点型转整形。浮点型跟整形的保存数据处理方式是不同的,但经过处理之后就变成了截断的数值。而此时如果用reinterpret_cast来转换,得到的数值肯定是让你诧异的值,因为其实直接将那二进制的值重新当做另外一种数据类型来解释的。
这个转换方式很少使用。