說(shuō)明:
本文來(lái)自CSDN博客:http://blog.csdn.net/goodluckyxl/archive/2005/01/19/259851.aspx
強(qiáng)制轉(zhuǎn)化四種類型可能很多人都常常忽略就象我一樣,但是有時(shí)還是比較有用的。不了解的建議看看,一些機(jī)制我也不是十分了解,只是將一些用法寫(xiě)出來(lái)讓大家看看。
強(qiáng)制轉(zhuǎn)化無(wú)論從語(yǔ)法還是語(yǔ)意上看,都是c++中最難看的特征之一。但是基于c風(fēng)格的轉(zhuǎn)化的語(yǔ)義的不明確性及其一些潛在問(wèn)題。強(qiáng)制類型轉(zhuǎn)化最終還是被c++接受了。
1.static_cast運(yùn)算符號(hào)
static_cast<T>(e),stroustrup讓我們可以把它看成隱含轉(zhuǎn)換的顯示的逆運(yùn)算。這個(gè)是有一定道理的,基于隱式轉(zhuǎn)化的對(duì)象類型我們可以使用static_cast轉(zhuǎn)化運(yùn)算符號(hào)。它是靜態(tài)的檢測(cè),無(wú)法運(yùn)行時(shí)檢測(cè)類型,在繼承中尤為突出。
使用范圍
<1>用于所有系統(tǒng)類型之間轉(zhuǎn)化,不能用于系統(tǒng)類型指針類型轉(zhuǎn)化
double t_d = 0;
int t_i= static_cast<int>(t_d); //是合法的轉(zhuǎn)化
而企圖將double*->int*是不允許的
<2>用于繼承類之間的轉(zhuǎn)化(含指針),不能用于其他沒(méi)有隱式轉(zhuǎn)化的對(duì)象類型之間的轉(zhuǎn)化
繼承舉例:
class x
{
};
class y: public x
{
};
使用:x t_o_x;
y t_o_y = static_cast<y>(t_o_x); //x* y*轉(zhuǎn)化也可以進(jìn)行因?yàn)閤,y繼承關(guān)
//系,類型可以自動(dòng)隱式轉(zhuǎn)化使用
隱式轉(zhuǎn)化舉例:
class x
{
};
class y
{
public:
y( x i_x ) {}
};
x t_o_x;
y t_o_y = static_cast<y>(t_o_x); //大家看到y(tǒng)構(gòu)造函數(shù)可以對(duì)于x類型隱式轉(zhuǎn)化
//所以可以將x->y,如果企圖將y->x會(huì)報(bào)錯(cuò)
2.reinterpret_cast 運(yùn)算
主要用于對(duì)于類型指針類型的強(qiáng)制轉(zhuǎn)化,some_type* -> special_type*這樣轉(zhuǎn)化,類型信息可以是不完全的。它允許將任意指針轉(zhuǎn)化到其他類型指針,也允許任意整數(shù)類型到任意指針類型轉(zhuǎn)化(BT)。這樣導(dǎo)致的結(jié)果是極其不安全的,不能安全的應(yīng)用于其他目的,除非轉(zhuǎn)化到原來(lái)類型。
<1> 使用所有整形可以轉(zhuǎn)化為任意類型的指針(指針是4字節(jié)的long的東東,那么機(jī)器就認(rèn)為同類型就是可以轉(zhuǎn)化)
int c;
x* p = reinterpret_cast<x*>(c); //x是自定義的任意類型,當(dāng)然包括系統(tǒng)類型
<2> 可以對(duì)于任意類型指針之間轉(zhuǎn)化
y* c;
x* p = reinterpret_cast<x*>(c);//x,y代表所有自定義或系統(tǒng)類型
大家可以看到reinterpret_cast的轉(zhuǎn)化是極度的不負(fù)責(zé)任的,他只管轉(zhuǎn)化不檢測(cè)是否可以轉(zhuǎn)化。
<3> const_cast運(yùn)算符號(hào)
這個(gè)很簡(jiǎn)單從名字大家可以看出來(lái),僅僅為了去掉或著加上const修飾符號(hào)。但是對(duì)于本身定義時(shí)為const的類型,即使你去掉const性,在你操作這片內(nèi)容時(shí)候也要小心,只能r不能w操作,否則還是會(huì)出錯(cuò)。
const char* p = "123";
char* c = const_cast<char*>(p);
c[0] = 1; //表面上通過(guò)編譯去掉了const性,但是操作其地址時(shí)系統(tǒng)依然不允許這
//么做。這是一個(gè)漏洞吧
<4> dynamic_cast運(yùn)算符號(hào)
Scott Mayers將其描述為用來(lái)執(zhí)行繼承體系中:安全的向下轉(zhuǎn)型或者跨系轉(zhuǎn)型動(dòng)作。也就是說(shuō)你可以,用dynamic_cast將 指向base class的指針或引用轉(zhuǎn)型為 指向子類的對(duì)象的指針或引用。
class B {}; //polymorphic類型含virtual才能dynamic_cast
class D: public B {}
void f( B* pb )
{
D* pd1 = dynamic_cast<D*>(pb);//如果pb為d類型正確返回,如果不是返回0
D* pd2 = static_cast<D*>(pb); //不管怎么樣都返回指針有可能指向不合適的對(duì)
//象,因?yàn)閟tatic僅僅靜態(tài)檢測(cè),不能得到運(yùn)
//行時(shí)對(duì)象的信息是否真正為D類型
}
反正大家在使用知道怎么用就ok了,c++強(qiáng)制轉(zhuǎn)化在模板中還是非常有用的,其他時(shí)候本人也喜歡用c的轉(zhuǎn)化方便。^_^