Linux C++ 記憶體管理精髓：指標傳遞陷阱、雙重指標、野指標、new/delete vs malloc/free

C++ 記憶體管理是面試與實戰高頻考點。本文系統梳理指標參數傳遞機制、動態配置正確姿勢、野指標成因與防禦、new/delete 與 malloc/free 本質差異。

一、指標參數傳遞：為何單層指標無法輸出配置記憶體？

void GetMemory(char* p, int n) {
    p = malloc(n); // 僅修改區域副本 _p，呼叫端 p 不變
}
char* str = NULL;
GetMemory(str, 100); // str 仍為 NULL → strcpy 崩潰

原因：參數傳值，編譯器建立副本 _p = p。函數內修改 _p 指向新記憶體，原 p 不變。

二、正確輸出配置記憶體的三種方案

方案 1：雙重指標（指標的指標）

void GetMemory2(char** p, int n) { *p = malloc(n); }
char* str = NULL;
GetMemory2(&str, 100); // 傳址，修改 *p 即修改 str

方案 2：函數回傳值（最推薦，簡單直觀）

char* GetMemory3(int n) { return malloc(n); }
char* str = GetMemory3(100);

方案 3：參考（C++ 專屬）

void GetMemory4(char*& p, int n) { p = malloc(n); } // 參考即別名
GetMemory4(str, 100);

三、回傳指標的致命陷阱：棧記憶體

char* GetString() {
    char p[] = "hello"; // 區域陣列在棧上
    return p; // 警告：回傳區域變數位址
}
// 呼叫端拿到的是已失效記憶體 → 垃圾值

• 正確：回傳 malloc/new 的堆記憶體、靜態/全域變數、字串常值
• 字串常值 char* p = "hello"; 位於唯讀資料段，生命週期全程，但不可修改

四、野指標三大成因與防禦

if (p != nullptr) 無法偵測野指標（位址非空但無效）。

五、new/delete vs malloc/free

原則：C++ 物件必須用 new/delete；POD 型別可互換但不可混用（new 配 free、malloc 配 delete 皆未定義行為）。保留 malloc/free 為相容 C 庫。

1. 上一篇文章： C 語言字串核心函數 strcpy 與 strcat 實現原理與安全避坑指南
2. 下一篇文章： C/C++ 指標進階：int(*p)[] 與 int(**p)[] 的型別差異與實戰應用

更多程式設計知識

十大最讓開發者「愛恨交織」的程式語言特性排行

前言：主觀不等於客觀劣質 統計來源：Quora、Stack

Lua 邏輯運算子深度解析：and、or、not 運作機制與實例

Lua 的邏輯運算子 and、or、not 採用短路求值且回

Python 實現支援上傳下載的簡易 HTTP 檔案伺服器

基於 Python 內建 BaseHTTPServer 與

Python Tuple 元組完整入門：建立、存取、不可變性、解包、運算子與巢狀結構詳解

元組 是 Python不可變序列，語法用圓括號 ()。與列表