夢在天涯 在上篇文章里問可不可以研究下對象與對象的類型信息怎么聯(lián)系起來的，就是當(dāng)調(diào)用dynamic_cast的時候為什么能夠正確的識別對象的類型

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

那RTTI在哪里呢？
MSVC編譯器在vftable前設(shè)置了一個指針，指向叫做“Complete Object Locator”（完整對象定位器）的結(jié)構(gòu)。這樣稱呼是因為它允許編譯器從特定的vftable指針（因為一個類可能有若干vftable）找到完整對象的位置。COL就像如下定義:

請看如下代碼：

  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運行時結(jié)構(gòu)體中包含許多豐富的信息，甚至我們可以利用一個實例的RTTI信息去復(fù)原整個類繼承圖譜

而對于dynamic_cast也是利用這個信息來準(zhǔn)確的識別實例所對應(yīng)的類型，不過如果對于沒有多態(tài)的實例，dynamic_cast所做的也只是和編譯器類型轉(zhuǎn)換一樣的事情，僅僅是通過類型和繼承關(guā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}