|
廢話不多說,直接給結(jié)論:
class base
{
public:
base(){}
virtual ~base(){}
int m_a;
virtual void setA()
{
m_a = 0;
}
};
class A : public base
{
public:
A(){}
virtual ~A(){}
virtual void setA()
{
m_a = 1;
}
virtual void setAA()
{
m_a = 2;
}
};
情況1:
base newBase = new base;
A* newA = dynamic_cast< A* > ( newBase ); //返回值為NULL,編譯無問題,但實際根本不能用
newA->setAA(); //報錯,因為newA=NULL
結(jié)論1:
基類指針強(qiáng)制變換為子類指針后,若基類指針指向的是一個基類實體,那么雖然編譯沒有問題,可完全無法實際使用,即轉(zhuǎn)換失敗!
情況2:
base newBase = new A;
A* newA = dynamic_cast< A* > ( newBase ); //OK
newA->setAA(); //OK
結(jié)論2:
基類指針強(qiáng)制變換為子類指針后,若基類指針指向的是一個子類實體,轉(zhuǎn)換成功,調(diào)用子類新增的成員函數(shù)沒有問題!
情況3:
base newBase = new A;
A* newA = dynamic_cast< A* > ( newBase ); //OK
newA->setA(); //OK
結(jié)論3:
基類指針強(qiáng)制變換為子類指針后,若基類指針指向的是一個子類實體,轉(zhuǎn)換成功,調(diào)用子類虛函數(shù)(在這個實例里實際就是重構(gòu))沒有問題,不會發(fā)生調(diào)用錯函數(shù)的問題!
情況4:
A* newA = new A;
base* newbase = dynamic_cast< base* > ( newA ); //OK
newbase->setA(); //OK,由于是虛函數(shù)所以執(zhí)行的是A中的setA();
結(jié)論4:
偉大的虛函數(shù)功能并沒有因為強(qiáng)制轉(zhuǎn)換而消失!再次膜拜偉大的RTTI!
情況5:
A* newA = new A;
base* newbase = dynamic_cast< base* > ( newA );
newbase->setAA(); //成員函數(shù)不存在,無法編譯通過
結(jié)論5:
不解釋。
最后的結(jié)論:
在繼承體系中,上行轉(zhuǎn)換(子類->基類)dynamic_cast與static_cast功能完全一樣,有效且安全;
下行轉(zhuǎn)換(基類->子類)則必須視基類實際指向的對象類型而定,只有基類指向的對象為子類類型時才有效且安全!
多日后再思考,又出現(xiàn)一個新想法,嘗試:
class subBase
{public:
subBase(){}
virtual ~subBase(){}
int m_b;
virtual void setB()
{
m_b = 10;
}
};
class multiA : public base, public subBase
{
public:
multiA(){};
virtual ~multiA(){};
virtual void setA()
{
m_a = 3;
}
virtual void setB()
{
m_b = 11;
}
};
情況6:
base* newbase = new multiA ;
subBase* newsubbase = dynamic_cast< subBase* > ( newbase );
newsubbase->setB(); //OK m_b = 11;
結(jié)論6:
在多重繼承的情況下,只要指針實際指向?qū)ο鬄樽宇悓ο螅敲磳τ谥赶蜃宇悓ο蟮幕愔羔槪梢允褂胐ynamic_cast在不同基類之間相互轉(zhuǎn)換,轉(zhuǎn)換后對應(yīng)基類的虛函數(shù)特性得到保存。
|
|