1. 從一次“詭異”的崩潰說(shuō)起先說(shuō)個(gè)我真實(shí)踩過(guò)的坑。某次我維護(hù)的一個(gè)跨平臺(tái)系統(tǒng)在 Debug 版下跑得穩(wěn)穩(wěn)當(dāng)當(dāng)功能全部正常結(jié)果一發(fā)布 Release 版用戶那邊立刻反饋“偶發(fā)閃退”“數(shù)據(jù)對(duì)不上”。我當(dāng)時(shí)第一反應(yīng)是“代碼寫(xiě)錯(cuò)了”但Debug下確實(shí)復(fù)現(xiàn)不了只能一遍遍加日志、開(kāi)內(nèi)存檢測(cè)工具折騰了一個(gè)多星期才定位到問(wèn)題——根源就是 Debug 和 Release 的編譯環(huán)境差異以及我在代碼里用錯(cuò)了條件編譯分支。從那以后我就把 Debug 和 Release 的差異徹底摸了一遍尤其是#ifdef _DEBUG_這類預(yù)編譯指令的用法。說(shuō)真的很多初級(jí)開(kāi)發(fā)者對(duì)這兩者的理解就停在“Debug 是調(diào)試用的Release 是發(fā)布用的”但真正把兩者區(qū)別搞清楚、把條件編譯用好的人并不多。這篇內(nèi)容我不會(huì)講太虛的理論就實(shí)打?qū)嵉夭鹨徊鹨粋€(gè)項(xiàng)目從 Debug 切到 Release底層到底發(fā)生了什么#ifdef _DEBUG_該怎么用以及在切換過(guò)程中常見(jiàn)的坑怎么避。這篇文章適合誰(shuí)看主要是用 C/C 寫(xiě)項(xiàng)目、但還沒(méi)系統(tǒng)整理過(guò)構(gòu)建配置的開(kāi)發(fā)者尤其是正在從“一個(gè)人寫(xiě) Demo”過(guò)渡到“做正式項(xiàng)目發(fā)布”這個(gè)階段的讀者?？赐昴隳芾斫?Debug 和 Release 在宏、優(yōu)化、運(yùn)行時(shí)庫(kù)、調(diào)試信息這幾個(gè)維度上的具體差別也能把條件編譯的用法玩明白。2. Debug 和 Release 的底層差異不只是“優(yōu)化開(kāi)沒(méi)開(kāi)”很多人的理解是“Release 不開(kāi)調(diào)試信息 開(kāi)了優(yōu)化”這個(gè)說(shuō)法粗略看沒(méi)錯(cuò)但實(shí)際差別遠(yuǎn)不止這兩點(diǎn)。我習(xí)慣把它們拆成四個(gè)維度去對(duì)比編譯器優(yōu)化、預(yù)定義宏、運(yùn)行時(shí)庫(kù)、調(diào)試信息外加一個(gè)經(jīng)常被忽略的鏈接器行為。2.1 編譯器優(yōu)化你寫(xiě)的代碼不是你跑的代碼Debug 版默認(rèn)幾乎不做優(yōu)化編譯器按你寫(xiě)的代碼順序、變量邏輯老老實(shí)實(shí)地生成機(jī)器碼每個(gè)變量都有獨(dú)立的內(nèi)存位置函數(shù)調(diào)用保持原始結(jié)構(gòu)。這對(duì)調(diào)試是友好的單步執(zhí)行的時(shí)候每一步都和你源碼對(duì)應(yīng)得上局部變量在監(jiān)視窗口里能直接看到。Release 版則開(kāi)了較高的優(yōu)化等級(jí)。拿我常用的編譯環(huán)境來(lái)說(shuō)Release 默認(rèn)可能直接上/O2最大化速度級(jí)別。優(yōu)化之后編譯器會(huì)做一堆“破壞直覺(jué)”的事情變量可能被直接放進(jìn)寄存器不進(jìn)內(nèi)存循環(huán)可能被展開(kāi)公共子表達(dá)式被合并甚至整段代碼被重新排序。你可以把優(yōu)化理解為編譯器把你“寫(xiě)出來(lái)的邏輯”重新“編排”了一遍結(jié)果功能一樣但運(yùn)行細(xì)節(jié)完全不同。這個(gè)區(qū)別直接導(dǎo)致一個(gè)經(jīng)典現(xiàn)象很多 Bug 只在 Release 下出現(xiàn)。比如某個(gè)局部變量在 Debug 下監(jiān)視窗口里“明明有值”Release 下這個(gè)變量可能已經(jīng)被優(yōu)化沒(méi)了再比如未初始化變量在 Debug 的堆棧布局下恰好是 0但 Release 下?？臻g被其他數(shù)據(jù)覆蓋一用就直接產(chǎn)生臟值。2.2 預(yù)定義宏決定了你能用哪些“暗號(hào)”Debug 和 Release 最直接的差異信號(hào)就是編譯器預(yù)定義的一些宏。這些宏相當(dāng)于編譯環(huán)境給代碼里預(yù)置的“暗號(hào)”代碼通過(guò)#ifdef去識(shí)別當(dāng)前處于什么環(huán)境。以我常用的工具鏈為例Debug 模式下會(huì)預(yù)定義_DEBUGRelease 模式下會(huì)預(yù)定義NDEBUG注意了如果你自己新建項(xiàng)目時(shí)用的是某些集成開(kāi)發(fā)環(huán)境的默認(rèn)配置可能看到的預(yù)定義宏不止這兩個(gè)還可能有_WINDOWS、_CONSOLE、_UNICODE之類的一堆。但核心區(qū)分依舊是_DEBUG和NDEBUG。NDEBUG其實(shí)是標(biāo)準(zhǔn) C/C 里面定義的宏它的標(biāo)準(zhǔn)語(yǔ)義是“禁止斷言”。而_DEBUG更像是一套工具鏈約定的宏表示“當(dāng)前是調(diào)試構(gòu)建”。如果大家用其他框架或工具鏈可能還會(huì)碰到DEBUG這種不帶下劃線的宏。我個(gè)人的習(xí)慣是項(xiàng)目?jī)?nèi)部統(tǒng)一用_DEBUG做判斷依據(jù)少用不帶下劃線的DEBUG因?yàn)椴煌拈_(kāi)發(fā)環(huán)境預(yù)定義規(guī)則不統(tǒng)一有的里邊DEBUG并不是總能被識(shí)別到。2.3 運(yùn)行時(shí)庫(kù)差異Debug 和 Release 的“隱形炸彈”再往下挖一層就到了運(yùn)行時(shí)庫(kù)的差異。這一層很多人會(huì)忽略但是出問(wèn)題往往最難受。Debug 和 Release 默認(rèn)鏈接的 C/C 運(yùn)行時(shí)庫(kù)版本是不同的通常 Debug 下會(huì)帶有調(diào)試版本的特殊印記。以 Windows 平臺(tái)舉例/MDd代表“動(dòng)態(tài)鏈接Debug 版本”/MD代表“動(dòng)態(tài)鏈接Release 版本”。Debug 版運(yùn)行時(shí)庫(kù)里可能帶有額外的參數(shù)校驗(yàn)、堆內(nèi)存保護(hù)機(jī)制它在堆分配時(shí)會(huì)在內(nèi)存塊前后插入哨兵字節(jié)用來(lái)檢測(cè)越界寫(xiě)入而 Release 版本的運(yùn)行時(shí)庫(kù)不會(huì)做這種額外檢查因?yàn)檫@會(huì)拖慢速度。這個(gè)差異帶來(lái)的麻煩是在 Debug 下你可能往數(shù)組邊界外多寫(xiě)了幾個(gè)字節(jié)結(jié)果測(cè)試時(shí)一切正常甚至還能跑很久不出事——因?yàn)閮?nèi)存破壞被哨兵檢測(cè)機(jī)制兜住了但到了 Release沒(méi)有保護(hù)機(jī)制越界寫(xiě)入直接破壞了相鄰對(duì)象的數(shù)據(jù)表現(xiàn)為邏輯錯(cuò)亂、閃退。2.4 調(diào)試信息可調(diào)試性從哪兒來(lái)Debug 生成的調(diào)試信息文件比如.pdb文件里包含豐富的符號(hào)和源碼行號(hào)映射信息所以調(diào)試器才能把機(jī)器碼和源代碼對(duì)應(yīng)起來(lái)。Release 版默認(rèn)不生成或者生成的調(diào)試信息極少這也意味著發(fā)布出去的程序如果崩潰開(kāi)發(fā)者拿到的堆棧經(jīng)常是“一堆內(nèi)存地址”根本看不出對(duì)應(yīng)的函數(shù)和行號(hào)。這里有人可能會(huì)想Release 版不也帶.pdb嗎能帶但很多團(tuán)隊(duì)的發(fā)布流程里不會(huì)把.pdb一起發(fā)出去內(nèi)部要保持符號(hào)私有防止逆向而且 Release 版開(kāi)啟優(yōu)化后即使拿到 PDB調(diào)試體驗(yàn)也遠(yuǎn)不如 Debug 準(zhǔn)確因?yàn)橹噶畋恢嘏旁创a行號(hào)和實(shí)際指令對(duì)應(yīng)關(guān)系會(huì)出現(xiàn)偏移。3.#ifdef _DEBUG_預(yù)編譯機(jī)制預(yù)處理階段就“剪裁”代碼標(biāo)題里提到的#ifdef _DEBUG_實(shí)際項(xiàng)目中更常見(jiàn)的是#ifdef _DEBUG不帶最末尾的下劃線屬于預(yù)處理指令的一種。它的核心邏輯是在編譯器真正開(kāi)始編譯之前預(yù)處理器就已經(jīng)根據(jù)宏是否被定義來(lái)決定保留或丟棄某段代碼。這不等同于運(yùn)行時(shí)的if判斷它是在“源頭”層面就把不需要的代碼剪掉最終編譯出來(lái)的二進(jìn)制不會(huì)包含被裁掉的分支。3.1 不讀這段代碼就不會(huì)有“副作用”我最初學(xué)這個(gè)的時(shí)候犯過(guò)一個(gè)誤區(qū)以為#ifdef _DEBUG跟if差不多只是運(yùn)行時(shí)不執(zhí)行代碼還是會(huì)被編譯。實(shí)際上不是。未被#ifdef包裹的塊在預(yù)處理階段就會(huì)被整個(gè)剔除連編譯都不會(huì)進(jìn)入更不會(huì)出現(xiàn)在最終的二進(jìn)制里。所以它天然適合做代碼級(jí)剪裁。舉個(gè)例子你在代碼里寫(xiě)了一個(gè)調(diào)試用的變量它只在調(diào)試模式下使用如果用if在運(yùn)行時(shí)判斷這個(gè)變量還是會(huì)被編譯、分配內(nèi)存如果用#ifdef _DEBUG包住Release 模式下連變量聲明都沒(méi)有完全零成本。我用一句話總結(jié)#ifdef _DEBUG是給程序員留的“施工通道”發(fā)布時(shí)把這個(gè)通道從圖紙上抹掉根本不產(chǎn)生實(shí)體。3.2 空塊危害分號(hào)問(wèn)題預(yù)編譯指令還有一個(gè)容易踩的雷空塊。比如這樣寫(xiě)#ifdef _DEBUG LOG_DEBUG(some message); #endif如果沒(méi)有定義_DEBUG這塊代碼被剔除之后可能會(huì)留下一個(gè)“裸分號(hào)”或者其他語(yǔ)法問(wèn)題。這在某些宏定義場(chǎng)景下特別容易發(fā)生比如在if (condition);這種結(jié)構(gòu)里條件成立后的空語(yǔ)句會(huì)讓邏輯錯(cuò)亂。我之前的經(jīng)驗(yàn)是寫(xiě)完條件編譯塊之后先切到 Release 編譯一次確認(rèn)沒(méi)有“語(yǔ)法平滑性問(wèn)題”。如果報(bào)個(gè)莫名其妙的 “expected an expression” 錯(cuò)誤多半就是條件編譯塊殘留了符號(hào)。3.3 條件編譯的判定形式除了#ifdef還有幾種變體#ifdef _DEBUG等同于#if defined(_DEBUG)#ifndef _DEBUG與上述相反的判定#if defined(_DEBUG) OTHER_FLAG更復(fù)雜的組合#if _DEBUG 1帶值的判定但_DEBUG多數(shù)情況下只是“被定義”而沒(méi)值實(shí)際使用中我個(gè)人最推薦#if defined(XXX)這種寫(xiě)法原因有二一是它比#ifdef更靈活可以直接跟、||組合二是在代碼審查時(shí)defined()這個(gè)字眼在視覺(jué)上更明確不容易和關(guān)系運(yùn)算混淆。4. 實(shí)戰(zhàn)用#ifdef _DEBUG管理代碼的三種典型場(chǎng)景理論說(shuō)再多不如上手。我這里拿出一套我在實(shí)際項(xiàng)目中經(jīng)常用的模式覆蓋三種最常見(jiàn)的場(chǎng)景斷言、日志、性能埋點(diǎn)。每個(gè)場(chǎng)景都給出可參考的寫(xiě)法。4.1 斷言只在調(diào)試版里“發(fā)瘋”斷言assert是最典型的 Debug/Release 差異化行為。前面提到Release 版預(yù)定義NDEBUG而標(biāo)準(zhǔn)庫(kù)里的assert宏在NDEBUG存在時(shí)會(huì)直接展開(kāi)為空。這就是為什么你在 Debug 下斷言失敗程序會(huì)彈錯(cuò)誤框而在 Release 下斷言完全沉默。assert的行為是標(biāo)準(zhǔn)庫(kù)幫我們實(shí)現(xiàn)的但它的實(shí)現(xiàn)原理也依賴條件編譯#ifdef NDEBUG #define assert(expression) ((void)0) #else #define assert(expression) /* 實(shí)際檢查邏輯 */ #endif所以如果你寫(xiě)自己的斷言宏完全可以照抄這個(gè)思路。我自己用過(guò)一套自定義斷言Debug 下會(huì)輸出到調(diào)試器、把文件行號(hào)記進(jìn)日志Release 下則完全擦除#ifdef _DEBUG #define MY_ASSERT(expr) \ do { \ if (!(expr)) { \ log_error(斷言失敗: %s, 文件: %s, 行號(hào): %d, #expr, __FILE__, __LINE__); \ } \ } while (0) #else #define MY_ASSERT(expr) ((void)0) #endif這里有個(gè)細(xì)節(jié)為什么用do { ... } while (0)包裹因?yàn)樵趇f語(yǔ)句后面接宏的時(shí)候如果沒(méi)有這一層包裹宏展開(kāi)后可能只執(zhí)行了第一條語(yǔ)句導(dǎo)致邏輯分支錯(cuò)誤。這是一個(gè)經(jīng)驗(yàn)性的約定強(qiáng)烈建議照用。4.2 調(diào)試日志發(fā)布版里沒(méi)有“監(jiān)控”日志系統(tǒng)是最該做條件編譯裁剪的。很多項(xiàng)目把日志函數(shù)留在代碼里運(yùn)行時(shí)靠日志級(jí)別控制輸出與否但日志調(diào)用點(diǎn)本身的開(kāi)銷——尤其是字符串格式化參數(shù)——仍然是真實(shí)存在的。在 Release 版里這些參數(shù)表達(dá)式會(huì)被求值也許這個(gè)開(kāi)銷不大但在高頻循環(huán)里會(huì)對(duì)性能有可感知的影響。用#ifdef _DEBUG裁剪日志調(diào)用的模式如下#ifdef _DEBUG #define LOG_DBG(fmt, ...) \ do { \ fprintf(stderr, [DBG] %s:%d: fmt \n, __FILE__, __LINE__, ##__VA_ARGS__); \ } while (0) #else #define LOG_DBG(fmt, ...) ((void)0) #endif這里說(shuō)一下##__VA_ARGS__的作用它是可變參數(shù)宏的標(biāo)準(zhǔn)處理方式##是為了在沒(méi)人傳參時(shí)把前面多余的逗號(hào)去掉避免代碼編譯報(bào)錯(cuò)。早期我寫(xiě)宏沒(méi)注意這個(gè)經(jīng)常為了“宏參數(shù)可空”的問(wèn)題頭疼后來(lái)查了文檔才明白這個(gè)細(xì)節(jié)。4.3 性能埋點(diǎn)與統(tǒng)計(jì)Release 版要“輕裝上陣”我做的某跨平臺(tái)系統(tǒng)里有一段計(jì)數(shù)統(tǒng)計(jì)邏輯原本是每處理一條消息就更新一個(gè)全局計(jì)數(shù)器用于觀察運(yùn)行狀態(tài)。后來(lái)發(fā)現(xiàn)這個(gè)更新在高并發(fā)下嚴(yán)重拖累吞吐因?yàn)樵硬僮鞅绕胀ㄋ阈g(shù)慢得多。后來(lái)我把這段統(tǒng)計(jì)邏輯用#ifdef _DEBUG包起來(lái)Release 下完全不編譯性能立刻回升。類似的埋點(diǎn)做法#ifdef _DEBUG g_message_counter.fetch_add(1, std::memory_order_relaxed); #endif注意這里我用的是 C11 的原子庫(kù)std::atomic它的代價(jià)在臨界區(qū)密集場(chǎng)景下不可忽略。條件編譯裁剪掉之后不只是少了一次“執(zhí)行”而是連這個(gè)變量的定義都可以一起裁掉。5. 構(gòu)建配置實(shí)操一次把項(xiàng)目切到 Release知道宏和條件編譯的原理之后重要的就是實(shí)際把項(xiàng)目配置梳理一遍。下面這個(gè)流程是基于常見(jiàn)集成開(kāi)發(fā)環(huán)境和命令行編譯工具兩種方式寫(xiě)的各有側(cè)重點(diǎn)。5.1 集成開(kāi)發(fā)環(huán)境里的配置項(xiàng)在多數(shù)集成開(kāi)發(fā)環(huán)境里項(xiàng)目的構(gòu)建配置分為不同方案每個(gè)方案都有自己的 預(yù)處理宏、優(yōu)化等級(jí)、運(yùn)行時(shí)庫(kù)等設(shè)置項(xiàng)。以 Windows 端的開(kāi)發(fā)環(huán)境為例你需要在項(xiàng)目屬性 - 配置屬性 - C/C - 預(yù)處理器 - 預(yù)處理器定義 中確認(rèn)當(dāng)前配置里是否有_DEBUG或NDEBUG項(xiàng)目屬性 - 配置屬性 - C/C - 優(yōu)化 中確認(rèn)優(yōu)化等級(jí)Debug 通常是“已禁用”Release 為“最大化速度(/O2)”項(xiàng)目屬性 - 配置屬性 - C/C - 代碼生成 - 運(yùn)行庫(kù) 中查看是/MDd還是/MD項(xiàng)目屬性 - 配置屬性 - 鏈接器 - 調(diào)試 中看是否生成調(diào)試信息Debug 通常生成Release 可以不生成或設(shè)為“否”切換配置時(shí)有一個(gè)教訓(xùn)很值得說(shuō)默認(rèn)新建項(xiàng)目時(shí)環(huán)境自動(dòng)給 Debug 方案加了_DEBUG給 Release 方案加了NDEBUG這看起來(lái)沒(méi)問(wèn)題。但如果你在項(xiàng)目中途新增了一個(gè)配置文件例如復(fù)制的配置或者改了配置名預(yù)定義宏不會(huì)自動(dòng)聯(lián)動(dòng)需要手動(dòng)檢查。5.2 命令行編譯的宏控制命令行方式更直接用-D參數(shù)控制宏即可。# Debug 構(gòu)建 gcc -D_DEBUG -O0 -g -o app_debug main.c # Release 構(gòu)建 gcc -DNDEBUG -O2 -o app_release main.c這里-g表示生成調(diào)試信息-O0關(guān)閉優(yōu)化-O2為較高的優(yōu)化級(jí)別。在 Windows 的 MSVC 環(huán)境下對(duì)應(yīng)的做法是cl /D_DEBUG /Od /MDd /Zi /Fo:debug/ main.c cl /DNDEBUG /O2 /MD /Fo:release/ main.c/D相當(dāng)于-D。注意 MSVC 里/Zi表示生成調(diào)試信息PDB 文件Release 下通常不帶這個(gè)參數(shù)或者使用/Zi但生成的 PDB 不隨程序分發(fā)僅留檔用于問(wèn)題分析。5.3 再談跨平臺(tái)宏名差異如果項(xiàng)目需要跨平臺(tái)編譯你會(huì)發(fā)現(xiàn)宏名在各個(gè)工具鏈之間并不完全一致。有的工具鏈默認(rèn)定義_DEBUG有的默認(rèn)定義DEBUG還有的干脆什么也不定義需要你在構(gòu)建腳本里顯式傳入。我的建議是不要讓代碼依賴“隱式默認(rèn)”而是在構(gòu)建腳本里顯式定義。比如 CMake 里可以在目標(biāo)定義if(CMAKE_BUILD_TYPE STREQUAL Debug) target_compile_definitions(app PRIVATE _DEBUG) else() target_compile_definitions(app PRIVATE NDEBUG) endif()這樣代碼里寫(xiě)#ifdef _DEBUG就能在所有平臺(tái)保持一致而不是靠工具鏈的“碰運(yùn)氣”默認(rèn)值。這一點(diǎn)我吃過(guò)虧某次在 Linux 上編譯代碼里寫(xiě)的#ifdef _DEBUG完全不生效折騰半天發(fā)現(xiàn)模塊的構(gòu)建腳本根本沒(méi)定義這個(gè)宏工具鏈默認(rèn)也不定義。6. 發(fā)布版踩過(guò)的坑Debug/Release 混用的連鎖反應(yīng)這一節(jié)我集中分享幾個(gè)我實(shí)際踩過(guò)或看到別人踩過(guò)的高發(fā)問(wèn)題都是 Debug/Release 差異直接引發(fā)的大家可以拿來(lái)當(dāng)排查手冊(cè)用。6.1 配置混用模塊 A 是 Debug模塊 B 是 Release這個(gè)問(wèn)題最隱蔽。你的主程序可能被拆成多個(gè)動(dòng)態(tài)庫(kù)或靜態(tài)庫(kù)如果每個(gè)庫(kù)的配置不一樣鏈接時(shí)可能不報(bào)錯(cuò)甚至能運(yùn)行但運(yùn)行到某些特定路徑時(shí)會(huì)有內(nèi)存問(wèn)題。特別是兩個(gè)庫(kù)各自鏈接了不同版本的運(yùn)行時(shí)庫(kù)時(shí)一個(gè)庫(kù)在堆里分配的內(nèi)存交給另一個(gè)庫(kù)去釋放很可能直接崩潰因?yàn)槎压芾淼脑獢?shù)據(jù)完全對(duì)不上號(hào)。排查這種問(wèn)題可以用依賴檢查工具打開(kāi)最終二進(jìn)制確認(rèn)里面是否同時(shí)出現(xiàn)了 Debug 和 Release 版本的運(yùn)行時(shí)庫(kù)。如果發(fā)現(xiàn)混用需要統(tǒng)一所有模塊的配置這是最直接的解決辦法。如果暫時(shí)無(wú)法全部切換至少要把跨模塊傳遞的堆內(nèi)存改造成“誰(shuí)分配、誰(shuí)釋放”或者封裝成統(tǒng)一的分配/釋放接口。6.2 優(yōu)化導(dǎo)致的時(shí)序變化有些問(wèn)題只在 Release 下出現(xiàn)且表現(xiàn)跟多線程相關(guān)。比如某個(gè)共享變量沒(méi)加鎖在 Debug 下由于代碼執(zhí)行慢、不斷發(fā)生上下文切換競(jìng)爭(zhēng)的窗口比較小偶爾觸發(fā)Release 下代碼執(zhí)行極快多個(gè)線程在緩存層反復(fù)讀寫(xiě)同一個(gè)數(shù)據(jù)競(jìng)爭(zhēng)窗口變得密集問(wèn)題被放大。這類問(wèn)題本質(zhì)上是“數(shù)據(jù)競(jìng)爭(zhēng)”只不過(guò) Debug 的低性能暫時(shí)掩蓋了它。對(duì)于這種情況常規(guī)調(diào)試手段幾乎沒(méi)用推薦直接用線程消毒器等動(dòng)態(tài)分析工具去抓競(jìng)態(tài)條件。我在排查一個(gè)偶發(fā)崩潰時(shí)就是因?yàn)?Debug 下無(wú)法復(fù)現(xiàn)最后用工具跑了幾輪測(cè)試才定位到一個(gè)沒(méi)有加鎖的全局計(jì)數(shù)器。6.3assert被裁剪后“副作用”消失前面提到 Release 版的assert不生效但這帶來(lái)一個(gè)附帶問(wèn)題如果斷言表達(dá)式里有副作用Debug 和 Release 的行為就會(huì)不一致。舉個(gè)例子assert(buffer allocate_buffer());Debug 下調(diào)用了allocate_buffer()斷言成功之后 buffer 被正確賦值Release 下斷言被裁掉整個(gè)allocate_buffer()調(diào)用都沒(méi)了buffer 永遠(yuǎn)是空指針。這種代碼屬于高危寫(xiě)法我在代碼審查時(shí)看到這種一定會(huì)要求改掉。正確做法是先把返回值賦給變量再單獨(dú)斷言buffer allocate_buffer(); assert(buffer ! NULL);6.4 未初始化變量為什么“Debug 沒(méi)事、Release 出事”這個(gè)現(xiàn)象很常見(jiàn)Debug 構(gòu)建下新?？臻g往往會(huì)被模式化填充比如某些工具鏈會(huì)把未初始化的棧內(nèi)存置為某個(gè)定值模式再加上 Debug 下變量沒(méi)有優(yōu)化局部變量在棧上有固定位置有時(shí)恰好是 0。Release 下?？臻g復(fù)用策略不同局部變量可能直接占用之前函數(shù)殘留的垃圾數(shù)據(jù)于是“Debug 正常Release 亂跑”。對(duì)這種問(wèn)題靠眼睛檢查很難尤其是多層調(diào)用棧里的未初始化字段。我的建議是用編譯器告警選項(xiàng)來(lái)輔助比如-Wuninitialized同時(shí)養(yǎng)成“所有局部變量聲明時(shí)即初始化”的習(xí)慣。在 C 里建議優(yōu)先使用顯式的初始化而不是“先聲明后賦值”能減少大量潛在問(wèn)題。6.5 Release 的 PDB 要不要留很多團(tuán)隊(duì)發(fā)布 Release 版時(shí)不生成 PDB覺(jué)得“反正用戶不可能調(diào)試”。但真實(shí)線上出問(wèn)題時(shí)沒(méi)有 PDB 就只能對(duì)著一堆十六進(jìn)制地址抓瞎。合理的做法是Release 也生成 PDB但不隨安裝包分發(fā)而是歸檔到內(nèi)部的符號(hào)服務(wù)器。遇到用戶反饋崩潰時(shí)用抓到的崩潰轉(zhuǎn)儲(chǔ)文件配合 PDB就能還原出調(diào)用堆棧。需要注意的是Release 優(yōu)化開(kāi)啟后 PDB 里的行號(hào)映射會(huì)“有些別扭”單步時(shí)可能跳轉(zhuǎn)不按直覺(jué)但用于還原函數(shù)名和調(diào)用棧綽綽有余。7. 條件編譯的進(jìn)階用法不只是“Debug/Release”#ifdef _DEBUG本身只是一個(gè)“開(kāi)關(guān)”但這個(gè)開(kāi)關(guān)機(jī)制可以在項(xiàng)目管理中玩出更多花樣。我分享兩個(gè)常用的擴(kuò)展思路。7.1 功能開(kāi)關(guān)分級(jí)不只兩態(tài)而是多態(tài)有的項(xiàng)目需要三種模式開(kāi)發(fā)版、內(nèi)部體驗(yàn)版、正式發(fā)布版。每種模式的功能集不同比如開(kāi)發(fā)版里打開(kāi)詳細(xì)日志和網(wǎng)絡(luò)模擬功能體驗(yàn)版里保留部分診斷接口正式發(fā)布版裁剪干凈。可以用多組宏組合控制#if defined(_DEBUG) || defined(ALPHA_BUILD) // 測(cè)試專用功能 #endif #if defined(ALPHA_BUILD) !defined(_DEBUG) // 體驗(yàn)版特有能力 #endif這種方式比單一_DEBUG靈活得多但要注意宏的組合數(shù)量不能膨脹。每多一個(gè)宏組合狀態(tài)就是指數(shù)級(jí)增長(zhǎng)測(cè)試覆蓋成本也翻倍。我見(jiàn)過(guò)一個(gè)團(tuán)隊(duì)定義了 7 個(gè)功能宏結(jié)果 CI 矩陣幾十個(gè)組合維護(hù)成本和編譯時(shí)間都失控了。所以實(shí)際使用時(shí)盡量在構(gòu)建腳本中心化管理這些宏而不是讓各模塊各定各的。7.2 與編譯器內(nèi)置宏配合除了自己的構(gòu)建宏編譯器還提供了一些內(nèi)置的宏比如__FILE__、__LINE__、__func__、__DATE__等。它們配合條件編譯能寫(xiě)出非常實(shí)用的調(diào)試輔助邏輯。比如追蹤某模塊調(diào)用點(diǎn)#ifdef _DEBUG #define TRACE_CALL() log_info(%s:%d 調(diào)用 %s, __FILE__, __LINE__, __func__) #else #define TRACE_CALL() ((void)0) #endif這些宏是編譯期展開(kāi)的所以沒(méi)有運(yùn)行時(shí)字符串查找的開(kāi)銷。我之前在一個(gè)復(fù)雜的回調(diào)鏈路項(xiàng)目里用這套方法快速定位了回調(diào)順序錯(cuò)誤的問(wèn)題——直接把每次回調(diào)的調(diào)用點(diǎn)記錄到日志里展開(kāi)后一比對(duì)問(wèn)題立刻清晰。8. 我的幾點(diǎn)經(jīng)驗(yàn)總結(jié)寫(xiě)到這估計(jì)已經(jīng)把 Debug/Release 的核心差別和#ifdef _DEBUG的實(shí)戰(zhàn)用法講得差不多了。最后說(shuō)幾點(diǎn)我的個(gè)人習(xí)慣算不上真理但都是我踩坑踩出來(lái)的經(jīng)驗(yàn)。第一我從不在代碼里亂寫(xiě)#ifdef DEBUG。這個(gè)宏名太常用、太容易被工具鏈或第三方庫(kù)“巧合”定義導(dǎo)致條件編譯行為不可控。項(xiàng)目統(tǒng)一用_DEBUG和NDEBUG并且構(gòu)建腳本里顯式定義不依賴默認(rèn)。這樣換工具鏈、換構(gòu)建系統(tǒng)時(shí)代碼部分不需要改動(dòng)。第二寫(xiě)條件編譯代碼時(shí)我盡量讓“非調(diào)試分支”的體積最小。也就是#ifdef _DEBUG包裹的是調(diào)試專用代碼而正常功能的代碼路徑保持干凈。這樣 Release 編譯出來(lái)的最終產(chǎn)物貼近“準(zhǔn)生產(chǎn)環(huán)境”測(cè)試覆蓋面也更真實(shí)。很多人反過(guò)來(lái)正常邏輯寫(xiě)在#ifdef _DEBUG里面Release 下用另一套簡(jiǎn)化實(shí)現(xiàn)導(dǎo)致 Debug 測(cè)試得很充分Release 走的完全是另一條沒(méi)有人測(cè)過(guò)的路徑——這比不寫(xiě)條件編譯還危險(xiǎn)。第三我堅(jiān)持在 Release 構(gòu)建腳本里做一步“強(qiáng)制檢查”。具體做法是編譯完目標(biāo)文件之后用一個(gè)腳本去掃描生成的符號(hào)表或反匯編確認(rèn)調(diào)試專用函數(shù)沒(méi)有漏進(jìn)來(lái)。早期手動(dòng)勾選配置時(shí)經(jīng)常出現(xiàn)“某個(gè)文件忘了切換構(gòu)建模式”的情況這種自動(dòng)化檢查能直接兜底。第四也是最核心的一點(diǎn)條件編譯是編譯期的“剪刀”不是運(yùn)行時(shí)的“閘門”。它適用于裁剪那些發(fā)布版完全不需要的東西比如調(diào)試斷言、調(diào)試日志、內(nèi)部性能統(tǒng)計(jì)。但如果有功能在發(fā)布版確實(shí)需要、只是行為不同別偷懶用條件編譯搞出兩套邏輯這會(huì)導(dǎo)致 Debug 和 Release 行為漂移太多。該用運(yùn)行時(shí)配置就用運(yùn)行時(shí)配置該用編譯期裁剪就用到位的裁剪兩者界限分明。好了這次關(guān)于 Debug 和 Release 的差異以及#ifdef _DEBUG_的用法就聊到這兒。如果你正在排查一個(gè)“Debug 沒(méi)事、Release 出問(wèn)題”的難題建議把我提到的幾個(gè)檢查點(diǎn)挨個(gè)過(guò)一遍預(yù)定義宏對(duì)不對(duì)、運(yùn)行時(shí)庫(kù)有沒(méi)有混用、assert有沒(méi)有副作用、未初始化變量有沒(méi)有、優(yōu)化帶來(lái)哪些不可預(yù)期行為。按這套思路走下來(lái)大多數(shù)問(wèn)題都能定位到根因。