Q:什麼是C風格轉換?什麼是static_cast, dynamic_cast 以及 reinterpret_cast?區別是什麼?為什麼要注意?
A:轉換的含義是通過改變一個變數的型別為別的型別從而改變該變數的表示方式。為了型別轉換一個簡單物件為另一個物件你會使用傳統的型別轉換操作符。
比如,為了轉換一個型別為doubole的浮點數的指標到整型:
程式碼
1 2 3 |
int i; double d; i = (int) d; |
或者:
1 |
i = int (d); |
對於具有標準定義轉換的簡單型別而言工作的很好。然而,這樣的轉換符也能不分皁白的應用於類(class)和類的指標。ANSI-C++標準定義了四個新的轉換符:’reinterpret_cast’, ‘static_cast’, ‘dynamic_cast’ 和 ‘const_cast’,目的在於控制類(class)之間的型別轉換。
程式碼:
1 2 3 4 |
reinterpret_cast<new_type>(expression) dynamic_cast<new_type>(expression) static_cast<new_type>(expression) const_cast<new_type>(expression) |
1 reinterpret_cast
reinterpret_cast 轉換一個指標為其它型別的指標。它也允許從一個指標轉換為整數型別。反之亦然。(譯註:是指標具體的地址值作為整數值?)
這個操作符能夠在非相關的型別之間轉換。操作結果只是簡單的從一個指標到別的指標的值的二進位制拷貝。在型別之間指向的內容不做任何型別的檢查和轉換。如果情況是從一個指標到整型的拷貝,內容的解釋是系統相關的,所以任何的實現都不是方便的。一個轉換到足夠大的整型能夠包含它的指標是能夠轉換回有效的指標的。
程式碼:
1 2 3 4 |
class A {}; class B {}; A * a = new A; B * b = reinterpret_cast<B *>(a); |
reinterpret_cast 就像傳統的型別轉換一樣對待所有指標的型別轉換。
2 static_cast
static_cast 允許執行任意的隱式轉換和相反轉換動作。(即使它是不允許隱式的)
意思是說它允許子類型別的指標轉換為父類型別的指標(這是一個有效的隱式轉換),同時,也能夠執行相反動作:轉換父類為它的子類。在這最後例子裡,被轉換的父類沒有被檢查是否與目的型別相一致。
程式碼:
1 2 3 4 5 |
class Base {}; class Derived : public Base {}; Base *a = new Base; Derived *b = static_cast<Derived *>(a); |
static_cast 除了操作型別指標,也能用於執行型別定義的顯式的轉換,以及基礎型別之間的標準轉換:
程式碼:
1 2 |
double d = 3.14159265; int i = static_cast<int>(d); |
3 dynamic_cast
dynamic_cast只用於物件的指標和引用。當用於多型型別時,它允許任意的隱式型別轉換以及相反過程。不過,與static_cast不同,在後一種情況裡(注:即隱式轉換的相反過程),dynamic_cast會檢查操作是否有效。也就是說,它會檢查轉換是否會返回一個被請求的有效的完整物件。
檢測在執行時進行。如果被轉換的指標不是一個被請求的有效完整的物件指標,返回值為NULL.
程式碼:
1 2 3 4 5 6 7 8 |
class Base { virtual dummy() {} }; class Derived : public Base {}; 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的異常型別被丟擲:
程式碼:
1 2 3 4 5 6 7 8 |
class Base { virtual dummy() {} }; class Derived : public Base { }; Base* b1 = new Derived; Base* b2 = new Base; Derived d1 = dynamic_cast<Derived &*>(b1); // succeeds Derived d2 = dynamic_cast<Derived &*>(b2); // fails: exception thrown |
4 const_cast
這個轉換型別操縱傳遞物件的const屬性,或者是設定或者是移除:
程式碼:
1 2 3 4 |
class C {}; const C *a = new C; C *b = const_cast<C *>(a); |
其它三種操作符是不能修改一個物件的常量性的。注意:’const_cast’也能改變一個型別的volatile qualifier。
C++ 的四種強制轉型形式每一種適用於特定的目的
- dynamic_cast 主要用於執行“安全的向下轉型(safe downcasting)”,也就是說,要確定一個物件是否是一個繼承體系中的一個特定型別。它是唯一不能用舊風格語法執行的強制轉型,也是唯一可能有重大執行時代價的強制轉型。
- static_cast 可以被用於強制隱型轉換(例如,non-const 物件轉型為 const 物件,int 轉型為 double,等等),它還可以用於很多這樣的轉換的反向轉換(例如,void* 指標轉型為有型別指標,基類指標轉型為派生類指標),但是它不能將一個 const 物件轉型為 non-const 物件(只有 const_cast 能做到),它最接近於C-style的轉換。
- const_cast 一般用於強制消除物件的常量性。它是唯一能做到這一點的 C++ 風格的強制轉型。
- reinterpret_cast 是特意用於底層的強制轉型,導致實現依賴(implementation-dependent)(就是說,不可移植)的結果,例如,將一個指標轉型為一個整數。這樣的強制轉型在底層程式碼以外應該極為罕見。