[C++对象模型]类型转化

字号: 小中大 | 打印发布: 2009-3-03 14:58 作者: 剑心通明来源: 互联网查看: 190次

i4S]1c6C'fST8O'`一 typeid与dynamic_castBSD爱好者乐园:}_|2nh6D@

1）RTTI, Runtime Type Identification (RTTI) or Run-time type information (RTTI)，表示在运行时动态决定变量的类型，来调用正确的虚函数。 RTTI在VS2008中默认为关闭，可以通过修改编译选项Enable Run-Time Type Info 为 Yes，来启用RTTI，只有当启动RTTI时，用来RTTI功能的typeid和dynamic_cast才能正常工作。

&q,KG*f [nw2）type_info，用来描述类型信息。type_info存储了它所描述的类型的名字。RTTI就是使用type_info来实现的。type_info的定义如下：

Code
class type_info {
public:
  virtual ~type_info();
  bool operator== (const type_info& rhs) const;
  bool operator!= (const type_info& rhs) const;
  bool before (const type_info& rhs) const;
  const char* name() const;
private:
  type_info (const type_info& rhs);
  type_info& operator= (const type_info& rhs);
};

BSD爱好者乐园9D%rm`'?:A!uJ

0I9]+g2W0s问题：RTTI怎么实现那？对象，type_info，虚函数怎么关联那？《深入C++对象模型》中说在虚函数表的开始存储了类型信息，但是实际的VS2008中好像并没有此信息，请高人指点哦！
fos Sk2c e1OBSD爱好者乐园fG&j.c'Fw

J$P7I)s @A!Z\3）typeid，在运行时获得对象的类型，typeid()返回的是const type_info&，而 type_info包含了对象真实类型的名字。typeid能被用来获取一个引用对象或指针指向的对象的运行时的真实类型。当然如果对象为null或编译时没有使用/GR的话，typeid的会抛出异常bad_typeid exception或__non_rtti_object。实例代码：

Code
class Base
{
public:
    virtual void f(){ }
};

class Derived : public Base
{
public:
    void f2() {}
};

void main ()
{
    Base *pB = new Derived();
    const type_info& t = typeid(*pB);cout <<t.name() << endl;
    delete pB;

    Derived d;
    Base& b = d;
    cout << typeid(b).name() << endl;
}

BSD爱好者乐园YO_*E_F7Be

[t2o7QN|+~运行结果：BSD爱好者乐园WbE!JrII] G

Ab,f*f)@,EqD%l EBSD爱好者乐园y9p:g4m1L+d

-BY%pdb/`*@8k

4）dynamic_cast，用来运行时的类型转化，需要/GR来正确运行。BSD爱好者乐园4q @lb#f%v uF
适用：BSD爱好者乐园BsoG)R
第一，用于所有的父子和兄弟间指针和引用的转化，有类型安全检查； BSD爱好者乐园6ZhE A)t%Y9P2o;n
第二，对指针类型，如果不成功，返回NULL，对引用类型，如果不成功，则抛出异常； BSD爱好者乐园 me5LO3ImjJ
第三，类型必须要有虚函数，且打开/GR编译选项，否则不能使用dynamic_cast。BSD爱好者乐园g h sm0T;G~jZv
实例代码：

Code
class AA
{
public:
    virtual void do_sth(){ std::cout<<"AA\n"; }
};
class BB
{
public:
    virtual void do_sth(){ std::cout<<"BB\n"; }
};
class CC : public AA, public BB
{
public:
    virtual void do_sth(){ std::cout<<"CC\n"; }
};

void DynamicCastTest()
{
    AA *pA = new CC;
    BB *pB = dynamic_cast<BB*>(pA);
    if(pB != NULL)
        cout << "cast successful!" << endl;
    CC *pC = dynamic_cast<CC*>(pA);
    if(pC != NULL)
     cout << "cast successful!" << endl;
}

二其他cast

@/c;P&CP|#` d%jR1）隐式转化，不需要任何操作符，转化被自动执行，当一个值被赋值到它所兼容的类型时。
9m*n+xtq7o|适用：
ew| {?z6Y第一，内置基本类型的兼容转化；BSD爱好者乐园F`l%I_'O
第二，子类指针，引用向父类的转化；BSD爱好者乐园(I:R(h,g G

实例：

Code
class A
{
public:
    virtual ~A(){}
};
class B : public A
{
};

void ImplicitCast()
{
    short a = 2000;
    int b;
    b = a;

    double d = 10.05;
    int i;
    i = d;

    int j = 75;
    char c;
    c = j;

    A* pA = new B();
}

2）强制类型转化，即我们常说的C风格的类型转化，基本上可以用于所有的转化，但是没有意义的转化除外，但是父子类，兄弟间的转化没有类型检查可能导致运行是错误。BSD爱好者乐园+xb,@i7w}S
适用：
:m&\0R2?4U { `P2d?第一，基本类型转化；BSD爱好者乐园/Axy#N.w9o
第二，void*到其他指针的转化；
#R4Gmh;`,e第三，去除const；
9a"?wT'U0UR#A第五，函数指针的转化；BSD爱好者乐园2Y^hH }k
第六，父子类转化，但是多重继承和兄弟转化，可能有运行时错误，没有类型检查；
:B/z,byrZ8i]第七，任何两个类，但是没有实际意义，运行可能出错；BSD爱好者乐园 ]_;?oimB
第八，不能用于没有意义的转化，严厉禁止，例如，你不能用static_cast象用C风格的类型转换一样把struct转换成int类型，或者把double类型转换成指针类型；BSD爱好者乐园 z;D/P@4O2T
第九，在C++一般更推荐新加的static_cast，const_cast，dynamic_cast和reinterpret_cast转化方式；

