问题: Static_cast 与 Dynamic_cast的区别
来自书本上的解释:
用 static_cast<type-id > ( expression )
1. static_cast(expression) The static_cast<>() is used to cast between the integer types. 'e.g.' char->long, int->short etc.
用来数值之间的转化。
2. 可以在相关指针之间转换,指针在void * 之间转换,还可以在基类和派生类之间转换。 这些转换是在编译的时候就确定下来转换(无非就是根据继承关系,偏移指针而已),但是这需要自己保证安全。
比如:
#include <iostream>
using namespace std;
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;
}
虽然 由 pbase2 转化到 pderive2 ,编译器编译正确。 但是当调用 pderive2->f(); 应该不是希望的; 调用pderive2->f2() 因为基类本身就没有这个函数,说以运行时出错,抛出异常。
所以说static_cast 是编译时确定下来,需要自己确保转换类型安全,否则运行时会抛出异常.
注意static_cast 不能直接在没有继承关系的对象指针之间进行转换。在Com 里面实现不同接口的同个对象,其也不能再接口之间转换(更何况是动态的),所以COM提供一个query 借口。
用法:dynamic_cast < type-id > ( expression)
是专门用于具有继承关系的类之间转换的,尤其是向下类型转换,是安全的。
#include <iostream>
using namespace std;
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 = dynamic_cast<Derive *>(pbase1); //down-cast
pderive1->f(); // Derive::f()
Base* pbase2 = new Base();
Derive * pderive2 = dynamic_cast<Derive *>(pbase2); //up-cast
if ( pderive2) // NULL
{
pderive2->f();
pderive2->f2();
}
delete pbase1;
delete pbase2;
}
dynamic_cast 如何保证转换是安全的? 如何知道具体该类的具体类型 以及 继承关系呢?
引入RTTI,其存储着类运行的相关信息, 比如类的名字,以及类的基类。下面就介绍RTTI。
2. RTTI (Run Time Type info)
这个神奇的东西用于存储类的相关信息,用于在运行时识别类对象的信息。C++ 里面只记录的类的名字和类的继承关系链。使得编译成二进制的代码,对象可以知道自己的名字(ASCII),以及在继承链中的位置。
C++ 里面提供 一个关键字 typeid , 一个数据类型 typeinfo,以及对应的头文件 typeinfo.h
#include <iostream>
#include <typeinfo>
using namespace std;
class Base
{
public:
virtual void f() {} // it must need the virtual table
};
class Derive: public Base
{
};
class Derive2: public Base
{
};
void f(Base* pbase)
{
con