1. 從一次內(nèi)存訪問錯(cuò)誤說(shuō)起為什么必須分清堆和棧那天下午我正調(diào)試一個(gè)處理大量傳感器數(shù)據(jù)的C程序。程序運(yùn)行一段時(shí)間后毫無(wú)征兆地崩潰了控制臺(tái)只留下一句冰冷的“Segmentation fault (core dumped)”。我打開調(diào)試器發(fā)現(xiàn)崩潰點(diǎn)在一個(gè)看似無(wú)害的函數(shù)內(nèi)部它試圖訪問一個(gè)局部數(shù)組的某個(gè)元素。這個(gè)數(shù)組的大小是根據(jù)運(yùn)行時(shí)配置文件動(dòng)態(tài)計(jì)算出來(lái)的我習(xí)慣性地在函數(shù)開頭用int buffer[size]的方式聲明了它。當(dāng)size的值因?yàn)橐淮萎惓５臄?shù)據(jù)輸入變得異常巨大時(shí)程序就崩潰了。這次經(jīng)歷讓我深刻地意識(shí)到如果不真正理解C語(yǔ)言中堆Heap和棧Stack的區(qū)別寫出的代碼就像在雷區(qū)里跳舞崩潰只是時(shí)間問題。堆和棧這兩個(gè)詞對(duì)于任何C語(yǔ)言開發(fā)者都如雷貫耳但很多人對(duì)它們的理解停留在“一個(gè)手動(dòng)管理一個(gè)自動(dòng)管理”的模糊層面。這種理解在應(yīng)對(duì)簡(jiǎn)單小程序時(shí)或許夠用一旦涉及復(fù)雜數(shù)據(jù)結(jié)構(gòu)、遞歸調(diào)用、多線程或是需要長(zhǎng)期存活的大塊數(shù)據(jù)時(shí)就會(huì)捉襟見肘甚至引發(fā)災(zāi)難性的后果。本文的目的就是徹底拆解這對(duì)核心概念讓你不僅知道它們是什么更能理解它們?yōu)槭裁催@樣設(shè)計(jì)以及在實(shí)際編碼中如何做出最合適的選擇。無(wú)論你是正在啃《C Primer Plus》的新手還是已經(jīng)寫過(guò)上萬(wàn)行代碼卻對(duì)某些內(nèi)存bug感到困惑的老手這篇文章都將帶你穿越概念迷霧直抵問題核心。2. 棧函數(shù)調(diào)用的“臨時(shí)工作臺(tái)”想象一下你正在廚房做飯。灶臺(tái)棧的空間是固定的并且非常整潔。你從冰箱代碼區(qū)拿出菜譜函數(shù)指令然后把需要用到的碗、調(diào)料瓶、切好的菜局部變量依次放在灶臺(tái)上。炒完一個(gè)菜函數(shù)執(zhí)行完畢你就會(huì)立刻把這些用過(guò)的碗筷清理掉灶臺(tái)恢復(fù)原狀接著開始做下一道菜。這就是棧的工作方式。2.1 棧的核心工作機(jī)制與生命周期棧是一種后進(jìn)先出LIFO的數(shù)據(jù)結(jié)構(gòu)它緊密地與函數(shù)的調(diào)用過(guò)程綁定在一起。當(dāng)一個(gè)函數(shù)被調(diào)用時(shí)系統(tǒng)會(huì)在棧上為它分配一塊連續(xù)的內(nèi)存區(qū)域稱為“棧幀”。這個(gè)棧幀里存放了什么呢函數(shù)的返回地址這是最重要的信息之一它告訴CPU當(dāng)這個(gè)函數(shù)執(zhí)行完后應(yīng)該回到調(diào)用它的地方繼續(xù)執(zhí)行。調(diào)用者的棧幀基址用于在函數(shù)返回后恢復(fù)上一個(gè)函數(shù)的棧幀環(huán)境。函數(shù)的參數(shù)從右向左依次壓入棧中。函數(shù)的局部變量包括各種基本類型int, char的變量以及數(shù)組如int arr[10]。所有這些信息在函數(shù)被調(diào)用時(shí)自動(dòng)“壓?！痹诤瘮?shù)返回時(shí)自動(dòng)“彈棧”。整個(gè)過(guò)程由編譯器生成的代碼和操作系統(tǒng)共同管理程序員完全無(wú)需干預(yù)。這也決定了棧上數(shù)據(jù)的生命周期與函數(shù)共存亡。函數(shù)開始變量誕生函數(shù)返回變量所占用的棧空間立即被釋放以備下一個(gè)函數(shù)使用。試圖在函數(shù)返回后訪問其局部變量的地址是經(jīng)典的“懸垂指針”錯(cuò)誤會(huì)導(dǎo)致未定義行為。#include stdio.h int* create_local_int() { int local_var 42; // local_var 在棧上分配 return local_var; // 危險(xiǎn)返回了一個(gè)局部變量的地址 } int main() { int* ptr create_local_int(); printf(%d\n, *ptr); // 此時(shí) local_var 所在的棧幀已銷毀訪問行為未定義 return 0; }2.2 ?？臻g的特性與限制棧空間有兩個(gè)關(guān)鍵特性直接影響了我們的編程實(shí)踐分配與釋放速度極快本質(zhì)上只是移動(dòng)棧頂指針ESP寄存器幾乎不涉及復(fù)雜計(jì)算。空間有限且固定棧的大小通常在程序啟動(dòng)時(shí)就被確定例如在Linux上默認(rèn)可能是8MB并且是連續(xù)的。這導(dǎo)致了兩個(gè)主要限制無(wú)法存儲(chǔ)過(guò)大的數(shù)據(jù)就像我開篇遇到的崩潰試圖在棧上聲明一個(gè)巨大的數(shù)組如int huge[1000000]很容易導(dǎo)致“棧溢出”。無(wú)法靈活控制生命周期數(shù)據(jù)必須遵循嚴(yán)格的函數(shù)調(diào)用順序來(lái)釋放。注意遞歸函數(shù)深度過(guò)大會(huì)導(dǎo)致棧溢出因?yàn)槊看芜f歸調(diào)用都會(huì)生成一個(gè)新的棧幀。這是?？臻g限制的典型體現(xiàn)。3. 堆動(dòng)態(tài)分配的“自由倉(cāng)庫(kù)”現(xiàn)在把廚房的比喻擴(kuò)展一下。灶臺(tái)棧不夠用了你需要一個(gè)倉(cāng)庫(kù)堆來(lái)存放不常用的、大件的、或者需要長(zhǎng)期保存的廚具和食材。你可以向倉(cāng)庫(kù)管理員內(nèi)存分配器申請(qǐng)一塊指定大小的空間管理員會(huì)給你一個(gè)地址指針。你用完之后必須明確地告訴管理員“這塊地方我不用了”管理員才能把它回收分配給其他人。如果你忘了說(shuō)這塊空間就會(huì)一直空著內(nèi)存泄漏如果你用完了還說(shuō)“這塊地方我用”但實(shí)際上去用了別的地址就會(huì)造成混亂。3.1 堆的管理與核心API堆是一片遠(yuǎn)比棧龐大的內(nèi)存區(qū)域用于動(dòng)態(tài)內(nèi)存分配。它的管理不遵循LIFO原則而是由一套相對(duì)復(fù)雜的內(nèi)存分配器如glibc的ptmalloc負(fù)責(zé)以應(yīng)對(duì)隨機(jī)、大小不一的內(nèi)存申請(qǐng)和釋放請(qǐng)求。在C語(yǔ)言中我們通過(guò)標(biāo)準(zhǔn)庫(kù)函數(shù)來(lái)操作堆申請(qǐng)內(nèi)存malloc(size_t size)、calloc(size_t num, size_t size)。它們會(huì)在堆上找到一塊足夠大的連續(xù)空閑內(nèi)存將其標(biāo)記為已用并返回指向該內(nèi)存塊起始地址的void*指針。如果失敗如內(nèi)存不足則返回NULL。釋放內(nèi)存free(void *ptr)。你必須將之前由malloc/calloc/realloc返回的指針且未被釋放過(guò)傳遞給free。執(zhí)行后該內(nèi)存塊被標(biāo)記為空閑可供后續(xù)分配。對(duì)同一個(gè)指針調(diào)用兩次free或free一個(gè)非堆內(nèi)存地址如棧地址會(huì)導(dǎo)致“雙重釋放”或“非法釋放”錯(cuò)誤通常直接引發(fā)程序崩潰。調(diào)整內(nèi)存realloc(void *ptr, size_t new_size)。嘗試調(diào)整已分配內(nèi)存塊的大小可能原地?cái)U(kuò)大/縮小也可能在別處分配新塊、復(fù)制數(shù)據(jù)、釋放舊塊。#include stdio.h #include stdlib.h int main() { // 在堆上申請(qǐng)可以存放100個(gè)int的內(nèi)存 int *dynamic_array (int*)malloc(100 * sizeof(int)); if (dynamic_array NULL) { fprintf(stderr, 內(nèi)存申請(qǐng)失敗\n); return 1; } // 使用這塊內(nèi)存 for (int i 0; i 100; i) { dynamic_array[i] i * i; } // 使用完畢后必須手動(dòng)釋放 free(dynamic_array); // 良好習(xí)慣釋放后將指針置為NULL防止“野指針” dynamic_array NULL; return 0; }3.2 堆的優(yōu)缺點(diǎn)與適用場(chǎng)景堆的優(yōu)勢(shì)在于其靈活性大容量可分配的內(nèi)存遠(yuǎn)大于棧僅受系統(tǒng)可用物理內(nèi)存和虛擬內(nèi)存限制。生命周期可控分配的內(nèi)存塊在其被顯式free之前一直有效可以跨函數(shù)傳遞實(shí)現(xiàn)數(shù)據(jù)的“長(zhǎng)壽”。大小動(dòng)態(tài)可以在運(yùn)行時(shí)根據(jù)需求決定分配多大內(nèi)存非常適合處理未知或變化的數(shù)據(jù)量。但靈活性帶來(lái)的代價(jià)是復(fù)雜性和開銷手動(dòng)管理程序員必須肩負(fù)起分配和釋放的責(zé)任否則會(huì)導(dǎo)致內(nèi)存泄漏或非法訪問。分配速度慢尋找合適大小的空閑內(nèi)存塊可能涉及復(fù)雜的查找和分割合并算法比移動(dòng)棧指針慢得多。內(nèi)存碎片頻繁不同大小的分配和釋放會(huì)在堆中產(chǎn)生大量不連續(xù)的小塊空閑內(nèi)存外部碎片導(dǎo)致即使總空閑內(nèi)存足夠也可能無(wú)法滿足一個(gè)大塊的連續(xù)分配請(qǐng)求。訪問開銷堆內(nèi)存需要通過(guò)指針間接訪問通常比訪問棧上的局部變量可能已在CPU寄存器中慢一點(diǎn)。4. 堆與棧的深度對(duì)比與抉擇指南理解了各自的工作原理后我們可以從多個(gè)維度對(duì)它們進(jìn)行系統(tǒng)性對(duì)比。下表清晰地展示了二者的核心差異特性維度棧 (Stack)堆 (Heap)管理方式編譯器/系統(tǒng)自動(dòng)管理壓棧彈棧。程序員手動(dòng)管理 (malloc/free)。生命周期與函數(shù)調(diào)用同步。函數(shù)開始創(chuàng)建函數(shù)結(jié)束銷毀。從malloc到free由程序員控制。可跨函數(shù)。分配速度極快僅移動(dòng)棧指針。較慢需在復(fù)雜空閑鏈表中查找匹配塊?？臻g大小較小通常MB級(jí)別固定。很大可達(dá)GB級(jí)別受系統(tǒng)資源限制。內(nèi)存布局連續(xù)后進(jìn)先出LIFO。非連續(xù)自由鏈表管理隨機(jī)分配釋放。主要問題棧溢出空間不足、返回局部變量地址。內(nèi)存泄漏、野指針、雙重釋放、內(nèi)存碎片。數(shù)據(jù)內(nèi)容函數(shù)參數(shù)、返回地址、局部變量。任何動(dòng)態(tài)創(chuàng)建的數(shù)據(jù)結(jié)構(gòu)。訪問方式直接通過(guò)變量名編譯器轉(zhuǎn)換為偏移地址。必須通過(guò)指針間接訪問。線程安全每個(gè)線程擁有獨(dú)立的棧。堆在進(jìn)程內(nèi)全局共享多線程訪問需同步。那么在實(shí)際編程中我們?nèi)绾巫鲞x擇這里有一些清晰的指導(dǎo)原則優(yōu)先使用棧的情況數(shù)據(jù)量小且大小在編譯期可知如float sensor_readings[10]。數(shù)據(jù)的生命周期嚴(yán)格限定在當(dāng)前函數(shù)或代碼塊內(nèi)。追求極致的性能例如在關(guān)鍵循環(huán)中使用的臨時(shí)變量。簡(jiǎn)單規(guī)則除非有明確理由不用棧否則就用棧。它更安全、更高效。必須使用堆的情況需要分配的內(nèi)存大小在編譯時(shí)無(wú)法確定需要在運(yùn)行時(shí)計(jì)算如int *arr malloc(n * sizeof(int))。數(shù)據(jù)結(jié)構(gòu)如鏈表、樹的節(jié)點(diǎn)需要?jiǎng)討B(tài)創(chuàng)建和銷毀且生命周期不確定。需要分配非常大的內(nèi)存塊例如一個(gè)巨大的圖像緩沖區(qū)。需要讓數(shù)據(jù)在函數(shù)調(diào)用結(jié)束后依然存在并傳遞給其他函數(shù)如創(chuàng)建并返回一個(gè)復(fù)雜對(duì)象。實(shí)操心得一個(gè)常見的誤區(qū)是為了“安全”或“省事”把所有東西都放在堆上。這會(huì)導(dǎo)致程序性能下降頻繁的malloc/free調(diào)用和內(nèi)存管理復(fù)雜度飆升。我的經(jīng)驗(yàn)法則是默認(rèn)用棧僅在棧無(wú)法滿足需求大小或生命周期時(shí)才考慮堆。對(duì)于從堆分配的內(nèi)存立刻思考它的“釋放點(diǎn)”在哪里并確保所有執(zhí)行路徑都能到達(dá)這個(gè)釋放點(diǎn)或使用RAII等模式進(jìn)行包裝。5. 從原理到實(shí)踐典型場(chǎng)景中的內(nèi)存模型剖析理論需要結(jié)合實(shí)踐才能內(nèi)化。讓我們通過(guò)幾個(gè)典型場(chǎng)景看看堆和棧是如何協(xié)同工作的。5.1 場(chǎng)景一遞歸函數(shù)與棧幀鏈遞歸是?？臻g的“重量級(jí)用戶”。每次遞歸調(diào)用都會(huì)生成一個(gè)完整的棧幀。int factorial(int n) { if (n 1) return 1; // 基線條件停止遞歸 return n * factorial(n - 1); // 遞歸調(diào)用 } // 調(diào)用 factorial(3) 時(shí)棧的瞬時(shí)狀態(tài)自上而下增長(zhǎng) // | ... | - 棧底 (高地址) // | main 函數(shù)的棧幀 | // |----------------------| // | factorial(3) 棧幀 | n3, 返回地址指向main // |----------------------| // | factorial(2) 棧幀 | n2, 返回地址指向 factorial(3) 的乘法處 // |----------------------| // | factorial(1) 棧幀 | n1, 返回地址指向 factorial(2) 的乘法處 // |----------------------| - 棧頂 (低地址當(dāng)前ESP)當(dāng)factorial(1)返回1后它的棧幀被彈出factorial(2)計(jì)算2*1后返回其棧幀彈出最后factorial(3)計(jì)算3*2后返回給main。如果遞歸深度過(guò)大例如factorial(100000)就會(huì)耗盡棧空間導(dǎo)致棧溢出。對(duì)于深度遞歸算法有時(shí)需要將其改寫成迭代形式或者使用堆來(lái)顯式模擬棧即手動(dòng)管理的棧數(shù)據(jù)結(jié)構(gòu)。5.2 場(chǎng)景二構(gòu)建鏈表與堆內(nèi)存管理鏈表節(jié)點(diǎn)必須在堆上分配因?yàn)槊總€(gè)節(jié)點(diǎn)的生命周期是獨(dú)立的且需要在函數(shù)間傳遞。typedef struct Node { int data; struct Node* next; } Node; Node* create_node(int value) { // 關(guān)鍵在堆上為節(jié)點(diǎn)分配內(nèi)存 Node* new_node (Node*)malloc(sizeof(Node)); if (!new_node) { perror(Failed to allocate node); exit(EXIT_FAILURE); } new_node-data value; new_node-next NULL; return new_node; // 返回堆內(nèi)存地址安全 } void delete_list(Node* head) { Node* current head; Node* next; while (current ! NULL) { next current-next; // 先保存下一個(gè)節(jié)點(diǎn)的地址 free(current); // 釋放當(dāng)前節(jié)點(diǎn) current next; // 移動(dòng)到下一個(gè)節(jié)點(diǎn) } }在這個(gè)場(chǎng)景中create_node函數(shù)返回的是一個(gè)指向堆內(nèi)存的指針。調(diào)用者如main獲得這個(gè)指針后可以將其鏈接到鏈表中。最終當(dāng)整個(gè)鏈表不再需要時(shí)必須像delete_list函數(shù)那樣遍歷鏈表并逐個(gè)free每個(gè)節(jié)點(diǎn)。忘記釋放鏈表是內(nèi)存泄漏的常見原因。5.3 場(chǎng)景三返回字符串或數(shù)組的陷阱與正確做法這是新手最容易犯錯(cuò)的地方之一試圖從函數(shù)返回一個(gè)指向棧內(nèi)存的數(shù)組。// 錯(cuò)誤示范返回棧地址 char* get_greeting_wrong() { char str[] Hello, World!; // 棧數(shù)組函數(shù)結(jié)束即銷毀 return str; // 返回局部數(shù)組地址嚴(yán)重錯(cuò)誤 } // 正確做法1返回指向靜態(tài)存儲(chǔ)區(qū)或字面量的指針只讀風(fēng)險(xiǎn) char* get_greeting_static() { char* str Hello, World!; // Hello...在常量區(qū)生命周期同程序 return str; // 安全但返回的指針指向的內(nèi)容不可修改 } // 正確做法2調(diào)用者提供緩沖區(qū)?；蚨焉?void get_greeting_buffer(char* buffer, size_t size) { snprintf(buffer, size, Hello, World!); } // 正確做法3在堆上分配并返回調(diào)用者負(fù)責(zé)free char* get_greeting_heap() { char* str malloc(20 * sizeof(char)); if (str) { strcpy(str, Hello, World!); } return str; // 調(diào)用者必須記得 free(str) }get_greeting_wrong是絕對(duì)要避免的。get_greeting_static適用于返回常量字符串。get_greeting_buffer是最安全、最清晰的做法之一由調(diào)用者決定內(nèi)存來(lái)源?；蚨?。get_greeting_heap提供了靈活性但將釋放的責(zé)任轉(zhuǎn)移給了調(diào)用者必須用文檔明確說(shuō)明。6. 高級(jí)話題與常見誤區(qū)辨析掌握了基礎(chǔ)我們?cè)倏匆恍└顚哟蔚膯栴}和容易混淆的點(diǎn)。6.1 “棧”數(shù)據(jù)結(jié)構(gòu)與“調(diào)用?！笔峭粋€(gè)棧嗎這是一個(gè)經(jīng)典的術(shù)語(yǔ)重載問題但兩者不是同一個(gè)概念。數(shù)據(jù)結(jié)構(gòu)中的棧是一種抽象數(shù)據(jù)類型ADT定義了“壓?！薄ⅰ皬棗！薄ⅰ叭ｍ敗钡炔僮鳌Ｋ梢杂脭?shù)組或鏈表在堆或棧上實(shí)現(xiàn)。內(nèi)存中的調(diào)用棧是操作系統(tǒng)/運(yùn)行時(shí)環(huán)境為程序執(zhí)行預(yù)留的一塊特定內(nèi)存區(qū)域其管理方式恰好符合棧數(shù)據(jù)結(jié)構(gòu)LIFO的模型。我們通常說(shuō)的“棧內(nèi)存”指的就是這塊區(qū)域。所以你可以在堆上用malloc分配一個(gè)數(shù)組然后自己寫函數(shù)實(shí)現(xiàn)一個(gè)棧數(shù)據(jù)結(jié)構(gòu)ADT。而這個(gè)你自己實(shí)現(xiàn)的棧其數(shù)據(jù)是存放在堆里的。同時(shí)函數(shù)調(diào)用的信息則存放在系統(tǒng)管理的調(diào)用棧里。它們是不同層面的概念。6.2 多線程環(huán)境下的堆與棧這是理解現(xiàn)代編程的關(guān)鍵。棧每個(gè)線程都有自己獨(dú)立的棧。這是線程私有數(shù)據(jù)存儲(chǔ)的理想場(chǎng)所比如線程局部變量。線程間的?？臻g互不干擾無(wú)需加鎖保護(hù)。堆在同一個(gè)進(jìn)程內(nèi)堆是所有線程共享的全局資源。這意味著如果多個(gè)線程同時(shí)調(diào)用malloc或free可能會(huì)引發(fā)競(jìng)態(tài)條件導(dǎo)致內(nèi)存管理數(shù)據(jù)結(jié)構(gòu)損壞。因此標(biāo)準(zhǔn)C庫(kù)的malloc/free實(shí)現(xiàn)內(nèi)部通常有鎖機(jī)制來(lái)保證線程安全但這會(huì)帶來(lái)性能開銷。對(duì)于高性能并發(fā)程序有時(shí)會(huì)使用線程本地緩存TCMalloc等或特定的內(nèi)存池來(lái)減少鎖爭(zhēng)用。6.3 內(nèi)存碎片與分配器行為堆內(nèi)存碎片化是一個(gè)隱形殺手。假設(shè)你頻繁交替分配和釋放1KB和100KB的內(nèi)存塊最終堆上可能布滿了許多1KB大小的空閑碎片此時(shí)即使總空閑內(nèi)存有200KB當(dāng)你嘗試分配一個(gè)150KB的連續(xù)內(nèi)存時(shí)malloc仍然可能失敗。這就是外部碎片。現(xiàn)代內(nèi)存分配器如glibc的ptmalloc2使用了一系列策略來(lái)緩解碎片例如大小分類將請(qǐng)求大小歸類到不同的“箱”中每個(gè)箱管理特定尺寸范圍的內(nèi)存塊。合并空閑塊釋放內(nèi)存時(shí)嘗試與相鄰的空閑塊合并成一個(gè)大塊。sbrk與mmap對(duì)于小內(nèi)存分配通常通過(guò)移動(dòng)brk指針來(lái)擴(kuò)展堆對(duì)于非常大的內(nèi)存請(qǐng)求超過(guò)MMAP_THRESHOLD默認(rèn)128KB則直接使用mmap系統(tǒng)調(diào)用從操作系統(tǒng)映射一塊獨(dú)立內(nèi)存釋放時(shí)用munmap直接歸還給系統(tǒng)避免碎片留在主堆區(qū)。理解這些有助于解釋一些現(xiàn)象比如為什么反復(fù)分配釋放小對(duì)象后進(jìn)程的虛擬內(nèi)存VIRT會(huì)變得很大堆碎片化而實(shí)際物理內(nèi)存RES可能不高。7. 實(shí)戰(zhàn)排坑那些年我踩過(guò)的內(nèi)存“雷區(qū)”理論再完美不如踩一次坑記得牢。分享幾個(gè)我親身經(jīng)歷或調(diào)試過(guò)的典型問題。7.1 坑一free()之后的“幽靈訪問”char *ptr malloc(100); // ... 使用 ptr ... free(ptr); // ptr 現(xiàn)在成為“懸垂指針” strcpy(ptr, Oops!); // 未定義行為可能崩潰也可能靜默破壞其他數(shù)據(jù)問題free只是告訴分配器這塊內(nèi)存可以回收了但并不會(huì)清空指針ptr的值也不會(huì)抹掉內(nèi)存里的數(shù)據(jù)出于性能考慮。此時(shí)ptr指向的內(nèi)存可能已被重新分配用于其他用途寫入數(shù)據(jù)會(huì)破壞新數(shù)據(jù)或者該內(nèi)存塊已被歸還給操作系統(tǒng)訪問會(huì)引發(fā)段錯(cuò)誤。解決free之后立即將指針置為NULL。free(ptr); ptr NULL; // 良好的防御性編程習(xí)慣這樣如果后續(xù)不小心再次訪問ptr對(duì)NULL指針的解引用在大多數(shù)系統(tǒng)上會(huì)立即導(dǎo)致崩潰比破壞未知數(shù)據(jù)更容易定位問題。7.2 坑二realloc的“原地搬家”與內(nèi)存泄漏int *arr malloc(10 * sizeof(int)); // ... 使用 arr ... arr realloc(arr, 20 * sizeof(int)); // 危險(xiǎn)的操作 if (arr NULL) { // 錯(cuò)誤處理此時(shí)原內(nèi)存塊(10個(gè)int)已丟失無(wú)法釋放 }問題realloc可能失敗返回NULL。但在這個(gè)操作中我們將返回值直接賦給了原指針arr。如果realloc失敗arr被置為NULL而原來(lái)那塊存放了10個(gè)int的內(nèi)存地址就丟失了再也無(wú)法被free造成內(nèi)存泄漏。解決總是使用一個(gè)臨時(shí)指針來(lái)接收realloc的結(jié)果。int *arr malloc(10 * sizeof(int)); int *temp realloc(arr, 20 * sizeof(int)); if (temp NULL) { // 擴(kuò)容失敗但原數(shù)據(jù)還在 arr 指向的內(nèi)存里 free(arr); // 仍可安全釋放原內(nèi)存 // 處理錯(cuò)誤 } else { arr temp; // 擴(kuò)容成功更新指針 // 現(xiàn)在 arr 指向新內(nèi)存可能是原址擴(kuò)大也可能是新地址 }7.3 坑三結(jié)構(gòu)體中的指針成員與“淺拷貝”typedef struct { char *name; int age; } Person; Person p1; p1.name malloc(20); strcpy(p1.name, Alice); p1.age 25; Person p2 p1; // 淺拷貝只復(fù)制了指針值沒有復(fù)制指針指向的內(nèi)容 strcpy(p2.name, Bob); // 這同時(shí)修改了 p1.name 指向的內(nèi)容 printf(%s\n, p1.name); // 輸出 Bob而不是 Alice // 更糟糕的是如果這樣釋放 free(p1.name); // p2.name 現(xiàn)在成了懸垂指針再 free(p2.name) 會(huì)導(dǎo)致雙重釋放。問題直接對(duì)包含指針成員的結(jié)構(gòu)體進(jìn)行賦值或傳參只是復(fù)制了指針本身地址值而不是指針指向的數(shù)據(jù)。這會(huì)導(dǎo)致兩個(gè)結(jié)構(gòu)體的指針成員指向同一塊堆內(nèi)存修改其一會(huì)影響另一個(gè)釋放時(shí)也極易出錯(cuò)。解決實(shí)現(xiàn)“深拷貝”函數(shù)為指針成員分配新的內(nèi)存并復(fù)制數(shù)據(jù)。void person_deep_copy(Person *dest, const Person *src) { dest-age src-age; if (src-name) { dest-name malloc(strlen(src-name) 1); if (dest-name) { strcpy(dest-name, src-name); } } else { dest-name NULL; } } // 使用時(shí) Person p1; // ... 初始化 p1 ... Person p2; person_deep_copy(p2, p1); // 現(xiàn)在 p1 和 p2 擁有獨(dú)立的 name 字符串理解堆和棧不僅僅是記住定義更是要建立起一套關(guān)于內(nèi)存生命周期、所有權(quán)和數(shù)據(jù)安全的心智模型。它決定了你如何設(shè)計(jì)函數(shù)接口誰(shuí)分配誰(shuí)釋放如何選擇數(shù)據(jù)結(jié)構(gòu)用數(shù)組還是鏈表以及如何寫出既高效又健壯的代碼。下次當(dāng)你聲明一個(gè)變量或調(diào)用malloc時(shí)不妨多想一秒它應(yīng)該住在棧上這個(gè)快捷酒店還是堆上那個(gè)需要自己打理鑰匙的長(zhǎng)租公寓這個(gè)簡(jiǎn)單的選擇正是C語(yǔ)言賦予我們強(qiáng)大控制力與相應(yīng)責(zé)任的體現(xiàn)。