在詳細介紹C++中的四種轉型操作符之前,我們先來說說舊式轉型的缺點:
①它幾乎允許將任何類型轉換為任何其他類型,這是十分拙劣的。如果每次轉型都能夠更精確地指明意圖,則更好。
②舊式轉型難以辨識。舊式轉型的語法結構是由一對小括號加上一個對象名稱組成,而小括號和對象名稱在C++的任何地方都有可能被使用。
為解決C舊式轉型的缺點,C++導入了4個新的轉型操作符:static_cast、const_cast、dynamic_cast、reinterpret_cast。下面我來一一分析這四種轉型操作符。
1)static_cast
static_cast基本上擁有與C舊式轉型相同的威力與意義,以及相同的限制。例如,不能夠利用static_cast將一個struct轉型為int,或將一個double轉型為pointer;這些都是C舊式轉型動作原本就不可以完成的任務。static_cast甚至不能夠移除表達式的常量性。
int a,b;
...
double c = static_cast
2)const_cast
const_cast用來改變表達式中的常量性(constness)或變易性(volatileness)。使用const_cast,便是對人類(以及編譯器)強調,通過這個轉型操作符,我們唯一想改變的是某物的常量性或變易性。如果將const_cast應用於上述以為的用途,那麼轉型動作會被拒絕。下面看一個例子:
class Widget{...};
class SpecialWidget:public Widget {...};
void update(SpecialWidget* psw);
SpecialWidget sw;//sw是個non-const對象
const SpecialWidget& csw = sw;//csw卻是一個代表sw的reference,並視之為一個const對象
update(&csw);//錯誤!不能講const SpecialWidget*傳給一個需要SpecialWidget*的函數
update(const_cast
update((SpecialWidget*)&csw);//情況同上,但使用的是較難辨識的c舊式轉型語法
Widget* pw = new SpecialWidget;
update(pw);//錯誤!pw的類型是Widget*,但update()需要的卻是SpecialWidget*。
update(const_cast
3)dynamic_cast
①dynamic_cast用來執行繼承體系中”安全地向下轉型或跨系轉型動作“。也就是說你可以利用dynamic_cast,將”指向base class objects的pointers或references“轉型為”指向derived(或sibling base)class objects的pointers或references“,並得知轉型是否成功。如果轉型失敗,會以一個null指針(當轉型對象是指針)或一個exception(當轉型對象是reference)表現出來:
Widget* pw;
...
update(dynamic_cast
void updateViaRef(SpecialWidget& rsw);
updateViaRef(dynamic_cast
dynamic_cast只能用來助你巡航於繼承體系之下。它無法應用在缺乏虛函數的類型身上,也不能改變類型的常量性。
②dynamic_cast的第二個用途是找出被某對象占用的內存的起始點。例如:
class HeapTracked
{
public:
bool isOnheap() const;
private:
typedef const void* RawAddress;
static list
};
bool HeapTracked::isOnheap() const
{
const void* rawAddress = dynamic_cast
list
return it != addresses.end();
}
凡涉及”多重繼承或虛擬基類“的對象,會擁有多個地址,只要簡單地將指針”動態轉型“為void*(或const void*或volatile void*或const volatile void*),便會獲得一個指針,指向”原指針所指對象“的內存起始處。不過,dynamic_cast只適用於那種”所指對象至少有一個虛函數“的指針身上。
4)reinterpret_cast
這個操作符的轉換結果幾乎總是與編譯平台息息相關。所以reinterpret_cast不具移植性。
reinterpret_cast的最常用用途是轉換”函數指針“類型。假設有一個數組,存儲的都是函數指針,有特定的類型:
typedef void (*FuncPtr)();//FuncPtr是個指針,指向某個函數。
FuncPtr funcPtrArray[10];//funcPtrArray是個數組,內有10個FuncPtrs。
假設由於某種原因,你希望將以下函數的一個指針放進funcPtrArray中:
int doSomething();
如果沒有轉型,不可能辦到這一點,因為doSomething的類型與funcPtrArray所能接受的不同。funcPtrArray內各函數指針所指函數的返回值是void,但doSomething的返回值卻是int:
funPtrArray[0] = &doSomething;//錯誤!類型不對
使用reinterpret_cast,可以強迫編譯器了解你的意圖。
funcPtrArray[0] = reinterpret_cast
函數指針的轉型動作並不具有移植性(C++不保證所有的函數指針都能以此方式重新呈現),某些情況下這樣的轉型可能會導致不正確的結果,所以應該盡量避免將函數指針轉型。
如果編譯器尚未支持這些新式轉型動作,也可以使用傳統轉型方式取代static_cast、const_cast和reinterpret_cast。甚至可以利用宏來仿真這些新語法。
#define static_cast(TYPE,EXPR) ((TYPE)(EXPR))
#define const_cast(TYPE,EXPR) ((TYPE)(EXPR))
#define reinterpret_cast(TYPE,EXPR) ((TYPE)(EXPR))
至於dynamic_cast,也可回頭使用舊式的C型語法,或者定義一個宏,但是它們不可能告訴你轉型是否成功。