日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

RELATEED CONSULTING
相關(guān)咨詢(xún)
選擇下列產(chǎn)品馬上在線(xiàn)溝通
服務(wù)時(shí)間：8:30-17:00
你可能遇到了下面的問(wèn)題
關(guān)閉右側(cè)工具欄

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營(yíng)銷(xiāo)解決方案
C++對(duì)象模型之RTTI的實(shí)現(xiàn)原理

RTTI是Runtime Type Identification的縮寫(xiě)，意思是運(yùn)行時(shí)類(lèi)型識(shí)別。C++引入這個(gè)機(jī)制是為了讓程序在運(yùn)行時(shí)能根據(jù)基類(lèi)的指針或引用來(lái)獲得該指針或引用所指的對(duì)象的實(shí)際類(lèi)型。但是現(xiàn)在RTTI的類(lèi)型識(shí)別已經(jīng)不限于此了，它還能通過(guò)typeid操作符識(shí)別出所有的基本類(lèi)型(int，指針等)的變量對(duì)應(yīng)的類(lèi)型。

十余年的新榮網(wǎng)站建設(shè)經(jīng)驗(yàn)，針對(duì)設(shè)計(jì)、前端、開(kāi)發(fā)、售后、文案、推廣等六對(duì)一服務(wù)，響應(yīng)快，48小時(shí)及時(shí)工作處理。成都營(yíng)銷(xiāo)網(wǎng)站建設(shè)的優(yōu)勢(shì)是能夠根據(jù)用戶(hù)設(shè)備顯示端的尺寸不同，自動(dòng)調(diào)整新榮建站的顯示方式，使網(wǎng)站能夠適用不同顯示終端，在瀏覽器中調(diào)整網(wǎng)站的寬度，無(wú)論在任何一種瀏覽器上瀏覽網(wǎng)站，都能展現(xiàn)優(yōu)雅布局與設(shè)計(jì)，從而大程度地提升瀏覽體驗(yàn)。成都創(chuàng)新互聯(lián)從事“新榮網(wǎng)站設(shè)計(jì)”,“新榮網(wǎng)站推廣”以來(lái)，每個(gè)客戶(hù)項(xiàng)目都認(rèn)真落實(shí)執(zhí)行。

C++通過(guò)以下的兩個(gè)操作提供RTTI：

  • typeid運(yùn)算符，該運(yùn)算符返回其表達(dá)式或類(lèi)型名的實(shí)際類(lèi)型。
  • dynamic_cast運(yùn)算符，該運(yùn)算符將基類(lèi)的指針或引用安全地轉(zhuǎn)換為派生類(lèi)類(lèi)型的指針或引用。

下面分別詳細(xì)地說(shuō)明這兩個(gè)操作的實(shí)現(xiàn)方式。

注所有的測(cè)試代碼的測(cè)試環(huán)境均為：32位Ubuntu 14.04 g++ 4.8.2，若在不同的環(huán)境中進(jìn)行測(cè)試，結(jié)果可能有不同。

1、typeid運(yùn)算符

typeid運(yùn)算符，后接一個(gè)類(lèi)型名或一個(gè)表達(dá)式，該運(yùn)算符返回一個(gè)類(lèi)型為std::tpeinf的對(duì)象的const引用。type_info是std中的一個(gè)類(lèi)，它用于記錄與類(lèi)型相關(guān)的信息。類(lèi)type_info的定義大概如下：

 
 
 
    
  
  
  
  1. class type_info
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     public:
    4. 
  
  
  
  4.         virtual ~type_info();
    5. 
  
  
  
  5.         bool operator==(const type_info&)const;
    6. 
  
  
  
  6.         bool operator!=(const type_info&)const;
    7. 
  
  
  
  7.         bool before(const type_info&)const;
    8. 
  
  
  
  8.         const char* name()const;
    9. 
  
  
  
  9.     private:
    10. 
  
  
  
  10.         type_info(const type_info&);
    11. 
  
  
  
  11.         type_info& operator=(const type_info&);
    12. 
  
  
  
  12.        
    13. 
  
  
  
  13.         // data members
    14. 
  
  
  
  14. };
    15.

