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