關於強制型別轉換的問題,很多書都討論過,寫的最詳細的是c++ 之父的《c++ 的設計和演化》。最好的解決方法就是不要使用c風格的強制型別轉換,而是使用標準c++的型別轉換符:static_cast, dynamic_cast。標準c++中有四個型別轉換符:static_cast、dynamic_cast、reinterpret_cast、和const_cast。下面對它們一一進行介紹。
static_cast
用法:static_cast< type-id > ( expression )
該運算子把expression轉換為type-id型別,但沒有執行時型別檢查來保證轉換的安全性。它主要有如下幾種用法:
注意:static_cast不能轉換掉expression的const、volitale、或者__unaligned屬性。
dynamic_cast
用法:dynamic_cast< type-id > ( expression )
該運算子把expression轉換成type-id型別的物件。type-id必須是類的指標、類的引用或者void *;如果type-id是類指標型別,那麼expression也必須是乙個指標,如果type-id是乙個引用,那麼expression也必須是乙個引用。
dynamic_cast主要用於類層次間的上行轉換和下行轉換,還可以用於類之間的交叉轉換。
在類層次間進行上行轉換時,dynamic_cast和static_cast的效果是一樣的;在進行下行轉換時,dynamic_cast具有型別檢查的功能,比static_cast更安全。
public:
int m_inum;
virtual void foo(); };
class d:public b;
void func(b *pb)
在上面的**段中,如果pb指向乙個d型別的物件,pd1和pd2是一樣的,並且對這兩個指標執行d型別的任何操作都是安全的;但是,如果pb指向的是乙個b型別的物件,那麼pd1將是乙個指向該物件的指標,對它進行d型別的操作將是不安全的(如訪問m_szname),而pd2將是乙個空指標。另外要注意:b要有虛函式,否則會編譯出錯;static_cast則沒有這個限制。這是由於執行時型別檢查需要執行時型別資訊,而這個資訊儲存在類的虛函式表(關於虛函式表的概念,詳細可見)中,只有定義了虛函式的類才有虛函式表,沒有定義虛函式的類是沒有虛函式表的。
另外,dynamic_cast還支援交叉轉換(cross cast)。如下**所示。
public:
int m_inum;
virtual void f(){} };
class b:public a;
class d:public a;
void foo()
在函式foo中,使用static_cast進行轉換是不被允許的,將在編譯時出錯;而使用dynamic_cast的轉換則是允許的,結果是空指標。
reinpreter_cast
用法:reinpreter_cast(expression)
type-id必須是乙個指標、引用、算術型別、函式指標或者成員指標。它可以把乙個指標轉換成乙個整數,也可以把乙個整數轉換成乙個指標(先把乙個指標轉換成乙個整數,在把該整數轉換成原型別的指標,還可以得到原先的指標值)。
該運算子的用法比較多。
const_cast
用法:const_cast(expression)
該運算子用來修改型別的const或volatile屬性。除了const 或volatile修飾之外, type_id和expression的型別是一樣的。
常量指標被轉化成非常量指標,並且仍然指向原來的物件;常量引用被轉換成非常量引用,並且仍然指向原來的物件;常量物件被轉換成非常量物件。
voiatile和const類試。舉如下一例:
public:
int m_inum;
}void foo()
上面的**編譯時會報錯,因為b1是乙個常量物件,不能對它進行改變;使用const_cast把它轉換成乙個常量物件,就可以對它的資料成員任意改變。注意:b1和b2是兩個不同的物件。
強制型別轉換
顯式轉換也稱為強制型別轉換 cast 包括以下列名字命名的強制型別轉換操作符 static cast dynamic cast const cast 和 reinterpret cast。命名的強制型別轉換符號的一般形式如下 cast name expression 其中 cast name 為 s...
強制型別轉換
c 風格的型別轉換提供了4種型別轉換操作符來應對不同場合的應用。const cast,字面上理解就是去const屬性。static cast,命名上理解是靜態型別轉換。如int轉換成char。dynamic cast,命名上理解是動態型別轉換。如子類和父類之間的多型型別轉換。reinterprete...
強制型別轉換
如果運算子兩邊的資料型別不統一,則較低型別的需要轉化成較高型別,再參加運算。運算子的高低如下 char,short int unsigned long double float include include int main 執行結果 int f 5 f 5.97 強制型別轉換的格式如下 型別 資...