運算符dynamic_cast可以針對兩種資料類型做強制轉換:指針類型和引用類型。這兩種類型的情況是不一樣的。下面讨論如下:
1、對指針的強制轉換
dynamic_cast<T*>(p);
如果p的類型為T*,或者為D*,且T是D的一個可以通路的基類,結果跟我們直接将p賦給一個T*是一樣的。(這是向上類型轉換的情況)。
dynaimic_cast的專長是用于那些編譯器無法确定轉換正确性的情況。在這種情況下dynamic_cast将檢視被p指向的對象(如果有的話),如果這個對象屬于類T,或者有唯一的基類T,那麼dynamic_cast就傳回指向該對象的類型為T*的指針。否則就傳回0。如果p的值為0,則dynamic_cast<T*>(p)也傳回0。
如果要做向下的類型轉換,或者兄弟類之間做交叉轉換,則要求p是一個到多态類型的指針或引用。但是轉換的目标類型不一定是支援多态的。因為如果p的類型不是T的,那麼傳回值為0,這樣的話,我們對dynamic_cast<T*>(p)的傳回值必須做顯示的檢查。對于指針p,dynamic_cast<T*>(p)可以看成一個疑問:p所指向的對象的類型是T嗎?
2、對引用的強制轉換
因為我們能合法的假定一個引用總是引用着某個對象,是以對引用r做dynamic_cast<T&>(r)不是提問,而是斷言:“由r引用的對象的類型是T”。對于引用的dynamic_cast的結果,隐式的由dynamic_cast去做檢查,如果對引用的dynamic_cast不具有所需要的類型,就會跑出一個bad_cast異常。
在對動态指針強制轉換和動态引用強制轉換結果方面的差異,所反應的正是指針和引用之間的根本性差異。
class Base { public: virtual void f() {cout<<"Base::f()"<<endl;} }; class Derive: public Base { public: virtual void f() {cout<<"Derive::f()"<<endl;} virtual void f2() {cout<<"Derive::f1()"<<endl;} }; int main() { Base *pbase1 = new Derive(); Derive* pderive1 = static_cast<Derive *>(pbase1); pderive1->f(); // Derive::f() Base* pbase2 = new Base(); Derive * pderive2 = static_cast<Derive *>(pbase2); pderive2->f(); // Base::f() // pderive2->f2(); // throw exception "Access violation reading" delete pbase1; delete pbase2; system("pause"); } /* class CBasic { public: virtual int test(){return 0;} // 一定要是 virtual }; class CDerived : public CBasic { public: virtual int test(){ return 1;} }; int main() { CBasic cBasic; CDerived cDerived; CBasic * pB1 = new CBasic; CBasic * pB2 = new CDerived; //dynamic cast failed, so pD1 is null. CDerived * pD1 = dynamic_cast<CDerived * > (pB1); //dynamic cast succeeded, so pD2 points to CDerived object CDerived * pD2 = dynamic_cast<CDerived * > (pB2); //dynamci cast failed, so throw an exception. // CDerived & rD1 = dynamic_cast<CDerived &> (*pB1); //dynamic cast succeeded, so rD2 references to CDerived object. CDerived & rD2 = dynamic_cast<CDerived &> (*pB2); system("pause"); return 0; }