作為四個(gè)內(nèi)部類型轉(zhuǎn)換操作符之一的dynamic_cast和傳統(tǒng)的C風(fēng)格的強(qiáng)制類型轉(zhuǎn)換有著巨大的差別。除了dynamic_cast以外的轉(zhuǎn)換,其行
為的都是在編譯期就得以確定的,轉(zhuǎn)換是否成功,并不依賴被轉(zhuǎn)換的對(duì)象。而dynamic_cast則不然。在這里,不再討論其他三種轉(zhuǎn)換和C風(fēng)格的轉(zhuǎn)換。
首先,dynamic_cast依賴于RTTI信息,其次,在轉(zhuǎn)換時(shí),dynamic_cast會(huì)檢查轉(zhuǎn)換的source對(duì)象是否真的可以轉(zhuǎn)換成target類型,這種檢查不是語法上的,而是真實(shí)情況的檢查。
先
看RTTI相關(guān)部分,通常,許多編譯器都是通過vtable找到對(duì)象的RTTI信息的,這也就意味著,如果基類沒有虛方法,也就無法判斷一個(gè)基類指針變量
所指對(duì)象的真實(shí)類型,
這時(shí)候,dynamic_cast只能用來做安全的轉(zhuǎn)換,例如從派生類指針轉(zhuǎn)換成基類指針.而這種轉(zhuǎn)換其實(shí)并不需要dynamic_cast參與.
也就是說,dynamic_cast是根據(jù)RTTI記載的信息來判斷類型轉(zhuǎn)換是否合法的.
下面看一個(gè)例子:
struct B1{
??? virtual ~B1(){}
};
struct B2{
??? virtual ~B2(){}
};
struct D1 : B1, B2{};
int main()
{
??? D1 d;
??? B1* pb1 = &d;
??? B2* pb2 = dynamic_cast<B2*>(pb1);//L1
??? B2* pb22 = static_cast<B2*>(pb1);? //L2
??? return 0;
}
上述定義中可以看到,B1和B2是不相關(guān)的類,從L1可以看到,dynamic_cast允許這種轉(zhuǎn)換:只要B1存在多態(tài)方法.
L2將編譯失敗,static_cast并不允許兩個(gè)完全不相干的類互相轉(zhuǎn)換.
dynamic_cast的這種特性,在提取一個(gè)對(duì)象的某個(gè)接口的時(shí)候,非常有用,它很類似于實(shí)現(xiàn)了COM的QueryInterface的功能。