1
2
3
|
int i;
float f = 166.71;
i = static_cast < int >(f);
|
1
2
3
|
int i;
char *p = "This is an example." ;
i = reinterpret_cast < int >(p);
|
(1)dynamic_cast 主要用於執行“安全的向下轉型(safe downcasting)”,也就是說,要確定一個對象是否是一個繼承體系中的一個特定類型。支持父類指針到子類指針的轉換,這種轉換時最安全的轉換。它 是唯一不能用舊風格語法執行的強制類型轉換,也是唯一可能有重大運行時代價的強制轉換。
(2)static_cast 可以被用於強制隱形轉換(例如,non-const對象轉換為const對象,int轉型為double,等等),它還可以用於很多這樣的轉換的反向轉換 (例如,void*指針轉型為有類型指針,基類指針轉型為派生類指針),但是它不能將一個const對象轉型為non-const對象(只有 const_cast能做到),它最接近於C-style的轉換。應用到類的指針上,意思是說它允許子類類型的指針轉換為父類類型的指針(這是一個有效的隱式轉換),同時,也能夠執行相反動作:轉換父類為它的子類。
在這最后例子里,被轉換的父類沒有被檢查是否與目的類型相一致。
代碼:
class Base {};
class Derived : public Base {};
Base *a = new Base;
Derived *b = static_cast<Derived *>(a);
'static_cast'除了操作類型指針,也能用於執行類型定義的顯式的轉換,以及基礎類型之間的標准轉換:
代碼:
double d = 3.14159265;
int i = static_cast<int>(d);
(3)const_cast一般用於強制消除對象的常量性。它是唯一能做到這一點的C++風格的強制轉型。這個轉換能剝離一個對象的const屬性,也就是說允許你對常量進行修改。
代碼:
class C {};
const C *a = new C;
C *b = const_cast<C *>(a);
(4)reinterpret_cast 是特意用於底層的強制轉型,導致實現依賴(就是說,不可移植)的結果,例如,將一個指針轉型為一個整數。這樣的強制類型在底層代碼以外應該極為罕見。操作 結果只是簡單的從一個指針到別的指針的值得二進制拷貝。在類型之間指向的內容不做任何類型的檢查和轉換。
舊風格 的強制轉型依然合法,但是新的形式更可取。首先,在代碼中它們更容易識別(無論是人還是像grep這樣的工具都是如此),這樣就簡化了在代碼中尋找類型系 統被破壞的地方的過程。其次,更精確地指定每一個強制轉型的目的,使得編譯器診斷使用錯誤成為可能。例如,試圖使用一個const_cast以外的新風格 強制轉型來消除常量性,代碼將無法編譯。