C++四種cast操作符

C 風格(C-style)強制轉型如下:

(T) expression  或

T(expression) //函數風格(Function-style)

兩種形式之間沒有本質上的不同。

對於具有轉換的簡單類型而言風格轉型工作得很好。然而,這樣的轉換符也能不分皁白地應用於類(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的成員)

注意:

1static_cast不能轉換掉expressionconstvolitale、或者__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安全。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章