至于data members部分，不同的編譯器會(huì)有所不同，但是都必須提供最小量的信息是class的真實(shí)名稱(chēng)和在type_info對(duì)象之間的某些排序算法(通過(guò)before()成員函數(shù)提供)，以及某些形式的描述器，用來(lái)表示顯式的類(lèi)的類(lèi)型和該類(lèi)的任何子類(lèi)型。

從上面的定義也可以看到，type_info提供了兩個(gè)對(duì)象的相等比較操作，但是用戶(hù)并不能自己定義一個(gè)type_info的對(duì)象，而只能通過(guò)typeid運(yùn)算符返回一個(gè)對(duì)象的const引用來(lái)使用type_info的對(duì)象。因?yàn)槠渲宦暶髁艘粋€(gè)構(gòu)造函數(shù)(復(fù)制構(gòu)造函數(shù))且為private，所以編譯器不會(huì)合成任何的構(gòu)造函數(shù)，而且賦值操作運(yùn)行符也為private。這兩個(gè)操作就完全禁止了用戶(hù)對(duì)type_info對(duì)象的定義和復(fù)制操作，用戶(hù)只能通過(guò)指向type_info的對(duì)象的指針或引用來(lái)使用該類(lèi)。

下面說(shuō)說(shuō)，typeid對(duì)靜態(tài)類(lèi)型的表達(dá)式和動(dòng)態(tài)類(lèi)型的表達(dá)式的處理和實(shí)現(xiàn)。

1)typeid識(shí)別靜態(tài)類(lèi)型

當(dāng)typeid中的操作數(shù)是如下情況之一時(shí)，typeid運(yùn)算符指出操作數(shù)的靜態(tài)類(lèi)型，即編譯時(shí)的類(lèi)型。

  • 類(lèi)型名
  • 一個(gè)基本類(lèi)型的變量
  • 一個(gè)具體的對(duì)象
  • 一個(gè)指向不含有virtual函數(shù)的類(lèi)對(duì)象的指針的解引用
  • 一個(gè)指向不含有virtual函數(shù)的類(lèi)對(duì)象的引用

靜態(tài)類(lèi)型在程序的運(yùn)行過(guò)程中并不會(huì)改變，所以并不需要在程序運(yùn)行時(shí)計(jì)算類(lèi)型，在編譯時(shí)就能根據(jù)操作數(shù)的靜態(tài)類(lèi)型，推導(dǎo)出其類(lèi)型信息。例如如下的代碼片斷，typeid中的操作數(shù)均為靜態(tài)類(lèi)型：

 
 
 
    
  
  
  
  1. class X  {  ...... // 具有virtual函數(shù) }; 
    2. 
  
  
  
  2. class XX : public X  { ...... // 具有virtual函數(shù)}; 
    3. 
  
  
  
  3. class Y  { ...... // 沒(méi)有virtual函數(shù)}; 
    4. 
  
  
  
  4.  
    5. 
  
  
  
  5. int main()
    6. 
  
  
  
  6. {
    7. 
  
  
  
  7.     int n = 0;
    8. 
  
  
  
  8.     XX xx;
    9. 
  
  
  
  9.     Y y;
    10. 
  
  
  
  10.     Y *py = &y;
    11. 
  
  
  
  11.  
    12. 
  
  
  
  12.     // int和XX都是類(lèi)型名
    13. 
  
  
  
  13.     cout << typeid(int).name() << endl;
    14. 
  
  
  
  14.     cout << typeid(XX).name() << endl;
    15. 
  
  
  
  15.     // n為基本變量
    16. 
  
  
  
  16.     cout << typeid(n).name() << endl;
    17. 
  
  
  
  17.     // xx所屬的類(lèi)雖然存在virtual，但是xx為一個(gè)具體的對(duì)象
    18. 
  
  
  
  18.     cout << typeid(xx).name() << endl;
    19. 
  
  
  
  19.     // py為一個(gè)指針，屬于基本類(lèi)型
    20. 
  
  
  
  20.     cout << typeid(py).name() << endl;
    21. 
  
  
  
  21.     // py指向的Y的對(duì)象，但是類(lèi)Y不存在virtual函數(shù)
    22. 
  
  
  
  22.     cout << typeid(*py).name() << endl;
    23. 
  
  
  
  23.     return 0;
    24. 
  
  
  
  24. }
    25.

2)typeid識(shí)別多態(tài)類(lèi)型

當(dāng)typeid中的操作數(shù)是如下情況之一時(shí)，typeid運(yùn)算符需要在程序運(yùn)行時(shí)計(jì)算類(lèi)型，因?yàn)槠淦洳僮鲾?shù)的類(lèi)型在編譯時(shí)期是不能被確定的。

  • 一個(gè)指向不含有virtual函數(shù)的類(lèi)對(duì)象的指針的解引用
  • 一個(gè)指向不含有virtual函數(shù)的類(lèi)對(duì)象的引用

