C++ 笔记 dynamic_cast < type-id > ( expression )

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将是一个空指针。编辑本段注意事项　　B要有虚函数，否则会编译出错；static_cast则没有这个限制。

　　B中需要检测有虚函数的原因：类中存在虚函数，就说明它有想要让基类指针或引用指向派生类对象的情况，此时转换才有意义。

　　这是由于运行时类型检查需要运行时类型信息，而这个信息存储在类的虚函数表（关于虚函数表的概念，详细可见<Inside c++ object model>）中，只有定义了虚函数的类才有虚函数表，没有定义虚函数的类是没有虚函数表的。

　　另外，dynamic_cast还支持交叉转换（cross cast）。如下代码所示：

问题

　　1）什么时候应必须使用dynamic_cast

　　2）什么时候dynamic_cast可以使用static_cast代替

回答：

1、对于单继承

　　// 如果pD真的指向Derived，用dynamic_cast和static_cast效果相同
　　Base *pD = new Derived;
　　Derived *pD1 = dynamic_cast<Derived*>(pD);
　　Derived *pD2 = static_cast<Derived*>(pD);
　　// 但是如果pB不是真的指向Derived，则用dynamic_cast则返回NULL，能够更早的禁止error的发生，
　　// 如果用static_cast虽然返回的不为NULL，但是运行时可能抛出exception。
　　// Error code
　　//Base *pB = new Base();
　　//Derived *pD3 = static_cast<Derived*>(pB);
　　//Derived *pD4 = dynamic_cast<Derived*>(pB);

2、对于单继承

　　// 如果pD真的指向的是Derived1，使用dynamic_cast和static_cast都可以转化为Derived1，
　　// 但是如果要转化为Base的兄弟类Base1，必须使用dynamic_cast，使用static_cast不能编译。
　　Base *pD = new Derived1;
　　Derived1 *pD1 = dynamic_cast<Derived1*>(pD);
　　Base1 *pB1 = dynamic_cast<Base1*>(pD); 　　
　　Derived1 *pD2 = static_cast<Derived1*>(pD); 　
　　// error can not compiler
　　//Base1 *pB2 = static_cast<Base1*>(pD);
　　// 当然对于pB不是真的指向Derived1，想要转化为Derived1或Base的兄弟类Base1，情况与Test1中的error情况相同。

转自：百度百科 http://baike.baidu.com/view/1745213.htm