运算符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;
}