dynamic_cast是四个强制类型转换操作符中最特殊的一个,它支持运行时识别指针或引用。
首先,dynamic_cast依赖于rtti信息,其次,在转换时,dynamic_cast会检查转换的source对象是否真的可以转换成target类型,
这种检查不是语法上的,而是真实情况的检查。
dynamic_cast主要用于“安全地向下转型”
dynamic_cast用于类继承层次间的指针或引用转换。主要还是用于执行“安全的向下转型(safe downcasting)”,
也即是基类对象的指针或引用转换为同一继承层次的其他指针或引用。
至于“先上转型”(即派生类指针或引用类型转换为其基类类型),本身就是安全的,尽管可以使用dynamic_cast进行转换,但这是没必要的, 普通的转换已经可以达到目的,毕竟使用dynamic_cast是需要开销的。
1 class base 2 { 3 public: 4 base(){}; 5 virtual void show(){cout<<"this is base calss";} 6 }; 7 class derived:public base 8 { 9 public: 10 derived(){}; 11 void show(){cout<<"this is derived class";} 12 }; 13 int main() 14 { 15 base *base ; 16 derived *der = new derived; 17 //base = dynamic_cast(der); //正确,但不必要。 18 base = der; //先上转换总是安全的 19 base->show(); 20 system("pause"); 21 }
dynamic_cast与继承层次的指针
对于“向下转型”有两种情况。
一种是基类指针所指对象是派生类类型的,这种转换是安全的;
另一种是基类指针所指对象为基类类型,在这种情况下dynamic_cast在运行时做检查,转换失败,返回结果为0;
#include "stdafx.h" #includeusing namespace std; class base { public: base(){}; virtual void show(){cout<<"this is base calss";} }; class derived:public base { public: derived(){}; void show(){cout<<"this is derived class";} }; int main() { //这是第一种情况 base* base = new derived; if(derived *der= dynamic_cast (base)) { cout<<"第一种情况转换成功"< show(); cout< (base1)) { cout<<"第二种情况转换成功"< show(); } else { cout<<"第二种情况转换失败"< 运行结果:
dynamic_cast和引用类型
在前面的例子中,使用了dynamic_cast将基类指针转换为派生类指针,也可以使用dynamic_cast将基类引用转换为派生类引用。
同样的,引用的向上转换总是安全的:
derived c; derived & der2= c; base & base2= dynamic_cast(der2);//向上转换,安全 base2.show(); 所以,在引用上,dynamic_cast依旧是常用于“安全的向下转型”。与指针一样,引用的向下转型也可以分为两种情况,与指针不同的是,并不存在空引用,所以引用的dynamic_cast检测失败时会抛出一个bad_cast异常:
int main() { //第一种情况,转换成功 derived b ; base &base1= b; derived &der1 = dynamic_cast(base1); cout<<"第一种情况:"; der1.show(); cout< (base); } catch(bad_cast) { cout<<"转化失败,抛出bad_cast异常"< 运行结果:
- 使用dynamic_cast转换的base类至少带有一个虚函数
当一个类中拥有至少一个虚函数的时候,编译器会为该类构建出一个虚函数表(virtual method table),虚函数表记录了虚函数的地址。如果该类派生了其他子类,且子类定义并实现了基类的虚函数,那么虚函数表会将该函数指向新的地址。虚表是c 多态实现的一个重要手段,也是dynamic_cast操作符转换能够进行的前提条件。当类没有虚函数表的时候(也即一个虚函数都没有定义),dynamic_cast无法使用rtti,不能通过编译(个人猜想...有待验证)。
当然,虚函数表的建立对效率是有一定影响的,构建虚函数表、由表查询函数 都需要时间和空间上的消耗。所以,除了必须声明virtual(对于一个多态基类而言),不要轻易使用virtual函数。对于虚函数的进一步了解,可以查看《effective c 》
条款07:为多态基类声明virtual析构函数。