目前為止，我們一直使用傳統的型別轉換符來進行簡單物件的型別轉換。例如，要把一個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 是要被轉換的內容。為了便於理解，模仿傳統轉換操作符，它們的含義是這樣的：

reinterpret_cast

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

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

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

例如：

reinterpret_cast 對所有指標的處理與傳統的型別轉換符所作的一模一樣。

static_cast

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

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

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

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

譯者注：如果你對這部分看不太懂，請結合下面的dynamic_cast一起看，也許會幫助理解。

dynamic_cast

dynamic_cast 完全被用來進行指標的操作。它可以用來進行任何可以隱含進行的轉換操作以及它們被用於多型類情況下的方向操作。然而與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;
    }