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