c/c++強制型別轉換
q:什麼是c風格轉換?什麼是static_cast, dynamic_cast 以及 reinterpret_cast?區別是什麼?為什麼要注意?
a:轉換的含義是通過改變乙個變數的型別為別的型別從而改變該變數的表示方式。為了型別轉換乙個簡單物件為另乙個物件你會使用傳統的型別轉換操作符。比如,為了轉換乙個型別為doubole的浮點數的指標到整型:
**:int i;
double d;
i = (int) d;
或者:i = int (d);
對於具有標準定義轉換的簡單型別而言工作的很好。然而,這樣的轉換符也能不分皂白的應用於類(class)和類的指標。ansi-c++標準定義了四個新的轉換符:'reinterpret_cast', 'static_cast', 'dynamic_cast' 和 'const_cast',目的在於控制類(class)之間的型別轉換。
**:
1 reinterpret_cast
reinterpret_cast 轉換乙個指標為其它型別的指標。它也允許從乙個指標轉換為整數型別。反之亦然。(譯註:是指標具體的位址值作為整數值?)
這個操作符能夠在非相關的型別之間轉換。操作結果只是簡單的從乙個指標到別的指標的值的二進位制拷貝。在型別之間指向的內容不做任何型別的檢查和轉換。
如果情況是從乙個指標到整型的拷貝,內容的解釋是系統相關的,所以任何的實現都不是方便的。乙個轉換到足夠大的整型能夠包含它的指標是能夠轉換回有效的指標的。
**:class a {};
class b {};
a * a = new a;
b * b = reinterpret_cast(a);
reinterpret_cast 就像傳統的型別轉換一樣對待所有指標的型別轉換。
2 static_cast
static_cast 允許執行任意的隱式轉換和相反轉換動作。(即使它是不允許隱式的)
意思是說它允許子類型別的指標轉換為父類型別的指標
(這是乙個有效的隱式轉換),同時,也能夠執行相反動作:轉換父類為它的子類
。在這最後例子裡,被轉換的父類沒有被檢查是否與目的型別相一致。
**:class base {};
class derived : public base {};
base *a = new base;
derived *b = static_cast(a);
static_cast 除了操作型別指標,也能用於執行型別定義的顯式的轉換,以及基礎型別之間的標準轉換:
**:double d = 3.14159265;
int i = static_cast(d);
3 dynamic_cast
dynamic_cast只用於物件的指標和引用。當用於多型型別時,它允許任意的隱式型別轉換以及相反過程。不過,與static_cast不同,在後一種情況裡(注:即隱式轉換的相反過程),dynamic_cast會檢查操作是否有效。也就是說,它會檢查轉換是否會返回乙個被請求的有效的完整物件。
檢測在執行時進行。如果被轉換的指標不是乙個被請求的有效完整的物件指標,返回值為null.
**:class base };
class derived : public base {};
base* b1 = new derived;
base* b2 = new base;
derived* d1 = dynamic_cast(b1); // succeeds
derived* d2 = dynamic_cast(b2); // fails: returns 'null'
如果乙個引用型別執行了型別轉換並且這個轉換是不可能的,乙個bad_cast的異常型別被丟擲:
**:class base };
class derived : public base ;
base* b1 = new derived;
base* b2 = new base;
derived d1 = dynamic_cast(b1); // succeeds
derived d2 = dynamic_cast(b2); // fails: exception thrown
4 const_cast
這個轉換型別操縱傳遞物件的const屬性,或者是設定或者是移除:
**:class c {};
const c *a = new c;
c *b = const_cast(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)(就是說,不可移植)的結果,例如,將乙個指標轉型為乙個整數。這樣的強制轉型在底層**以外應該極為罕見。
C 強制型別轉換
四種型別可能很多人都常常忽略就象我一樣,但是有時還是比較有用的。不了解的建議看看,一些機制我也不是十分了解,只是將一些用法寫出來讓大家看看。強制轉化無論從語法還是語意上看,都是c 中最難看的特徵之一。但是基於c風格的轉化的語義的不明確性及其一些潛在問題。強制型別轉化最終還是被c 接受了。1.stat...
C 強制型別轉換
標準c 中主要有四種強制轉換型別運算子 const cast,reinterpret cast,static cast,dynamic cast等等。1 static cast a 將位址a轉換成型別t,t和a必須是指標 引用 算術型別或列舉型別。表示式static cast a a的值轉換為模板中...
C 強制型別轉換
關於強制型別轉換的問題,很多書都討論過,寫的最詳細的是c 之父的 c 的設計和演化 最好的解決方法就是不要使用c風格的強制型別轉換,而是使用標準c 的型別轉換符 static cast,dynamic cast。標準c 中有四個型別轉換符 static cast,dynamic cast,reint...