多態(tài)的類(lèi)型是可以在運(yùn)行過(guò)程中被改變的，例如，一個(gè)基類(lèi)的指針，在程序運(yùn)行的過(guò)程中，它可以指向一個(gè)基類(lèi)對(duì)象，也可以指向該基類(lèi)的派生類(lèi)的對(duì)象，而typeid運(yùn)算符需要在運(yùn)行過(guò)程中識(shí)別出該基類(lèi)指針?biāo)赶虻膶?duì)象的實(shí)際類(lèi)型，這就需要typeid運(yùn)算符在運(yùn)行過(guò)程中計(jì)算其指向的對(duì)象的實(shí)際類(lèi)型。例如對(duì)于以下的類(lèi)定義：

 
 
 
    
  
  
  
  1. class X
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     public:
    4. 
  
  
  
  4.         X()
    5. 
  
  
  
  5.         {
    6. 
  
  
  
  6.             mX = 101;
    7. 
  
  
  
  7.         }
    8. 
  
  
  
  8.         virtual void vfunc()
    9. 
  
  
  
  9.         {
    10. 
  
  
  
  10.             cout << "X::vfunc()" << endl;
    11. 
  
  
  
  11.         }
    12. 
  
  
  
  12.     private:
    13. 
  
  
  
  13.         int mX;
    14. 
  
  
  
  14. };
    15. 
  
  
  
  15. class XX : public X
    16. 
  
  
  
  16. {
    17. 
  
  
  
  17.     public:
    18. 
  
  
  
  18.         XX():
    19. 
  
  
  
  19.             X()
    20. 
  
  
  
  20.         {
    21. 
  
  
  
  21.             mXX = 1001;
    22. 
  
  
  
  22.         }
    23. 
  
  
  
  23.         virtual void vfunc()
    24. 
  
  
  
  24.         {
    25. 
  
  
  
  25.             cout << "XX::vfunc()" << endl;
    26. 
  
  
  
  26.         }
    27. 
  
  
  
  27.     private:
    28. 
  
  
  
  28.         int mXX;
    29. 
  
  
  
  29. };
    30.

使用如下的代碼進(jìn)行測(cè)試：

 
 
 
    
  
  
  
  1. void printTypeInfo(const X *px)
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     cout << "typeid(px) -> " << typeid(px).name() << endl;
    4. 
  
  
  
  4.     cout << "typeid(*px) -> " << typeid(*px).name() << endl;
    5. 
  
  
  
  5. }
    6. 
  
  
  
  6. int main()
    7. 
  
  
  
  7. {
    8. 
  
  
  
  8.     X x;
    9. 
  
  
  
  9.     XX xx;
    10. 
  
  
  
  10.     printTypeInfo(&x);
    11. 
  
  
  
  11.     printTypeInfo(&xx);
    12. 
  
  
  
  12.     return 0;
    13. 
  
  
  
  13. }
    14.

其輸出如下：

