reinterpret_cast
reinterpret_cast 可以將一個指針轉換為任意其它類型的指針。
它也可以用來將一個指針轉換為一個整型，或反之亦然。
這個操作符可以在互不相關的類之間進行指針轉換，
操作的結果是簡單的將一個指針的二進制數據(binary copy)復制到另一個指針。
對指針指向的內容不做任何檢查或轉換。
例如：
class A {};
class B {};
A * a = new A;
B * b = reinterpret_cast<B*>(a);
reinterpret_cast 對所有指針的處理與傳統的類型轉換符所作的一模一樣。
_________________________________________________________________
static_cast
static_cast 可以執行所有能夠隱含執行的類型轉換，以及它們的反向操作（即使這種方向操作是不允許隱含執行的）。
用于類的指針，也就是說，它允許將一個引申類的指針轉換為其基類類型（這是可以被隱含執行的有效轉換），同時也允許進行相反的轉換：將一個基類轉換為一個引申類類型。
在后面一種情況中，不會檢查被轉換的基類是否真正完全是目標類型的。例如下面的代碼是合法的：
class Base {};
class Derived: public Base {};
Base * a = new Base;
Derived * b = static_cast(a);
static_cast除了能夠對類指針進行操作，還可以被用來進行類中明確定義的轉換，以及對基本類型的標準轉換：
double d=3.14159265;
int i = static_cast<int>(d);
譯者注：如果你對這部分看不太懂，請結合下面的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);
Derived* d2 = dynamic_cast(b2);
如果類型轉換被用在引用(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);
Derived d2 = dynamic_cast(b2);
const_cast
這種類型轉換對常量const 進行設置或取消操作：
class C {};
const C * a = new C;
C * b = const_cast<C*> (a);
其他3種cast 操作符都不可以修改一個對象的常量屬性(constness)。
typeid
ANSI-C++ 還定義了一個新的操作符叫做 typeid ，
它檢查一個表達式的類型：
typeid (expression)
這個操作符返回一個類型為type_info的常量對象指針，這種類型定義在標準頭函數中。這種返回值可以用操作符 == 和 != 來互相進行比較，
也可以用來通過name()函數獲得一個描述數據類型或類名稱的字符串，
例如：
#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;
}
|
a and b are of different types:
a is: class CDummy *
b is: class CDummy |