作為一名成天跟代碼打交道的開發(fā)者我經(jīng)常在項(xiàng)目里碰到一類很有意思的需求設(shè)計(jì)一個(gè)“不聽話”的類以及處理各種“別扭”的類型轉(zhuǎn)換。這兩個(gè)東西看似基礎(chǔ)實(shí)則暗藏了大量細(xì)節(jié)。很多人寫業(yè)務(wù)代碼時(shí)不會(huì)太在意但一旦涉及底層封裝、框架設(shè)計(jì)、跨語言協(xié)作這些點(diǎn)就會(huì)變成真正的攔路虎。這篇文章我想把“特殊類的設(shè)計(jì)”和“類型轉(zhuǎn)換”放在一起聊不是空談理論而是結(jié)合我實(shí)際踩過的坑講清楚特殊類到底“特殊”在哪類型轉(zhuǎn)換在不同語言里尤其是Python、MATLAB、C語言各自有什么脾氣以及如何把兩者結(jié)合寫出既安全又靈活的代碼。無論你是剛?cè)腴T的學(xué)生還是已經(jīng)寫了幾年代碼的工程師這篇文章都能給你一些可以直接拿去用的思路。1. 特殊類設(shè)計(jì)的核心思路與場景1.1 為什么需要特殊類所謂特殊類指的是在常規(guī)的“類就是數(shù)據(jù)加行為”之外對(duì)對(duì)象的創(chuàng)建方式、生命周期、訪問權(quán)限、拷貝行為等做出額外約束的類。我最早接觸這個(gè)概念是在C里當(dāng)時(shí)要寫一個(gè)只能生成在堆上的類以及一個(gè)只能生成在棧上的類用來控制對(duì)象的存活范圍。后來在Python里做單例模式在C語言里用結(jié)構(gòu)體模擬類也遇到了類似的問題。為什么要費(fèi)勁做這些約束真實(shí)場景里理由非常明確。舉幾個(gè)例子某些資源類如網(wǎng)絡(luò)連接、文件句柄不適合被復(fù)制因?yàn)閺?fù)制會(huì)導(dǎo)致底層資源被二次釋放某些管理器類如配置中心、日志系統(tǒng)需要全局唯一因?yàn)槎鄬?shí)例會(huì)導(dǎo)致狀態(tài)不一致某些中間層類只希望用戶通過工廠方法創(chuàng)建而不希望用戶直接new從而保證初始化邏輯不被繞過。這些需求本質(zhì)上都是在說默認(rèn)的類行為不夠安全我們需要特殊設(shè)計(jì)來兜底?？梢哉f特殊類設(shè)計(jì)是“把編程語言默認(rèn)的靈活性用約定和約束換成安全性”的過程。默認(rèn)情況下語言給你最大的自由度你想怎么建對(duì)象、怎么拷貝、怎么賦值都行。但自由度越大出錯(cuò)的概率越高。特殊類設(shè)計(jì)的核心價(jià)值就是在語言層面或編碼規(guī)范層面把這些自由度收回來讓錯(cuò)誤在編譯期或者運(yùn)行早期就暴露出來。這里我用一個(gè)生活化的類比普通的類就像一把萬能鑰匙什么鎖都能開但誰撿到都能開特殊類就像一把定制鑰匙只能在特定時(shí)間、特定位置使用別人拿到了也干不了壞事。聽起來麻煩但真實(shí)系統(tǒng)里這種限制本身就是一種保護(hù)。1.2 設(shè)計(jì)約束的底層邏輯要設(shè)計(jì)特殊類首先要搞清楚約束的底層邏輯是什么。約束不是亂加的而是圍繞“對(duì)象的生命周期”和“對(duì)象的訪問方式”這兩個(gè)維度展開。生命周期約束決定對(duì)象在哪塊內(nèi)存上創(chuàng)建、何時(shí)銷毀。C里最典型的就是控制構(gòu)造函數(shù)和析構(gòu)函數(shù)的訪問級(jí)別。把構(gòu)造函數(shù)設(shè)為private外部就不能直接創(chuàng)建實(shí)例把析構(gòu)函數(shù)設(shè)為private外部就不能直接delete。這兩種操作會(huì)直接改變對(duì)象的使用方式。比如只能建立在棧上的類本質(zhì)上是把operator new或者構(gòu)造函數(shù)設(shè)為私有讓堆分配走不通只能建立在堆上的類則反過來把析構(gòu)函數(shù)設(shè)為私有讓棧對(duì)象在作用域結(jié)束時(shí)的自動(dòng)析構(gòu)變成編譯錯(cuò)誤。訪問方式約束則決定對(duì)象實(shí)例能否被復(fù)制、能否被賦值、能否被多線程共享。常見的做法是把拷貝構(gòu)造函數(shù)和拷貝賦值運(yùn)算符聲明為private但不實(shí)現(xiàn)或者用C11后的delete關(guān)鍵字直接禁止。這樣做的本質(zhì)是如果類里持有裸指針、文件描述符、數(shù)據(jù)庫連接這類資源淺拷貝會(huì)造成同一份資源被兩個(gè)對(duì)象管理析構(gòu)時(shí)就會(huì)出現(xiàn)double free或者文件句柄泄漏。與其去實(shí)現(xiàn)深拷貝不如直接從源頭上禁止拷貝讓調(diào)用者換一種方式傳遞所有權(quán)比如用智能指針、引用或者移動(dòng)語義。Python里的情況有些不同因?yàn)镻ython沒有真正的private概念。但設(shè)計(jì)邏輯是相通的。我們?nèi)匀豢梢酝ㄟ^命名約定單下劃線、雙下劃線以及重寫__new__、__init__、__copy__、__deepcopy__等方法來約束行為。這里要說一個(gè)關(guān)鍵點(diǎn)特殊類設(shè)計(jì)追求的不是“絕對(duì)不可能被破壞”而是“正常使用下不會(huì)誤操作”。如果非要搞反射、搞object.__setattr__去繞過那是抬杠不是工程。1.3 特殊類的兩種典型形態(tài)單例與禁止拷貝在特殊類設(shè)計(jì)里有兩種形態(tài)是面試和工程里出現(xiàn)頻率最高的一個(gè)是單例一個(gè)是禁止拷貝。單例模式的目的很直白全局只有一個(gè)實(shí)例。實(shí)現(xiàn)方式多種多樣餓漢式、懶漢式、雙重檢查鎖定、靜態(tài)局部變量等。我個(gè)人的經(jīng)驗(yàn)是在C里用C11之后的靜態(tài)局部變量實(shí)現(xiàn)最省心因?yàn)檎Z言標(biāo)準(zhǔn)保證了局部靜態(tài)變量的初始化是線程安全的。不需要自己加鎖也不容易出問題。Python里則往往通過重寫類的__new__方法實(shí)現(xiàn)。要注意的是Python的單例如果涉及繼承就需要小心處理否則子類會(huì)共用父類的實(shí)例這通常不是你想要的。禁止拷貝類的設(shè)計(jì)則更微妙。除了前面提到的將拷貝構(gòu)造和拷貝賦值聲明為delete之外還需要考慮C11的移動(dòng)語義。假如一個(gè)類禁止拷貝但允許移動(dòng)那么它可以被放進(jìn)vector等容器如果移動(dòng)也禁止那基本只能獨(dú)立使用或者使用引用/指針傳遞。實(shí)際項(xiàng)目里我見過一個(gè)典型的bug場景一個(gè)類內(nèi)部管理了一個(gè)ID分配器因?yàn)樵试S了拷貝導(dǎo)致兩個(gè)對(duì)象持有同一個(gè)分配器的副本各自分配出的ID相互覆蓋排查了很久才定位到是拷貝惹的禍。所以禁止拷貝不是矯情是真能救命。2. 類型轉(zhuǎn)換的本質(zhì)與常用操作手法2.1 隱式轉(zhuǎn)換、顯式轉(zhuǎn)換與轉(zhuǎn)換安全聊完特殊類我們來看類型轉(zhuǎn)換。類型轉(zhuǎn)換的本質(zhì)是把一種類型的數(shù)據(jù)重新解釋或者重新計(jì)算為另一種類型。這個(gè)操作看似簡單但里面藏著不少陷阱。先把轉(zhuǎn)換分成兩大類。隱式轉(zhuǎn)換是編譯器或者解釋器自動(dòng)完成的代碼里沒有顯式寫轉(zhuǎn)換邏輯。比如C語言里int和double做運(yùn)算int會(huì)被自動(dòng)提升為doublePython里1 2.0會(huì)得到3.0也是隱式轉(zhuǎn)換。顯式轉(zhuǎn)換則是程序員顯式寫出來的比如C語言里的(int)3.14Python里的int(42)。隱式轉(zhuǎn)換的優(yōu)點(diǎn)是代碼簡潔缺點(diǎn)是它可能在程序員沒注意到的地方發(fā)生精度損失或者語義變化。最經(jīng)典的就是C語言里的整數(shù)除法int a 5, b 2; float c a / b;這里的c不是2.5因?yàn)閍 / b在整數(shù)環(huán)境下計(jì)算結(jié)果是2然后才被轉(zhuǎn)成2.0。這類問題困擾了無數(shù)初學(xué)者。顯式轉(zhuǎn)換則把意圖表達(dá)清楚但也可能因?yàn)椴磺‘?dāng)?shù)牟僮鲗?dǎo)致數(shù)據(jù)截?cái)嗷蛞绯觥＿€有一個(gè)重要概念是窄化轉(zhuǎn)換和寬化轉(zhuǎn)換。寬化轉(zhuǎn)換是從“小范圍”到“大范圍”比如int到double、char到int一般情況下安全。窄化轉(zhuǎn)換是從“大范圍”到“小范圍”比如double到int、long到short這種轉(zhuǎn)換會(huì)丟失信息程序員必須明確知道自己在做什么。好的代碼風(fēng)格是盡量讓窄化轉(zhuǎn)換顯式化并且在使用前做邊界檢查。我在實(shí)際項(xiàng)目中見過不少因?yàn)檎D(zhuǎn)換導(dǎo)致的詭異bug后面會(huì)專門講。2.2 強(qiáng)制轉(zhuǎn)換與隱式轉(zhuǎn)換不同語言的不同哲學(xué)不同語言對(duì)類型轉(zhuǎn)換的態(tài)度差異很大這背后是設(shè)計(jì)哲學(xué)的不同。C語言奉行“程序員最大”給了大量靈活但危險(xiǎn)的轉(zhuǎn)換手段。除了C風(fēng)格的(Type)value強(qiáng)制轉(zhuǎn)換C語言里有符號(hào)和無符號(hào)數(shù)之間的隱式轉(zhuǎn)換也容易出問題。比如unsigned int和int比較大小int會(huì)被轉(zhuǎn)成unsigned int一旦那個(gè)int是負(fù)數(shù)轉(zhuǎn)換成無符號(hào)后的值會(huì)變成一個(gè)很大的正數(shù)比較結(jié)果就完全反直覺了。Python走的是“顯式優(yōu)于隱式”的路子它不像C語言那樣動(dòng)不動(dòng)就幫你自動(dòng)轉(zhuǎn)而是提供了非常豐富的轉(zhuǎn)換函數(shù)int()、float()、str()、list()、tuple()、set()、bytes()等等。Python的設(shè)計(jì)意圖是讓類型轉(zhuǎn)換變成程序員主動(dòng)發(fā)起的操作而不是語言偷偷摸摸做的。這樣做的代價(jià)是需要寫更多的代碼但換來的是更清晰的數(shù)據(jù)流。MATLAB則更貼近數(shù)學(xué)工作者的使用習(xí)慣。它雖然也有隱式轉(zhuǎn)換的機(jī)制但更多時(shí)候會(huì)根據(jù)上下文自動(dòng)調(diào)整類型。比如默認(rèn)的數(shù)值類型是double你要?jiǎng)?chuàng)建一個(gè)整數(shù)數(shù)組需要顯式使用int8、uint16之類的函數(shù)。MATLAB在處理字符和數(shù)值之間的轉(zhuǎn)換時(shí)有自己一套邏輯使用num2str、str2num、char、string等函數(shù)。這里要特別注意MATLAB的str2num在解析失敗時(shí)會(huì)返回空數(shù)組而且它對(duì)多行字符串和eval的執(zhí)行方式與直覺不太一樣。相比之下str2double更安全它只處理單個(gè)字符串返回NaN表示失敗。C語言里還有一個(gè)特殊場景是數(shù)組和指針的關(guān)系。數(shù)組名在大多數(shù)表達(dá)式中會(huì)退化為指向首元素的指針這就是所謂“數(shù)組變量的類型轉(zhuǎn)換”的核心。理解了這點(diǎn)才能真正理解為什么sizeof(arr)和sizeof(ptr)結(jié)果不同為什么把數(shù)組作為函數(shù)參數(shù)傳遞后在函數(shù)內(nèi)部用sizeof會(huì)得到指針大小。2.3 顯式轉(zhuǎn)換的種類與適用場景顯式轉(zhuǎn)換在不同語言里有不同的形態(tài)和適用場景。這里我只聊C的四種轉(zhuǎn)型操作符因?yàn)檫@個(gè)設(shè)計(jì)非常值得借鑒。static_cast是最常用的它處理的是編譯期能確定的類型轉(zhuǎn)換比如int到double、子類指針到父類指針。它不做運(yùn)行期檢查所以效率高但需要程序員自己保證安全性。dynamic_cast專門用于多態(tài)類型的安全向下轉(zhuǎn)換。它在運(yùn)行期檢查對(duì)象的實(shí)際類型如果轉(zhuǎn)換失敗指針形式返回nullptr引用形式拋出bad_cast異常。代價(jià)是它需要運(yùn)行期類型信息性能要比static_cast差一些但安全性高。在真正的多態(tài)繼承體系里向下轉(zhuǎn)換時(shí)我堅(jiān)持用dynamic_cast而不是圖省事用static_cast。const_cast用來去除或添加const屬性這是個(gè)非常危險(xiǎn)的操作。只有在確定對(duì)象的原始定義不是const時(shí)去除const后才修改才是安全的。如果對(duì)象本身就是const的強(qiáng)行通過const_cast去修改結(jié)果是未定義行為可能直接崩潰。reinterpret_cast則是最底層的類型重新解釋把一個(gè)指針類型轉(zhuǎn)成另一個(gè)不相關(guān)的指針類型幾乎不做任何檢查。它的哲學(xué)是“我比你更懂我的數(shù)據(jù)”。這句話聽著霸氣但實(shí)際上大多數(shù)時(shí)候用reinterpret_cast的人都會(huì)在事后付出代價(jià)。我在項(xiàng)目里的原則是能用static_cast和dynamic_cast解決的絕不用reinterpret_cast。3. 實(shí)操案例Python、MATLAB、C語言中的類型轉(zhuǎn)換3.1 Python類型轉(zhuǎn)換從字符串到數(shù)字再到容器的完整鏈路Python的類型轉(zhuǎn)換是我使用頻率最高的因?yàn)樗鳛槟_本語言和膠水語言經(jīng)常要和用戶輸入、文件內(nèi)容、網(wǎng)絡(luò)報(bào)文打交道。第一步幾乎都是把原始數(shù)據(jù)轉(zhuǎn)成Python內(nèi)置類型。最常見的場景是把字符串轉(zhuǎn)成數(shù)字。int(42)得到42float(3.14)得到3.14。但要注意幾個(gè)細(xì)節(jié)。第一int()默認(rèn)按十進(jìn)制解析如果你傳入0x1A會(huì)報(bào)錯(cuò)。要解析十六進(jìn)制需要指定base16即int(0x1A, 16)這樣得到26。實(shí)際上你也可以不寫前綴直接int(1A, 16)效果一樣。第二int()不能轉(zhuǎn)換帶小數(shù)點(diǎn)的字符串int(3.14)會(huì)直接拋ValueError必須先float(3.14)再int()。第三數(shù)字轉(zhuǎn)字符串如果只需要字符串拼接直接用str()即可如果需要格式化輸出建議用f-string它內(nèi)部會(huì)自動(dòng)調(diào)用轉(zhuǎn)換邏輯而且支持寬度、精度、千位分隔符等控制。與數(shù)字轉(zhuǎn)換對(duì)應(yīng)的是容器轉(zhuǎn)換。list(hello)會(huì)把五個(gè)字符拆成[h, e, l, l, o]tuple([1, 2, 3])得到(1, 2, 3)set([1, 2, 2, 3])會(huì)去重得到{1, 2, 3}。這里有個(gè)很常見的坑字典轉(zhuǎn)列表時(shí)list(dict)只會(huì)提取鍵而不是鍵值對(duì)。如果你想要鍵值對(duì)列表應(yīng)該用list(dict.items())。另一個(gè)坑是dict直接轉(zhuǎn)字符串只能得到一個(gè)包含引號(hào)的表示形式無法用于變量名或操作。如果你需要把字符串形式的字典還原成字典要用json.loads或者ast.literal_eval而不是eval。還有就是bytes和str之間的轉(zhuǎn)換。str.encode(utf-8)把字符串變成字節(jié)串bytes.decode(utf-8)把字節(jié)串變回字符串。這個(gè)方向的選擇在文件讀寫、網(wǎng)絡(luò)傳輸時(shí)特別關(guān)鍵。寫文件時(shí)如果不關(guān)注編碼中文內(nèi)容寫進(jìn)去再用記事本打開就是亂碼。這里我建議給自己定一個(gè)鐵律所有涉及外部IO的數(shù)據(jù)一律顯式指定編碼絕不依賴系統(tǒng)默認(rèn)編碼。3.2 MATLAB字符類型轉(zhuǎn)換num2str、str2num、str2double與char的細(xì)節(jié)MATLAB在數(shù)據(jù)處理和算法驗(yàn)證方面非常方便但它的類型轉(zhuǎn)換細(xì)節(jié)常常讓人覺得“差一點(diǎn)就想不起來”。最常用的字符類型轉(zhuǎn)換函數(shù)是num2str、str2num、str2double和char。從數(shù)值到字符串num2str是最直覺的選擇。num2str(3.14159)返回3.14159num2str(3.14159, %.2f)返回3.14。這個(gè)格式化輸出在做圖形標(biāo)題、文件名拼接時(shí)非常有用。但要注意num2str的結(jié)果默認(rèn)會(huì)帶空格分隔多個(gè)數(shù)值比如num2str([1 2 3])返回1 2 3空格寬度可能讓你在拼接字符串時(shí)踩坑。想要完全可控的輸出建議直接用sprintf它的格式控制能力和C語言基本一致更穩(wěn)定。從字符串到數(shù)值str2num曾經(jīng)是我使用最頻繁的函數(shù)但后來我發(fā)現(xiàn)了它的兩個(gè)問題。第一str2num在解析時(shí)實(shí)際上是調(diào)用了eval的機(jī)制來執(zhí)行表達(dá)式這意味著它不僅能解析數(shù)字還能解析像[1 2 3]這樣的數(shù)組語法?？瓷先ズ芊奖愕绻銈魅氲淖址菙?shù)字內(nèi)容比如abcstr2num會(huì)返回空數(shù)組并且通常不報(bào)錯(cuò)只是在工作區(qū)里悄悄丟掉了數(shù)據(jù)。如果你的腳本后續(xù)直接拿這個(gè)結(jié)果做運(yùn)算就會(huì)因?yàn)榭諗?shù)組的維度問題報(bào)錯(cuò)或者得到空集。第二因?yàn)樗墙?jīng)過eval的所以安全性上不太讓人放心。相比之下str2double只專注于單個(gè)字符串的數(shù)值解析成功返回對(duì)應(yīng)數(shù)值失敗則返回NaN。它不解析矩陣表達(dá)式但很適合處理表格里讀出來的單個(gè)單元格數(shù)據(jù)。判斷解析是否成功可以用isnan檢測。這里有一個(gè)組合技巧如果你需要把一個(gè)矩陣的字符串表示轉(zhuǎn)回矩陣先用strsplit切分字符串再用str2double逐元素轉(zhuǎn)換最后用reshape恢復(fù)維度。這樣既避免了eval的安全隱患又能在解析失敗時(shí)定位到具體是哪個(gè)元素出了問題。再看char函數(shù)。char(65)返回Achar([72 105])返回Hi這個(gè)轉(zhuǎn)換在涉及ASCII碼和字符互轉(zhuǎn)時(shí)很實(shí)用。反過來double(A)返回65uint8(A)同樣返回65。這些在通信協(xié)議解析里特別好用比如從串口讀取到字節(jié)數(shù)據(jù)通過char轉(zhuǎn)換可讀性立刻就有了。3.3 C語言數(shù)組變量類型轉(zhuǎn)換數(shù)組名與指針的愛恨糾葛C語言的數(shù)組和指針之間的關(guān)系是幾乎所有C語言學(xué)習(xí)者的噩夢也是我在面試別人時(shí)非常喜歡問的一個(gè)點(diǎn)。要理解數(shù)組變量的類型轉(zhuǎn)換先要記住一個(gè)核心規(guī)則在大多數(shù)表達(dá)式中數(shù)組名會(huì)退化為指向數(shù)組首元素的指針但是有兩種情況例外一是作為sizeof的操作數(shù)時(shí)二是作為取地址運(yùn)算符的操作數(shù)時(shí)。我舉個(gè)例子。定義一個(gè)int arr[10]在表達(dá)式中寫arr編譯器會(huì)把它當(dāng)成int*指向第一個(gè)元素。這時(shí)的arr類型是int*。而arr的類型是int(*)[10]即指向整個(gè)數(shù)組的指針步長是sizeof(arr)也就是40字節(jié)。很多人在函數(shù)里傳數(shù)組時(shí)搞不清這二者的區(qū)別導(dǎo)致指針運(yùn)算結(jié)果和預(yù)期不符。數(shù)組名退化為指針這個(gè)行為本質(zhì)上是一種隱式類型轉(zhuǎn)換。它最現(xiàn)實(shí)的影響是當(dāng)你把數(shù)組作為函數(shù)參數(shù)傳遞時(shí)數(shù)組“丟失”了自己的長度信息。比如#include stdio.h void print_size(int a[]) { printf(in function: %zu , sizeof(a)); } int main() { int arr[10]; printf(in main: %zu , sizeof(arr)); print_size(arr); return 0; }在主流平臺(tái)64位Linux/Windows編譯后main里打印40函數(shù)里打印8。原因就是函數(shù)參數(shù)int a[]本質(zhì)上是int* asizeof(a)拿到的是指針大小。如果你誤以為函數(shù)內(nèi)能獲取數(shù)組長度就會(huì)導(dǎo)致越界訪問。正確做法是在傳數(shù)組的同時(shí)顯式傳入長度或者在C99及以后用變長數(shù)組參數(shù)語法雖然底層也是傳指針但語法上清晰一些。除了數(shù)組名到指針的退化C語言里常見的指針類型轉(zhuǎn)換還包括void*和其他指針類型之間的轉(zhuǎn)換。在C語言中void*可以隱式轉(zhuǎn)換為任意類型的指針反之亦然這是C語言給程序員開的后門。而在C中void*到具體類型指針的轉(zhuǎn)換必須顯式使用static_cast否則編譯不通過。這種差異經(jīng)常讓同時(shí)寫C和C的人感到困惑。我建議在純C項(xiàng)目中使用void*作為通用數(shù)據(jù)容器的載體時(shí)一定要在轉(zhuǎn)換回來時(shí)做顯式的類型標(biāo)記比如用結(jié)構(gòu)體成員記錄實(shí)際類型然后用switch分支處理否則一旦類型弄錯(cuò)內(nèi)存解釋錯(cuò)誤會(huì)導(dǎo)致災(zāi)難性的結(jié)果。4. 特殊類與類型轉(zhuǎn)換結(jié)合的設(shè)計(jì)實(shí)踐4.1 類型轉(zhuǎn)換運(yùn)算符重載讓對(duì)象學(xué)會(huì)變身特殊類和類型轉(zhuǎn)換結(jié)合最經(jīng)典的地方是類型轉(zhuǎn)換運(yùn)算符的重載。我的意思是設(shè)計(jì)一個(gè)類讓它能夠像內(nèi)置類型一樣在某些場景下自動(dòng)轉(zhuǎn)換成別的類型或者從別的類型構(gòu)造出來。在C中你可以定義operator TypeName()成員函數(shù)讓對(duì)象支持到目標(biāo)類型的隱式轉(zhuǎn)換。比如一個(gè)封裝數(shù)值的類class Number { double val; public: operator double() const { return val; } };當(dāng)你把這個(gè)對(duì)象傳給接受double參數(shù)的函數(shù)時(shí)編譯器會(huì)自動(dòng)調(diào)用這個(gè)轉(zhuǎn)換函數(shù)。在Python中對(duì)應(yīng)的機(jī)制是__int__、__float__、__str__、__bool__等雙下劃線方法。定義好這些方法就能在int(obj)、str(obj)、bool(obj)時(shí)觸發(fā)自定義邏輯。這個(gè)機(jī)制用好了可以讓代碼非常優(yōu)雅但用不好也會(huì)帶來麻煩。我遇到過的問題主要出在C的隱式轉(zhuǎn)換上。如果類同時(shí)定義了多個(gè)轉(zhuǎn)換目標(biāo)類型并且目標(biāo)類型之間還存在相互轉(zhuǎn)換關(guān)系編譯器在決策時(shí)可能產(chǎn)生二義性直接報(bào)錯(cuò)。處理這種問題的方法通常是把其中的一些轉(zhuǎn)換函數(shù)標(biāo)記為explicit禁止隱式調(diào)用只允許顯式轉(zhuǎn)換。這里再說一個(gè)非常容易被忽略的點(diǎn)C的explicit和Python的對(duì)應(yīng)實(shí)踐。Python沒有直接的explicit關(guān)鍵字但你可以通過重寫__int__等方法的默認(rèn)行為來達(dá)到類似效果。更重要的是Python中bool(obj)總是會(huì)被調(diào)用__bool__如果你沒有定義Python會(huì)退回調(diào)用__len__如果__len__也沒有那所有對(duì)象在布爾上下文中都是True。這意味著自定義類在if obj:這樣的判斷里行為完全由你控制。我在寫一些狀態(tài)類時(shí)會(huì)專門定義__bool__來返回對(duì)象內(nèi)部狀態(tài)是否有效而不是讓Python按照“對(duì)象是否存在”來判定這能避免很多潛在的邏輯錯(cuò)誤。4.2 轉(zhuǎn)換構(gòu)造函數(shù)對(duì)象創(chuàng)建時(shí)的類型魔法與轉(zhuǎn)換運(yùn)算符對(duì)應(yīng)的是轉(zhuǎn)換構(gòu)造函數(shù)。所謂轉(zhuǎn)換構(gòu)造函數(shù)指的是只有一個(gè)非默認(rèn)參數(shù)、且沒有標(biāo)記explicit的構(gòu)造函數(shù)。它允許某種類型隱式構(gòu)造出這個(gè)類的對(duì)象。比如class String { public: String(const char* s); };那么String s hello;就能隱式創(chuàng)建一個(gè)String對(duì)象。這種設(shè)計(jì)的便利性毋庸置疑但危險(xiǎn)也同樣明顯?？紤]一個(gè)場景一個(gè)類定義了接受int的轉(zhuǎn)換構(gòu)造函數(shù)那么當(dāng)用戶寫obj 42;時(shí)就會(huì)隱式創(chuàng)建出一個(gè)臨時(shí)對(duì)象把42包裝起來。如果你本意是讓用戶在專門的地方創(chuàng)建對(duì)象而不是在任意賦值場景中觸發(fā)那這種隱式行為可能掩蓋邏輯錯(cuò)誤。所以在C里我的建議是多數(shù)構(gòu)造函數(shù)都應(yīng)該標(biāo)記為explicit除非你真的需要隱式轉(zhuǎn)換的便利并且能承擔(dān)它可能帶來的歧義。特別是一個(gè)類只接受一個(gè)參數(shù)時(shí)更要小心。其實(shí)這也是C社區(qū)多年?duì)幊澈笮纬傻墓沧R(shí)。在現(xiàn)代C或Python的設(shè)計(jì)實(shí)踐中我更傾向于通過類方法、替代構(gòu)造函數(shù)比如C里的靜態(tài)工廠函數(shù)、Python里的classmethod來顯式創(chuàng)建對(duì)象而不是依賴隱式轉(zhuǎn)換這樣代碼的意圖更加清晰也不容易被誤用。4.3 將轉(zhuǎn)換視為對(duì)象行為狀態(tài)枚舉與枚舉類的轉(zhuǎn)換設(shè)計(jì)還有一種特殊類與類型轉(zhuǎn)換的結(jié)合場景是狀態(tài)枚舉與枚舉類。在很多業(yè)務(wù)系統(tǒng)中一個(gè)對(duì)象的狀態(tài)可能是數(shù)字編碼比如0代表初始、1代表運(yùn)行、2代表暫停、3代表結(jié)束。如果在代碼里到處用裸整數(shù)表示狀態(tài)可讀性很差而且很容易在條件判斷里寫錯(cuò)。比較好的做法是定義一個(gè)枚舉類或者狀態(tài)類把數(shù)字和語義綁定起來然后設(shè)計(jì)好這個(gè)特殊類與整數(shù)、字符串之間的轉(zhuǎn)換邏輯。在C中傳統(tǒng)的enum會(huì)隱式轉(zhuǎn)換為int這在某些場景下方便但也容易導(dǎo)致枚舉值被當(dāng)作普通整數(shù)使用破壞了類型安全。enum class則強(qiáng)制要求顯式轉(zhuǎn)換你必須寫static_castint(State::Running)才能拿到整數(shù)。這個(gè)“麻煩”實(shí)際上是在保護(hù)你你不能不小心把個(gè)人信息的狀態(tài)值傳去做年齡判斷之類的操作。在Python中標(biāo)準(zhǔn)庫的enum模塊從3.4開始引入IntEnum和Enum各有取舍。如果使用IntEnum枚舉成員可以直接和整數(shù)做比較但也意味著丟失了一部分類型安全。我的經(jīng)驗(yàn)是默認(rèn)用Enum只有在需要兼容舊代碼、必須和整數(shù)直接比較時(shí)才用IntEnum。這個(gè)場景和特殊類的聯(lián)系在于枚舉類本質(zhì)上就是一個(gè)“受限的特殊類”它控制了合法取值的范圍同時(shí)通過轉(zhuǎn)換函數(shù)讓自己能夠和底層存儲(chǔ)格式整數(shù)、字符串做雙向轉(zhuǎn)換。比如從數(shù)據(jù)庫讀出狀態(tài)碼int用State(code)轉(zhuǎn)成狀態(tài)對(duì)象從狀態(tài)對(duì)象輸出到日志時(shí)用state.name或者str(state)顯示成可讀字符串。這種設(shè)計(jì)既保證了類型安全又讓轉(zhuǎn)換邏輯集中在類型內(nèi)部避免了散落在業(yè)務(wù)代碼里的隱患。5. 常見問題與排查技巧實(shí)錄5.1 類型轉(zhuǎn)換踩坑記錄精度、溢出與隱式轉(zhuǎn)換類型轉(zhuǎn)換的坑種類繁多但最常見的集中在精度、溢出和隱式轉(zhuǎn)換三個(gè)環(huán)節(jié)。精度問題典型案例是浮點(diǎn)數(shù)轉(zhuǎn)整數(shù)。int(3.999)在Python中得到3因?yàn)樗苯咏財(cái)嘈?shù)部分在C語言里(int)3.999也是一樣都是向零取整。如果你想要四舍五入必須顯式調(diào)用round(3.999)或者(int)(3.999 0.5)。但這里又有一個(gè)新坑Python的round采用銀行家舍入即對(duì).5的情況取最近的偶數(shù)round(2.5)得到2round(3.5)得到4。如果你和數(shù)值計(jì)算打交道比較多建議先確認(rèn)業(yè)務(wù)到底需要什么舍入規(guī)則不要默認(rèn)語言內(nèi)置的round符合需求。溢出問題在C語言和MATLAB的整數(shù)類型里尤其突出。C語言里兩個(gè)int相乘再賦值給long long如果你先做乘法再把結(jié)果賦值那么乘法本身就可能已經(jīng)溢出了。正確做法是先把其中一個(gè)操作數(shù)強(qiáng)轉(zhuǎn)成long long再運(yùn)算。MATLAB里默認(rèn)的整數(shù)運(yùn)算是飽和的即超過上限就停在最大值不會(huì)像C語言那樣回繞。這兩種行為差異極大如果你用MATLAB做過C語言模型的對(duì)照驗(yàn)證很容易在這里發(fā)現(xiàn)結(jié)果不一致。隱式轉(zhuǎn)換問題比較典型的是我在前面提到的有符號(hào)和無符號(hào)數(shù)混用。C語言里一個(gè)int變量和一個(gè)unsigned int變量比較時(shí)int會(huì)被轉(zhuǎn)換為unsigned int。比如int a -1; unsigned int b 1; if (a b)這個(gè)條件的結(jié)果是false因?yàn)檫@個(gè)表達(dá)式實(shí)際上在比較4294967295 1。這個(gè)坑隱蔽性極強(qiáng)因?yàn)榇a看起來完全正常。排查方法很簡單編譯時(shí)加-Wsign-compare警告選項(xiàng)嚴(yán)格模式下讓它變成錯(cuò)誤就能提前發(fā)現(xiàn)這類隱患。5.2 特殊類設(shè)計(jì)中的邊界問題構(gòu)造、復(fù)制與析構(gòu)的競態(tài)特殊類設(shè)計(jì)里最頭疼的不是寫出一個(gè)能用的小例子而是處理各種邊界問題。我梳理幾個(gè)高頻出現(xiàn)的場景。第一個(gè)是單例類的線程安全。Python里實(shí)現(xiàn)單例時(shí)如果你只用__new__方法而沒有加鎖那么高并發(fā)場景下仍然可能創(chuàng)建出多個(gè)實(shí)例。因?yàn)樵趦蓚€(gè)線程同時(shí)第一次調(diào)用__new__的瞬間實(shí)例還不存在兩個(gè)線程都會(huì)去執(zhí)行創(chuàng)建分支。解決辦法通常是加一個(gè)類級(jí)別的鎖或者使用模塊級(jí)別的單例對(duì)象。這里要注意Python的GIL只能保證單個(gè)字節(jié)碼指令內(nèi)的原子性不能保證整個(gè)__new__方法的原子性。第二個(gè)是禁止拷貝類的容器兼容問題。在C里如果一個(gè)類禁用了拷貝構(gòu)造和拷貝賦值那么它就無法被直接放進(jìn)std::vector等需要拷貝的容器里因?yàn)槿萜鞯臄U(kuò)容操作會(huì)調(diào)用拷貝構(gòu)造。如果你的設(shè)計(jì)真的需要既禁止拷貝又能放進(jìn)容器一個(gè)替代方案是使用std::unique_ptr來間接持有對(duì)象容器里存放的是指針。這樣資源的獨(dú)占性和容器的擴(kuò)容需求都得到了滿足。第三個(gè)是析構(gòu)函數(shù)被錯(cuò)誤調(diào)用的風(fēng)險(xiǎn)。我們?cè)陬惱锕芾碓假Y源如malloc出來的內(nèi)存時(shí)如果這個(gè)類被拷貝過哪怕你心里覺得“這個(gè)類不能被拷貝”只要你沒有顯式攔截拷貝構(gòu)造編譯器就會(huì)生成一個(gè)默認(rèn)的淺拷貝。結(jié)果就是兩個(gè)對(duì)象指向同一塊內(nèi)存析構(gòu)時(shí)第二個(gè)對(duì)象會(huì)釋放已經(jīng)釋放的內(nèi)存。這類問題在C里最容易通過“把拷貝構(gòu)造和拷貝賦值聲明為delete”來解決一勞永逸。5.3 快速定位類型轉(zhuǎn)換問題的實(shí)戰(zhàn)技巧排查類型轉(zhuǎn)換問題我的經(jīng)驗(yàn)是“先打印類型再打印值最后打印尺寸”。這句話聽起來簡單但實(shí)際非常有效。在Python里遇到數(shù)據(jù)不符合預(yù)期的場景第一步就是print(type(x))確認(rèn)這個(gè)變量到底是什么類型。其次打印repr(x)而不是print(x)因?yàn)閞epr能顯示字符串的引號(hào)和轉(zhuǎn)義字符更容易看出類型轉(zhuǎn)換時(shí)是否混入了多余的空格或換行。比如從文件讀取的字符串末尾可能帶有\(zhòng)n直接int()會(huì)失敗但repr能讓你一眼看到這個(gè)換行符。在MATLAB里排查思路類似。遇到解析失敗時(shí)先檢查函數(shù)的返回值是不是NaN或者空數(shù)組再用class(x)查看變量類型。因?yàn)镸ATLAB里double類型很強(qiáng)勢很多函數(shù)默認(rèn)返回double如果涉及和整數(shù)的比較或索引操作可能出現(xiàn)意想不到的結(jié)果。在C語言里我經(jīng)常借助printf的格式控制來反推類型。打印字符串用%s打印指針用%p打印整數(shù)用%d或%zusizeof的結(jié)果類型。如果你發(fā)現(xiàn)打印出來的指針值被截?cái)嗷蛘邅y碼先檢查是不是格式說明符寫錯(cuò)導(dǎo)致類型被錯(cuò)誤解釋。這個(gè)問題在嵌入式開發(fā)里非常常見因?yàn)榫幾g器的默認(rèn)整數(shù)寬度和指針寬度可能不一致?？傊却_認(rèn)“它在機(jī)器眼里是什么類型”再談“它應(yīng)該是什么類型”排查思路會(huì)清晰很多。我的實(shí)際操作體會(huì)與一個(gè)小技巧做了這么多年開發(fā)我的體會(huì)是特殊類設(shè)計(jì)和類型轉(zhuǎn)換都不是孤立的知識(shí)點(diǎn)它們共同構(gòu)成了一個(gè)類型的“接口契約”。當(dāng)你設(shè)計(jì)一個(gè)特殊類時(shí)你實(shí)際上是在約定這個(gè)類可以被怎樣創(chuàng)建、怎樣使用、怎樣轉(zhuǎn)換。當(dāng)你執(zhí)行類型轉(zhuǎn)換時(shí)你是在跨越類型之間的邊界而邊界的每一寸都可能藏著錯(cuò)誤。最后分享一個(gè)小技巧也是我在代碼評(píng)審里經(jīng)常強(qiáng)調(diào)的對(duì)于任何自定義類不管它是不是特殊類都要在最初設(shè)計(jì)時(shí)就明確回答四個(gè)問題這個(gè)類允許被拷貝嗎允許被隱式轉(zhuǎn)換嗎允許被直接構(gòu)造嗎允許多實(shí)例存在嗎把這四個(gè)問題的答案用注釋寫在類定義的最上方然后在代碼里通過delete、explicit、私有構(gòu)造、單例模式等手段落實(shí)。這樣后來維護(hù)代碼的人就不會(huì)在不知情的情況下濫用你的類你的類型設(shè)計(jì)也就真正起到了作用。這些內(nèi)容不算高深但堅(jiān)持做下來能讓代碼質(zhì)量上一個(gè)臺(tái)階。如果你的項(xiàng)目里也有這些似曾相識(shí)的場景不妨試試按這個(gè)思路重新審視一下現(xiàn)有的類和類型轉(zhuǎn)換代碼。