從輸出的結(jié)果可以看出，無(wú)論printTypeInfo函數(shù)中指針px指向的對(duì)象是基類(lèi)X的對(duì)象，還是指向派生類(lèi)XX的對(duì)象，typeid運(yùn)行返回的px的類(lèi)型信息都是相同的，因?yàn)閜x為一個(gè)靜態(tài)類(lèi)型，其類(lèi)型名均為PX1X。但是typeid運(yùn)算符卻能正確地計(jì)算出了px指向的對(duì)象的實(shí)際類(lèi)型。(注：由于C++為了保證每一個(gè)類(lèi)在程序中都有一個(gè)獨(dú)一無(wú)二的類(lèi)名，所以會(huì)對(duì)類(lèi)名通過(guò)一定的規(guī)則進(jìn)行改寫(xiě)，所以在這里顯示的類(lèi)名跟我們定義的有一些不一樣，如類(lèi)XX的類(lèi)名，被改寫(xiě)成了2XX。)

那么問(wèn)題來(lái)了，typeid是如何計(jì)算這個(gè)類(lèi)型信息的呢?下面將重點(diǎn)說(shuō)明這個(gè)問(wèn)題。

多態(tài)類(lèi)型是通過(guò)在類(lèi)中聲明一個(gè)或多個(gè)virtual函數(shù)來(lái)區(qū)分的。因?yàn)樵贑++中，一個(gè)具備多態(tài)性質(zhì)的類(lèi)，正是內(nèi)含直接聲明或繼承而來(lái)的virtual函數(shù)。多態(tài)類(lèi)的對(duì)象的類(lèi)型信息保存在虛函數(shù)表的索引的-1的項(xiàng)中，該項(xiàng)是一個(gè)type_info對(duì)象的地址，該type_info對(duì)象保存著該對(duì)象對(duì)應(yīng)的類(lèi)型信息，每個(gè)類(lèi)都對(duì)應(yīng)著一個(gè)type_info對(duì)象。下面就對(duì)這一說(shuō)法進(jìn)行驗(yàn)證。

使用如以的代碼，對(duì)上述的類(lèi)X和類(lèi)XX的對(duì)象的內(nèi)存布局進(jìn)行測(cè)試：

 
 
 
    
  
  
  
  1. typedef void (*FuncPtr)();
    2. 
  
  
  
  2. int main()
    3. 
  
  
  
  3. {
    4. 
  
  
  
  4.     XX xx;
    5. 
  
  
  
  5.     FuncPtr func;
    6. 
  
  
  
  6.     char *p = (char*)&xx;
    7. 
  
  
  
  7.     // 獲得虛函數(shù)表的地址
    8. 
  
  
  
  8.     int **vtbl = (int**)*(int**)p;
    9. 
  
  
  
  9.     // 輸出虛函數(shù)表的地址，即vptr的值
    10. 
  
  
  
  10.     cout << vtbl << endl;
    11. 
  
  
  
  11.     // 獲得type_info對(duì)象的指針，并調(diào)用其name成員函數(shù)
    12. 
  
  
  
  12.     cout << "\t[-1]: " << (vtbl[-1]) << " -> "
    13. 
  
  
  
  13.         << ((type_info*)(vtbl[-1]))->name() << endl;
    14. 
  
  
  
  14.     // 調(diào)用第一個(gè)virtual函數(shù)
    15. 
  
  
  
  15.     cout << "\t[0]: " << vtbl[0] << " -> ";
    16. 
  
  
  
  16.     func = (FuncPtr)vtbl[0];
    17. 
  
  
  
  17.     func();
    18. 
  
  
  
  18.     // 輸出基類(lèi)的成員變量的值
    19. 
  
  
  
  19.     p += sizeof(int**);
    20. 
  
  
  
  20.     cout << *(int*)p << endl;
    21. 
  
  
  
  21.     // 輸出派生類(lèi)的成員變量的值
    22. 
  
  
  
  22.     p += sizeof(int);
    23. 
  
  
  
  23.     cout << *(int*)p << endl;
    24. 
  
  
  
  24.     return 0;
    25. 
  
  
  
  25. }
    26.

測(cè)試代碼，對(duì)類(lèi)XX的對(duì)象的內(nèi)存布局進(jìn)行測(cè)試，其輸出結(jié)果如下：

從運(yùn)行結(jié)果可以看到，利用虛函數(shù)表的-1的項(xiàng)的地址轉(zhuǎn)換成一個(gè)type_info的指針類(lèi)型，并調(diào)用name成員函數(shù)的輸出為2XX，其輸出與前面的測(cè)試代碼中利用typeid的輸出一致。從而可以知道，關(guān)于多態(tài)類(lèi)型的計(jì)算是通過(guò)基類(lèi)指針或引用指向的對(duì)象(子對(duì)象)的虛函數(shù)表獲得的。

