C 風格(C-style)強制轉型如下:
(T) expression 或
T(expression) //函數風格(Function-style)
兩種形式之間沒有本質上的不同。
對於具有轉換的簡單類型而言C 風格轉型工作得很好。然而,這樣的轉換符也能不分皁白地應用於類(class)和類的指針。ANSI-C++標準定義了四個新的轉換符:reinterpret_cast, static_cast, dynamic_cast和const_cast,目的在於控制類(class)之間的類型轉換。
1.1 reinpreter_cast
用法:reinpreter_cast<type-id> (expression)
type-id必須是一個指針、引用、算術類型、函數指針或者成員指針。它可以把一個指針轉換成一個整數,也可以把一個整數轉換成一個指針。
這個操作符能夠在非相關的類型之間轉換。操作結果只是簡單的從一個指針到別的指針的值的二進制拷貝。在類型之間指向的內容不做任何類型的檢查和轉換。reinpreter_cast是特意用於底層的強制轉型,導致實現依賴(就是說,不可移植)的結果。
int n=9;
// reinterpret_cast 僅僅是複製 n 的比特位到 d,因此d 包含無用值。
double d=reinterpret_cast<double & > (n);
1.2 const_cast
用法:const_cast<type_id> (expression)
用於修改類型的const或volatile屬性。除了const 或volatile修飾之外,type_id和expression的類型是一樣的,一般用於強制消除對象的常量性。它是唯一能做到這一點的 C++ 風格的強制轉型,而C不提供消除const的機制(已驗證)。
常量指針被轉化成非常量指針,並且仍然指向原來的對象;常量引用被轉換成非常量引用,並且仍然指向原來的對象;常量對象被轉換成非常量對象。
1.3 static_cast
用法:static_cast < type-id > ( expression )
該運算符把expression轉換爲type-id類型,但沒有運行時類型檢查來保證轉換的安全性。它允許執行任意的隱式轉換和相反轉換動作。主要有如下幾種用法:
1)用於基本數據類型之間的轉換,如把int轉換成char,non-const 對象轉型爲 const 對象(這裏相反方向不可以,C++只有const_cast可以)。
2)把空指針轉換成目標類型的指針。(之前的做法是用強制轉換(type-id*))
3)把任何類型的表達式轉換成void類型。
4)應用到類的指針上,它允許子類類型的指針轉換爲父類類型的指針(upercasting這是一個有效的隱式轉換);也能夠執行相反動作,即轉換父類爲它的子類(downcasting),這種轉換的安全性需要開發人員來保證(主要是在非上下轉型中)。
class Base {};
class Derived : public Base {};
Base *a = new Base;
Derived *b = NULL;
b = static_cast<Derived *>(a); //可以通過編譯,但存在安全隱患(如訪問//Derived的成員)
注意:
1.static_cast不能轉換掉expression的const、volitale、或者__unaligned屬性。
2.在非基本類型或上下轉型中,被轉換的父類需要檢查是否與目的類型相一致,否則,如果在兩個完全不相干的類之間進行轉換,將會導致編譯出錯。
1.4 dynamic_cast
只用於對象的指針和引用,主要用於執行“安全的向下轉型”,也就是說,要確定一個對象是否是一個繼承體系中的一個特定類型。它是唯一不能用舊風格語法執行的強制轉型,也是唯一可能有重大運行時代價的強制轉型。
當用於多態類型時(包含虛函數),它允許任意的隱式類型轉換以及相反過程。不過,與static_cast不同,在後一種情況裏(即隱式轉換的相反過程),dynamic_cast根據RTTI信息檢查操作是否有效。即在轉換時dynamic_cast會檢查轉換是否能返回一個被請求的有效的完整對象。這種檢查不是語法上的,而是真實情況的檢查。檢測在運行時進行,如果被轉換的指針不是一個被請求的有效完整的對象指針,返回值爲NULL。
先看RTTI相關部分,通常,許多編譯器都是通過vtable找到對象的RTTI信息的,這也就意味着,如果基類沒有虛函數,也就無法判斷一個基類指針變量所指對象的真實類型, 這時候dynamic_cast只能用來做安全的轉換(upercasting),如從派生類指針轉換成基類指針,而這種轉換其實並不需要dynamic_cast參與。
class Base { virtual dummy() {} };
class Derived : public Base {};
class Other{} ;
Base* b1 = new Derived;
Base* b2 = new Base;
Derived* d1 = dynamic_cast<Derived *>(b1); // succeeds
Derived* d2 = dynamic_cast<Derived *>(b2); // fails: returns 'NULL'
//如果一個引用類型執行了類型轉換並且這個轉換是不可能的,運行時一個//bad_cast的異常類型會被拋出:
Derived d3 = dynamic_cast<Derived &>(*b1); // succeeds
Derived d4 = dynamic_cast<Derived &>(*b2); // fails: exception thrown
注意:Base需要有虛函數,否則會編譯出錯。
1.5 小結
四種類型轉換操作符對於隱式的類型轉換沒有必要。
static_cast在更寬上範圍內可以完成映射,這種不加限制的映射伴隨着不安全性。在類層次間進行上行轉換時,dynamic_cast和static_cast的效果是一樣的;在進行下行轉換時(基類需要包含虛函數),dynamic_cast具有類型檢查的功能,犧牲了效率,但比static_cast安全。