最近在看 Tensorflow Lite 的源碼,里面用了多種類型轉(zhuǎn)換塘揣,我查了下相關(guān)資料包雀,匯總記錄一下。
為啥在 C++ 中會(huì)有這么多轉(zhuǎn)換符號(hào)
C 風(fēng)格轉(zhuǎn)換風(fēng)格簡(jiǎn)單亲铡,但是主要存在下面兩點(diǎn)缺點(diǎn):
- 轉(zhuǎn)換隨意才写,可以在任意類型間轉(zhuǎn)換,轉(zhuǎn)換間差異很大奖蔓。
- 沒(méi)有統(tǒng)一的關(guān)鍵字和標(biāo)識(shí)符赞草,代碼排查時(shí)容易遺漏疏忽。
所以吆鹤,針對(duì)場(chǎng)景需求不同厨疙,C++ 提供了四種轉(zhuǎn)換類型來(lái)解決上述問(wèn)題。
- 對(duì)類型轉(zhuǎn)換做了細(xì)分疑务,提供了四種不同的類型轉(zhuǎn)換沾凄,支持不同需求的轉(zhuǎn)換。
- 類型轉(zhuǎn)換有了統(tǒng)一的標(biāo)識(shí)符暑始,利于代碼排查和檢查搭独。
static_cast
用法:static_cast<type-id>(expression)
把 expression 轉(zhuǎn)換為 type-id 的類型,但沒(méi)有類型檢查來(lái)保證轉(zhuǎn)換的安全性廊镜,主要有以下幾種用法
- 用于類層次結(jié)構(gòu)中基類和子類之間指針或引用的轉(zhuǎn)換牙肝。進(jìn)行上行轉(zhuǎn)換(把子類的指針或引用轉(zhuǎn)換成基類表示)是安全的;進(jìn)行下行轉(zhuǎn)換(把基類指針或引用轉(zhuǎn)換成子類表示)時(shí)嗤朴,由于沒(méi)有動(dòng)態(tài)類型檢查配椭,所以是不安全的。
- 用于基本數(shù)據(jù)類型之間的轉(zhuǎn)換雹姊,如把int轉(zhuǎn)換成char股缸,把int轉(zhuǎn)換成enum。這種轉(zhuǎn)換的安全性也要開發(fā)人員來(lái)保證吱雏。
- 把空指針轉(zhuǎn)換成目標(biāo)類型的空指針敦姻。
- 把任何類型的表達(dá)式轉(zhuǎn)換成void類型。
注意:static_cast不能轉(zhuǎn)換掉expression的const歧杏、volitale镰惦、或者_(dá)_unaligned屬性。
dynamic_cast
用法: dynamic_cast<type-id>(expression)
該運(yùn)算符把 expression 轉(zhuǎn)換成 type-id 類型的對(duì)象犬绒,type-id 必須是類的指針旺入,類的引用或者 void*,主要用法
- 類層次間的上行或下行轉(zhuǎn)換,以及類之間的交叉轉(zhuǎn)換
在類層次上行轉(zhuǎn)換時(shí)茵瘾,dynamic_cast 和 static_cast 的效果基本一致礼华,但在下行轉(zhuǎn)換時(shí),dynamic_cast 具有類型檢查功能拗秘,如下例子圣絮。
class B{
public:
int m_iNum;
virtual void foo(); // 運(yùn)行時(shí)檢查類型信息是依賴虛函數(shù),否則會(huì)編譯出錯(cuò)
};
class D:public B{
public:
char *m_szName[100];
};
void func(B *pb){
D *pd1 = static_cast<D *>(pb); // 轉(zhuǎn)換成 D 類型指針聘殖,但是訪問(wèn) m_szName 是不安全的
D *pd2 = dynamic_cast<D *>(pb); // 類型檢查晨雳,返回 NULL
}
此外行瑞,dynamic_cast 還支持交叉轉(zhuǎn)換奸腺,如下代碼所示:
class A{
public:
int m_iNum;
virtual void f(){}
};
class B:public A{
};
class D:public A{
};
void foo(){
B *pb = new B;
pb->m_iNum = 100;
D *pd1 = static_cast<D *>(pb); // 不允許,編譯時(shí)出錯(cuò)
D *pd2 = dynamic_cast<D *>(pb); // 允許血久,但值為空指針
delete pb;
}
reinterpret_cast
用法:reinpreter_cast<type-id> (expression)
type-id 必須是一個(gè)指針突照、引用、算術(shù)類型氧吐、函數(shù)指針或者成員指針讹蘑。它可以把一個(gè)指針轉(zhuǎn)換成一個(gè)整數(shù),也可以把一個(gè)整數(shù)轉(zhuǎn)換成一個(gè)指針筑舅,簡(jiǎn)單來(lái)說(shuō)座慰,它可以將任何指針類型轉(zhuǎn)化成任何其他指針類型。
這個(gè)強(qiáng)制轉(zhuǎn)換符還是蠻危險(xiǎn)的翠拣,一般來(lái)說(shuō)使用場(chǎng)景有兩種:
- 清楚的知道強(qiáng)制轉(zhuǎn)換時(shí)兩者的類型
- 需要對(duì)位進(jìn)行操作
這個(gè)轉(zhuǎn)換符是這四個(gè)中最難理解的版仔,我現(xiàn)在也沒(méi)完全搞明白,慎重使用误墓。
const_cast
用法:const_cast<type_id> (expression)
該運(yùn)算符用來(lái)修改類型的const或volatile屬性蛮粮。除了const 或volatile修飾之外, type_id和expression的類型是一樣的谜慌。
作用是將常量指針轉(zhuǎn)換成非常量指針然想,那么對(duì)應(yīng)值就可以進(jìn)行修改了,如下例子所示
const 類的舉例如下:
class B{
public:
int m_iNum;
}
void foo(){
const B b1;
// b1.m_iNum = 100; // 執(zhí)行這句會(huì)報(bào)錯(cuò)
B b2 = const_cast<B>(b1);
b2. m_iNum = 200; // 轉(zhuǎn)換后修改則不會(huì)
}