5.4 類型轉換高級 (Advacned Class Type-casting)

目前為止，我們一直使用傳統(tǒng)的類型轉換符來進行簡單對象的類型轉換。例如，要把一個double類型的浮點型數字轉換為int 的整型數字，我們是這樣做的：

或者

這樣做對基本數據類型時沒問題的，因為基本數據類型的轉換已經有標準的定義。同樣的操作也可以被在類或類的指針上，因此以下例子中的寫法也是沒有問題的：

    // class type-casting
    #include <iostream.h>
    
    class CDummy {
        int i;
    };
    
    class CAddition {
        int x,y;
      public:
        CAddition (int a, int b) { x=a; y=b; }
        int result() { return x+y;}
    };
    
    int main () {
        CDummy d;
        CAddition * padd;
        padd = (CAddition*) &d;
        cout << padd->result();
        return 0;
    }
		

雖然以上程序在C++中是沒有語法錯誤的(多數編譯器甚至不會產生警告信息)，但這段程序沒有什么實際的邏輯意義。我們使用了CAddition 的成員函數result 而沒有定義一個相應的該類的對象：padd 并不是一個對象，它只是一個指針，被我們賦值指向一個毫無關系的對象的地址。當在程序運行到訪問它的result 成員函數時，將會有一個運行錯誤(run-time error)產生，或生成一個意外的結果。

為了控制這種類之間的轉換，ANSI-C++ 標準定義了4種新的類型轉換操作符： reinterpret_cast, static_cast, dynamic_cast 和 const_cast。所有這些操作符都是同樣的使用格式：

這里new_type 是要轉換成的目標類型，expression 是要被轉換的內容。為了便于理解，模仿傳統(tǒng)轉換操作符，它們的含義是這樣的：

reinterpret_cast

reinterpret_cast 可以將一個指針轉換為任意其它類型的指針。它也可以用來將一個指針轉換為一個整型，或反之亦然。

這個操作符可以在互不相關的類之間進行指針轉換，操作的結果是簡單的將一個指針的二進制數據(binary copy)復制到另一個指針。對指針指向的內容不做任何檢查或轉換。

如果這種復制發(fā)生在一個指針到一個整數之間，則對其內容的解釋取決于不同的系統(tǒng)，因此任何實現都是不可移植(non portable)的。一個指針如果被轉換為一個能夠完全存儲它的足夠大的整數中，則是可以再被轉換回來成為指針的。

例如：

reinterpret_cast 對所有指針的處理與傳統(tǒng)的類型轉換符所作的一模一樣。

static_cast

static_cast 可以執(zhí)行所有能夠隱含執(zhí)行的類型轉換，以及它們的反向操作（即使這種方向操作是不允許隱含執(zhí)行的）。

用于類的指針，也就是說，它允許將一個引申類的指針轉換為其基類類型（這是可以被隱含執(zhí)行的有效轉換），同時也允許進行相反的轉換：將一個基類轉換為一個引申類類型。

在后面一種情況中，不會檢查被轉換的基類是否真正完全是目標類型的。例如下面的代碼是合法的：

static_cast除了能夠對類指針進行操作，還可以被用來進行類中明確定義的轉換，以及對基本類型的標準轉換：

dynamic_cast

dynamic_cast 完全被用來進行指針的操作。它可以用來進行任何可以隱含進行的轉換操作以及它們被用于多態(tài)類情況下的方向操作。然而與static_cast不同的是， dynamic_cast 會檢查后一種情況的操作是否合法，也就是說它會檢查類型轉換操作是否會返回一個被要求類型的有效的完整的對象。

這種檢查是在程序運行過程中進行的。如果被轉換的指針所指向的對象不是一個被要求類型的有效完整的對象，返回值將會是一個空指針NULL 。

   class Base { virtual dummy(){}; };
   class Derived : public Base { };
   

   Base* b1 = new Derived;
   Base* b2 = new Base;
   Derived* d1 = dynamic_cast(b1);   // succeeds
   Derived* d2 = dynamic_cast(b2);   // fails: returns NULL
   

如果類型轉換被用在引用(reference)類型上，而這個轉換不可能進行的話，一個bad_cast 類型的例外(exception)將會被拋出：

  class Base { virtual dummy(){}; };
  class Derived : public Base { };
  
  Base* b1 = new Derived;
  Base* b2 = new Base;
  Derived d1 = dynamic_cast(b1);   // succeeds
  Derived d2 = dynamic_cast(b2);   // fails: exception thrown
  

const_cast

這種類型轉換對常量const 進行設置或取消操作：

其他3種cast 操作符都不可以修改一個對象的常量屬性(constness)。

typeid

ANSI-C++ 還定義了一個新的操作符叫做 typeid ，它檢查一個表達式的類型：

這個操作符返回一個類型為type_info的常量對象指針，這種類型定義在標準頭函數中。這種返回值可以用操作符 == 和 != 來互相進行比較，也可以用來通過name()函數獲得一個描述數據類型或類名稱的字符串，例如：

    // typeid, typeinfo
    #include <iostream.h>
    #include <typeinfo>
    
    class CDummy { };
    
    int main () {
        CDummy* a,b;
        if (typeid(a) != typeid(b)) {
            cout << "a and b are of different types:\n";
            cout << "a is: " << typeid(a).name() << '\n';
            cout << "b is: " << typeid(b).name() << '\n';
        }
        return 0;
    }