Good Good code,Day Day up

夢(mèng)在天涯 在上篇文章里問(wèn)可不可以研究下對(duì)象與對(duì)象的類(lèi)型信息怎么聯(lián)系起來(lái)的，就是當(dāng)調(diào)用dynamic_cast的時(shí)候?yàn)槭裁茨軌蛘_的識(shí)別對(duì)象的類(lèi)型

RTTI(Run Time Type Identification)運(yùn)行時(shí)類(lèi)型識(shí)別是有編譯器在編譯器生成的特殊類(lèi)型信息，包括對(duì)象繼承關(guān)系，對(duì)象本身的描述，RTTI是為多態(tài)而生成的信息，所以只有具有虛函數(shù)的對(duì)象在會(huì)生成

那RTTI在哪里呢？
MSVC編譯器在vftable前設(shè)置了一個(gè)指針，指向叫做“Complete Object Locator”（完整對(duì)象定位器）的結(jié)構(gòu)。這樣稱(chēng)呼是因?yàn)樗试S編譯器從特定的vftable指針（因?yàn)橐粋€(gè)類(lèi)可能有若干vftable）找到完整對(duì)象的位置。COL就像如下定義:

請(qǐng)看如下代碼：

  1#include "iostream"
  2#include "string"
  3
  4
  5using namespace std;
  6class Aclass
  7{
  8public:
  9     int a;
 10    virtual void setA(int tmp)
 11    {
 12        a=tmp;
 13        cout<<a<<endl;
 14    }
 15};
 16class Bclass:public Aclass
 17{
 18public:
 19    virtual void setA(int tmp)
 20    {
 21        a=tmp+10;
 22        cout<<a<<endl;
 23    }
 24public:
 25    void print()
 26    {
 27        cout<<a<<endl;
 28    }
 29};
 30class Cclass:public Bclass
 31{
 32};
 33typedef unsigned long DWORD;
 34struct TypeDescriptor
 35{
 36    DWORD ptrToVTable;
 37    DWORD spare;
 38    char name[8];
 39};
 40struct PMD
 41{
 42
 43    int mdisp;  //member displacement
 44
 45    int pdisp;  //vbtable displacement
 46
 47    int vdisp;  //displacement inside vbtable
 48
 49};
 50struct RTTIBaseClassDescriptor
 51
 52{
 53
 54    struct TypeDescriptor* pTypeDescriptor; //type descriptor of the class
 55
 56    DWORD numContainedBases; //number of nested classes following in the Base Class Array
 57
 58    struct PMD where;        //pointer-to-member displacement info
 59
 60    DWORD attributes;        //flags, usually 0
 61
 62};
 63
 64struct RTTIClassHierarchyDescriptor
 65{
 66
 67    DWORD signature;      //always zero?
 68
 69    DWORD attributes;     //bit 0 set = multiple inheritance, bit 1 set = virtual inheritance
 70
 71    DWORD numBaseClasses; //number of classes in pBaseClassArray
 72
 73    struct RTTIBaseClassArray* pBaseClassArray;
 74
 75};
 76
 77struct RTTICompleteObjectLocator
 78
 79{
 80
 81    DWORD signature; //always zero ?
 82
 83    DWORD offset;    //offset of this vtable in the complete class
 84
 85    DWORD cdOffset;  //constructor displacement offset
 86
 87    struct TypeDescriptor* pTypeDescriptor; //TypeDescriptor of the complete class
 88
 89    struct RTTIClassHierarchyDescriptor* pClassDescriptor; //describes inheritance hierarchy
 90
 91
 92};
 93
 94
 95int _tmain(int argc, _TCHAR* argv[])
 96{
 97    Aclass* ptra=new Bclass;
 98    int ** ptrvf=(int**)(ptra);
 99    RTTICompleteObjectLocator str=
100        *((RTTICompleteObjectLocator*)(*((int*)ptrvf[0]-1)));
101    //abstract class name from RTTI
102    string classname(str.pTypeDescriptor->name);
103    classname=classname.substr(4,classname.find("@@")-4);
104    cout<<classname<<endl;
105    system("pause");
106    return 0;
107}
108

輸出結(jié)果：


在RTTI運(yùn)行時(shí)結(jié)構(gòu)體中包含許多豐富的信息，甚至我們可以利用一個(gè)實(shí)例的RTTI信息去復(fù)原整個(gè)類(lèi)繼承圖譜

而對(duì)于dynamic_cast也是利用這個(gè)信息來(lái)準(zhǔn)確的識(shí)別實(shí)例所對(duì)應(yīng)的類(lèi)型，不過(guò)如果對(duì)于沒(méi)有多態(tài)的實(shí)例，dynamic_cast所做的也只是和編譯器類(lèi)型轉(zhuǎn)換一樣的事情，僅僅是通過(guò)類(lèi)型和繼承關(guān)系進(jìn)行轉(zhuǎn)換，還是看例子吧：

 1class mother
 2{
 3    int a;
 4    int b;
 5};
 6class father
 7{
 8    double c;
 9};
10class son:public mother,public father
11{
12    char a;
13    short c;
14};
15
16int _tmain(int argc, _TCHAR* argv[])
17{
18    mother* m=new son();
19    father* f=dynamic_cast<father*>(m);
20    system("pause");
21    return 0;
22}