hHOZ"D$C'ef实例：

Code
class CDummy
{
public:
    CDummy(float x, float y)
    {
        i = x;
        j = y;
    }
private:
    float i,j;
};

class CAddition
{
public:
    CAddition (int a, int b) { x=a; y=b; }
    int result() { return x+y;}
private:
    int x,y;
};

int Testing()
{
    std::cout << "Testing" << std::endl;
    return 10;
}

void ExplicitCast()
{
    double r = (double)1 / 3;

    int *pi = new int(10);
    void *pV;
    pV = pi;
    int *pj = (int*)pV; // 或 int *pj = int*(pV);

    const int* pa = new int(20);
    int *pb;
    pb = (int*)pa;
    *pb = 30;
    std::cout << *pa << std::endl;

    typedef void (*Fun)();

    Fun f = (Fun)Testing;
    f();

    // 多重继承或将兄弟间的转化可能会出错

    // 虽然可以正确的编译，但是运行有问题，所以我们不做没有意义的转化
    //CDummy d(10,30);
    //CAddition * padd;
    //padd = (CAddition*) &d;
    //std::cout << padd->result();

    // 不做没有意义的转化
    //// error
    //struct st{int i; double d;};
    //st s;
    //int x = (int)s; //c2440

    //double y = 10.0;
    //int *p = (int*)y; // c2440
}

"N3edIin*e%]T0X

l'\1g5~4@B@Uv3）static_cast在功能上基本上与C风格的类型转换一样强大，含义也一样。
7@WC6C T7[Ys2V它也有功能上限制：BSD爱好者乐园5h1])SCqk0h'}7GY
第一，不能兄弟间转化，父子间转化没有类型安全检查，有可能会导致运行时错误，父子兄弟的动态转化应该适用dynamic_cast；
V | tXMA*e#}*m6J第二，不能去除const，适用专用的const_cast；BSD爱好者乐园{9U,w9^ w E^^hD
第三，不能用于两个没有继承关系的类，当然实际上这样的转化也是没有意义的；BSD爱好者乐园vna*L3[@A]L
第四，当然也不支持没有意义的转化，例如，你不能用static_cast象用C风格的类型转换一样把struct转换成int类型，或者把double类型转换成指针类型；

-G:N-k f3KtW m!?:_!S4）const_cast，用来修改类型的const或volatile属性。

%mU0QzdF适用：
第一，常量指针被转化成非常量指针，并且仍然指向原来的对象；BSD爱好者乐园a'\Ty W9[_qI
第二，常量引用被转换成非常量引用，并且仍然指向原来的对象；
/?i2t0rUP第三，常量对象被转换成非常量对象；BSD爱好者乐园7H#t9h+A:Jq5T`

#Js `!csV(Y.L实例：BSD爱好者乐园(Zr\0G+g

yK!\W/y|!Nf BSD爱好者乐园O olt sL#\

Code
void ConstCastTest()
{
    const int* pa = new int(20);
    int *pb;
    pb = const_cast<int*>(pa);
    *pb = 30;
    std::cout << *pa << std::endl;
}

BSD爱好者乐园1T"}ceD

M4Wi"FgX%f/u$k5）reinterpret_cast，此转型操作符的结果取决于编译器，用于修改操作数类型，非类型安全的转换符。
!}^/{:ChT|适用：
W,r7n;N~[jWY7\r一般不推荐使用，但是一般用来对函数指针的转化。
[U4@9Co[%Z实例：BSD爱好者乐园,N/vtvCs;I

BSD爱好者乐园M@0`;A}2O\2a

Code
// 不可以移植，不推荐使用
int ReinterpretTest()
{
    struct dat { short a; short b;};
    long value = 0x00100020;
    dat * pd = reinterpret_cast<dat *> (&value);
    std::cout << pd->a << std::endl; // 0x0020
    std::cout << pd->b << std::endl; // 0x0010
    return 0;
}

typedef void (*Fun)();

int Testing()
{
    std::cout << "Testing" << std::endl;
    return 10;
}

void ReinterpretTest2()
{
    //Fun f = (Fun)Testing;
    //f();
    Fun f = reinterpret_cast<Fun>(Testing);
    f();
}

(e9~0dM3v

x'?$K-bS,B三总结

在C++一般更推荐新加的static_cast，const_cast，dynamic_cast和reinterpret_cast转化方式；

-5 -3 -1 - +1 +3 +5

评分：0

最新更新

月度热点

网络推荐

推荐给好友 上一篇 | 下一篇

[C++对象模型]类型转化

我来说两句

最新更新

月度热点

网络推荐

推荐给好友 上一篇 | 下一篇

[C++对象模型]类型转化

我来说两句

推荐给好友上一篇 | 下一篇