從運(yùn)行的結(jié)果可以知道，類(lèi)XX的對(duì)象的內(nèi)存布局如下：

對(duì)于以下的代碼片斷：

 
 
 
    
  
  
  
  1. typeid(*px).name()
    2.

可能被轉(zhuǎn)換成如下的C++偽代碼，用于計(jì)算實(shí)際對(duì)象的類(lèi)型：

 
 
 
    
  
  
  
  1. (*(type_info*)px->vptr[-1]).name();
    2.

在多重繼承和虛擬繼承的情況下，一個(gè)類(lèi)有n(n>1)個(gè)虛函數(shù)表，該類(lèi)的對(duì)象也有n個(gè)vptr，分別指向這些虛函數(shù)表，但是一個(gè)類(lèi)的所有的虛函數(shù)表的索引為-1的項(xiàng)的值(type_info對(duì)象的地址)都是相等的，即它們都指向同一個(gè)type_info對(duì)象，這樣就實(shí)現(xiàn)了無(wú)論使用了哪一個(gè)基類(lèi)的指針或引用指向其派生類(lèi)的對(duì)象，都能通過(guò)相應(yīng)的虛函數(shù)表獲取到相同的type_info對(duì)象，從而得到相同的類(lèi)型信息。

3)typeid的識(shí)別錯(cuò)誤的情況

從第2)節(jié)可以看到，typeid對(duì)于多態(tài)類(lèi)型是通過(guò)虛函數(shù)表來(lái)計(jì)算的，若一個(gè)基類(lèi)的指針指向了一個(gè)派生類(lèi)，而該派生類(lèi)并不存在virtual函數(shù)會(huì)出現(xiàn)什么情況呢?

例如，把第2)節(jié)中的X和XX類(lèi)中的virtual函數(shù)全部去掉，改成以下的代碼：

 
 
 
    
  
  
  
  1. class X
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     public:
    4. 
  
  
  
  4.         X()
    5. 
  
  
  
  5.         {
    6. 
  
  
  
  6.             mX = 101;
    7. 
  
  
  
  7.         }
    8. 
  
  
  
  8.     private:
    9. 
  
  
  
  9.         int mX;
    10. 
  
  
  
  10. };
    11. 
  
  
  
  11.  
    12. 
  
  
  
  12. class XX : public X
    13. 
  
  
  
  13. {
    14. 
  
  
  
  14.     public:
    15. 
  
  
  
  15.         XX():
    16. 
  
  
  
  16.             X()
    17. 
  
  
  
  17.         {
    18. 
  
  
  
  18.             mXX = 1001;
    19. 
  
  
  
  19.         }
    20. 
  
  
  
  20.     private:
    21. 
  
  
  
  21.         int mXX;
    22. 
  
  
  
  22. };
    23.

測(cè)試代碼不變，如下：

 
 
 
    
  
  
  
  1. void printTypeInfo(const X *px)
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     cout << "typeid(px) -> " << typeid(px).name() << endl;
    4. 
  
  
  
  4.     cout << "typeid(*px) -> " << typeid(*px).name() << endl;
    5. 
  
  
  
  5. }
    6. 
  
  
  
  6. int main()
    7. 
  
  
  
  7. {
    8. 
  
  
  
  8.     X x;
    9. 
  
  
  
  9.     XX xx;
    10. 
  
  
  
  10.  
    11. 
  
  
  
  11.     printTypeInfo(&x);
    12. 
  
  
  
  12.     printTypeInfo(&xx); // 注釋1
    13. 
  
  
  
  13.  
    14. 
  
  
  
  14.     return 0;
    15. 
  
  
  
  15. }
    16.

其輸出如下：

從輸出的結(jié)果可以看到，對(duì)于注釋1的函數(shù)調(diào)用，雖然函數(shù)中基類(lèi)(X)的指針px指向一個(gè)派生類(lèi)對(duì)象(XX類(lèi)的對(duì)象xx)，但是typeid卻并不沒(méi)有像第2)節(jié)那樣能正確地通過(guò)指針px計(jì)算出其所指對(duì)象的實(shí)際類(lèi)型。

