static_cast、dynamic_cast、reinterpret_cast、和const_cast
(比如static_cast,相当于c里面的转换,dynamic_cast (父子之间转换),const_cast 去掉常量性.)
关于强制类型转换的问题,很多书都讨论过,写的最详细的是C++ 之父的《C++ 的设计和演化》。最好的解决方法就是不要使用C风格的强制类型转换,而是使用标准C++的类型转换符:
static_cast, dynamic_cast。标准C++中有四个类型转换符:static_cast 、dynamic_cast 、reinterpret_cast 、 和const_cast 。下面对它们一一进行介绍。
一般来 说,static_cast比较常用,因为程序员自己知道转换的可靠性,dynamic_cast效率太低了,极少数情况下使用。不过 dynamic_cast可以用来判断类的类型,类似于Java中instanceof的用法
st atic_cast 用 法: static_cast < type-id > ( expression ) 该运算符把expression转换为type-id类型,但没有运行时类型检查来保证转换的安全性。它主要有如下几种用法:
- 用于类层次结构中基类和子类之间指针或引用的转换。进行上行转换(把子类的指针或引用转换成基类表示)是安全的【因为子类包含基类的所有属性,所以转换成基类以后,所有的操作肯定是合法的】 ;进行下行转换(把基类指针或引用转换成子类表示)时,由于没有动态类型检查,所以是不安全的【因为基类并不包含子类的所有属性,子类是扩展,所以在转换了以后如果调用到子类的特有属性,就错了】。
- 用于基本数据类型之间的转换,如把int转换成char,把int转换成 enum。这种转换的安全性也要开发人员来保证。 但 不能 char* 转成 int,需用 reinterpret_cast<int>
- 把空指针转换成目标类型的空指针。
- 把任何类型的表达式转换成void类型。
注意:static_cast不能转换掉expression的const、 volitale、或者__unaligned属性。
dynamic_cast 用 法: dynamic_cast < type-id > ( expression ) 该 运算符把expression转换成type-id类型的对象。Type-id必须是类的指针、类的引用或者void *;如果type-id是类指针类型,那么expression也必须是一个指针,如果type-id是一个引用,那么expression也必须是一个 引用。 dynamic_cast主要用于类层次间的上行转换和下行转换,还可以用于类之间的交叉转换。 在类层次间进行上行转换时,dynamic_cast和static_cast的效果是一样的;在进行下行转换时,dynamic_cast具有类型检查 的功能,比static_cast更安全。
class Base
{
public:
virtual void output(){ cout<<"base..."<<endl; }
};
class Derived : public Base
{
public:
virtual void output(){ cout<<"derived..."<<endl; }
};
int main()
{
Base* pb = new Base();
pb->output(); //output: base....
Base* pb = new Derived(); //基类指针可以指向子类,实现多态
pb->output(); //output: derived...
Derived* pb = new Base(); //子类指针不可以指向基类
Derived* pd = static_cast <Base*>(new Base()); //还是错的,子类指针不可以指向基类
Derived* pd = static_cast <Derived*>(new Base()); //只能强制转换
pd->output(); //Output: base....
Base* pb = new Base();
Derived* pd = static_cast <Derived*>(pb); //Okay,把基类指针转成子类,pd的真正指向还是Base类型
pd->output(); //Output: base....
Derived* pd = dynamic_cast <Derived*>(pb); //compile okay, but return a null pointer
if(pd == NULL)
cout<<"null pointer!!!"<<endl;
pd->output(); //Output: null pointer!!!
Base* pb = new Derived();
Base* pd = pb; //不需要转换,对编译器来说,pb就是声明为Base类型的, 但pb实际指向Derived类型。
pd->output(); //不过由于多态,output: derived...
Base* pb = new Derived();
Derived* pd = static_cast <Derived*>(pb); //Okay,把基类指针转成子类
Derived* pd = dynamic_cast <Derived*>(pb); //Okay,把基类指针转成子类
pd->output(); //Output: derived....
//进行上行转换(把子类的指针或引用转换成基类表示)
Derived* pb = new Derived();
Base* pd = pb; //把基类指针指向子类,实现多态
Base* pd = static_cast<Base*>(pb); //Okay, 编译器当作Base类型来赋值,运行时pb实际指向的还是子类对象,多态
Base* pd = dynamic_cast<Base*>(pb); //Okay,同上
pd->output(); //3种情况都Output: derived...
}
reinterpret_cast 用 法: reinterpret _cast <type-id> (expression) type-id必须是一个指针、引用、算术类型、函数指针或者成员指针。它可以把一个指针转换成一个整数,也可以把一个整数转换成一个指针(先把一个指针 转换成一个整数,在把该整数转换成原类型的指针,还可以得到原先的指针值)。 该运算符的用法比较多。
对于字节数相同的类型,例 如整形和指针型,可以实现完全的按位转换。这意味着你可以把一个整数赋给一个指针,也可以把一个指针转换成整数,也可以实现各种不兼容指针的转换。
对 于字节数不同的类型,这个操作符不能使用。例如
int x = reinterpret_cast<int>(3.14)
就是错误的
const_cast 用 法: const_cast <type_id> (expression) 该运算符用来修改类型的const或volatile属性。除了const 或volatile修饰之外, type_id和expression的类型是一样的。 常量指针被转化成非常量指针,并且仍然指向原来的对象;常量引用被转换成非常量引用,并且仍然指向原来的对象;常量对象被转换成非常量对象。 Voiatile和const类试。举如下一例:
class B
{ public:
int m_iNum;
}
void foo()
{ const B b1;
b1.m_iNum = 100; //comile error
B b2 = const_cast<B>(b1);
b2. m_iNum = 200; //fine
}
上面的代码编译时会报错,因为b1是一个常量对象,不能对它进行改变;使用 const_cast把它转换成一个变量对象,就可以对它的数据成员任意改变。注意:b1和b2是两个不同的对象。
== ===========================================
== dynamic_cast .vs. static_cast == ===========================================
class B { ... };
class D : public B { ... };
void f(B* pb)
{
D* pd1 = dynamic_cast <D*>(pb);
D* pd2 = static_cast <D*>(pb);
}
If pb really points to an object of type D, then pd1 and pd2 will get the same value. They will also get the same value if pb == 0.
If pb points to an object of type B and not to the complete D class, then dynamic_cast will know enough to return zero. However, static_cast relies on the programmer’s assertion that pb points to an object of type D and simply returns a pointer to that supposed D object.
即 dynamic_cast 可 用于继承体系中的向下转型,即将基类指针转换为派生类指针,比 static_cast 更 严格更安全。 dynamic_cast 在 执行效率上比 static_cast 要 差一些,但 static_cast 在 更宽上范围内可以完成映射,这种不加限制的映射伴随着不安全性。 static_cast 覆 盖的变换类型除类层次的静态导航以外,还包括无映射变换、窄化变换 ( 这 种变换会导致对象切片 , 丢失信息 ) 、 用 VOID* 的强制变换、隐式类型变换等 ..
. == ========================= == static_cast .vs. reinterpret_cast == =============
reinterpret_cast 是 为了映射到一个完全不同类型的意思,这个关键词在我们需要把类型映射回原有类型时用到它。我们映射到的类型仅仅是为了故弄玄虚和其他目的,这是所有映射中 最危险的。 ( 这句话是 C++ 编 程思想中的原话 )
static_cast 和 reinterpret_cast 操 作符修改了操作数类型。它们不是互逆的; static_cast 在 编译时使用类型信息执行转换,在转换执行必要的检测 ( 诸 如指针越界计算 , 类型检查 ). 其 操作数相对是安全的。另一方面; reinterpret_cast 仅 仅是重新解释了给出的对象的比特模型而没有进行二进制转换, 例 子如下:
int n=9; double d=static_cast < double > (n);
上 面的例子中 , 我们将一个变量从 int 转 换到 double 。 这 些类型的二进制表达式是不同的。 要将整数 < src="http://hi.images.csdn.net/js/blog/tiny_mce/themes/advanced/langs/zh.js" type="text/javascript"> < src="http://hi.images.csdn.net/js/blog/tiny_mce/plugins/syntaxhl/langs/zh.js" type="text/javascript"> an> 9 转换到 双 精度整数 9 , static_cast 需 要正确地为双精度整数 d 补足比特位。其结 果为 9.0 。而 reinterpret_cast 的 行为却不同 :
int n=9;
double d=reinterpret_cast <double & > (n);
这次 , 结 果有所不同 . 在进行计算以后 , d 包含无用值 . 这 是因为 reinterpret_cast 仅仅是复制 n 的 比特位到 d, 没有进行必要的分析 .
因此 , 你 需要谨慎使用 reinterpret_cast .