其原因在于類(lèi)XX和類(lèi)X都沒(méi)有一個(gè)virtual函數(shù)，所以類(lèi)XX和類(lèi)X并不表現(xiàn)出多態(tài)類(lèi)的性質(zhì)。所以對(duì)類(lèi)的指針的解引用符合第1)節(jié)中所說(shuō)的靜態(tài)類(lèi)型，所以其類(lèi)型信息是在編譯時(shí)就已經(jīng)確定的，并不需要在程序運(yùn)行的過(guò)程中運(yùn)行計(jì)算，所以其輸出的類(lèi)型均為1X而沒(méi)有輸出1XX。更進(jìn)一步說(shuō)，是因?yàn)轭?lèi)X和類(lèi)XX都不存在virtual函數(shù)，所以類(lèi)X和XX都不存在虛函數(shù)表，所以也就沒(méi)有空間存儲(chǔ)跟類(lèi)X和XX類(lèi)型有關(guān)的type_info對(duì)象的地址。

然而在C++中即使一個(gè)類(lèi)不具有多態(tài)的性質(zhì)，仍然允許把一個(gè)派生類(lèi)的指針賦值給一個(gè)基類(lèi)的指針，所以這個(gè)錯(cuò)誤比較隱晦。

2、dynamic_cast運(yùn)算符

把一個(gè)基類(lèi)類(lèi)型的指針或引用轉(zhuǎn)換至繼承架構(gòu)的末端某一個(gè)派生類(lèi)類(lèi)型的指針或引用被稱(chēng)為向下轉(zhuǎn)型(downcast)。dynamic_cast運(yùn)算符的作用是安全而有效地進(jìn)行向下轉(zhuǎn)型。

把一個(gè)派生類(lèi)的指針或引用轉(zhuǎn)換成其基類(lèi)的指針或引用總是安全的，因?yàn)橥ㄟ^(guò)分析對(duì)象的內(nèi)存布局可以知道，派生類(lèi)的對(duì)象中必然存在基類(lèi)的子對(duì)象，所以通過(guò)基類(lèi)的指針或引用對(duì)派生類(lèi)對(duì)象進(jìn)行的所有基類(lèi)的操作都是合法和安全的。而向下轉(zhuǎn)型有潛在的危險(xiǎn)性，因?yàn)榛?lèi)的指針可以指向基類(lèi)對(duì)象或其任何派生類(lèi)的對(duì)象，而該對(duì)象并不一定是向下轉(zhuǎn)型的類(lèi)型的對(duì)象。所以向下轉(zhuǎn)型遏制了類(lèi)型系統(tǒng)的作用，轉(zhuǎn)換后對(duì)指針或引用的使用可能會(huì)引發(fā)錯(cuò)誤的解釋或腐蝕程序內(nèi)存等錯(cuò)誤。

例如對(duì)于以下的類(lèi)定義：

 
 
 
    
  
  
  
  1. class X
    2. 
  
  
  
  2. {
    3. 
  
  
  
  3.     public:
    4. 
  
  
  
  4.         X()
    5. 
  
  
  
  5.         {
    6. 
  
  
  
  6.             mX = 101;
    7. 
  
  
  
  7.         }
    8. 
  
  
  
  8.         virtual ~X()
    9. 
  
  
  
  9.         {
    10. 
  
  
  
  10.         }
    11. 
  
  
  
  11.     private:
    12. 
  
  
  
  12.         int mX;
    13. 
  
  
  
  13. };
    14. 
  
  
  
  14.  
    15. 
  
  
  
  15. class XX : public X
    16. 
  
  
  
  16. {
    17. 
  
  
  
  17.     public:
    18. 
  
  
  
  18.         XX():
    19. 
  
  
  
  19.             X()
    20. 
  
  
  
  20.         {
    21. 
  
  
  
  21.             mXX = 1001;
    22. 
  
  
  
  22.         }
    23. 
  
  
  
  23.         virtual ~XX()
    24. 
  
  
  
  24.         {
    25. 
  
  
  
  25.         }
    26. 
  
  
  
  26.     private:
    27. 
  
  
  
  27.         int mXX;
    28. 
  
  
  
  28. };
    29. 
  
  
  
  29.  
    30. 
  
  
  
  30. class YX : public X
    31. 
  
  
  
  31. {
    32. 
  
  
  
  32.     public:
    33. 
  
  
  
  33.         YX()
    34. 
  
  
  
  34.         {
    35. 
  
  
  
  35.             mYX = 1002;
    36. 
  
  
  
  36.         }
    37. 
  
  
  
  37.         virtual ~YX()
    38. 
  
  
  
  38.         {
    39. 
  
  
  
  39.         }
    40. 
  
  
  
  40.     private:
    41. 
  
  
  
  41.         int mYX;
    42. 
  
  
  
  42. };
    43.

使用如下的測(cè)試代碼，其中的類(lèi)型轉(zhuǎn)換均為向下轉(zhuǎn)型：

 
 
 
    
  
  
  
  1. int main(){ X x; XX xx; YX yx; X *px = &xx; cout << px << endl; XX *pxx = dynamic_cast(px); // 轉(zhuǎn)換1 cout << pxx << endl; YX *pyx = dynamic_cast(px); // 轉(zhuǎn)換2 cout << pyx << endl; pyx = (YX*)px; // 轉(zhuǎn)換3 cout << pyx << endl; pyx = static_cast(px); // 轉(zhuǎn)換4 cout << pyx << endl; return 0;}
    2.

其運(yùn)行結(jié)果如下：

運(yùn)行結(jié)果分析

px是一個(gè)基類(lèi)(X)的指針，但是它指向了派生類(lèi)XX的一個(gè)對(duì)象。在轉(zhuǎn)換1中，轉(zhuǎn)換成功，因?yàn)閜x指向的對(duì)象確實(shí)為XX的對(duì)象。在轉(zhuǎn)換2中，轉(zhuǎn)換失敗，因?yàn)閜x指向的對(duì)象并不是一個(gè)YX對(duì)象，此時(shí)dymanic_cast返回NULL。轉(zhuǎn)換3為C風(fēng)格的類(lèi)型轉(zhuǎn)換而轉(zhuǎn)換4使用的是C++中的靜態(tài)類(lèi)型轉(zhuǎn)換，它們均能成功轉(zhuǎn)換，但是這個(gè)對(duì)象實(shí)際上并不是一個(gè)YX的對(duì)象，所以在轉(zhuǎn)換3和轉(zhuǎn)換4中，若繼續(xù)通過(guò)指針使用該對(duì)象必然會(huì)導(dǎo)致錯(cuò)誤，所以這個(gè)轉(zhuǎn)換是不安全的。

從上述的結(jié)果可以看出在向下轉(zhuǎn)型中，只有dynamic_case才能實(shí)現(xiàn)安全的向下轉(zhuǎn)型。那么dynamic_case是如何實(shí)現(xiàn)的呢?有了上面typeid和虛函數(shù)表的知識(shí)后，這個(gè)問(wèn)題并不難解釋了，以轉(zhuǎn)換1為例。

  • 計(jì)算指針或引用變量所指的對(duì)象的虛函數(shù)表的type_info信息，如下：
 
 
 
    
  
  
  
  1. *(type_info*)px->vptr[-1]
    2.
  • 靜態(tài)推導(dǎo)向下轉(zhuǎn)型的目標(biāo)類(lèi)型的type_info信息，即獲取類(lèi)XX的type_info信息
  • 比較1)和2)中獲取到的type_info信息，若2)中的類(lèi)型信息與1)中的類(lèi)型信息相等或是其基類(lèi)類(lèi)型，則返回相應(yīng)的對(duì)象或子對(duì)象的地址，否則返回NULL。

引用的情況與指針稍有不同，失敗時(shí)并不是返回NULL，而是拋出一個(gè)bad_cast異常，因?yàn)橐貌荒軈⒖糔ULL。


分享文章：C++對(duì)象模型之RTTI的實(shí)現(xiàn)原理
瀏覽路徑：http://www.5511xx.com/article/cdhieid.html