C/C++函數間動態內存傳遞深度解析：三種正確模式與常見錯誤

動態內存在函數間傳遞是C/C++核心編程中最易出錯、危害最大的環節之一。本文剖析為什麼直接傳指針無法返回分配的內存，給出三種正確模式（引用、二級指針、返回值），並建立完整的內存操作規範。

錯誤示範：一級指針傳參無法返回內存

void MyFunc(char *pReturn, size_t size) {
    pReturn = (char*)malloc(sizeof(char) * size); // 只修改了副本！
}

int main() {
    char *pMyReturn = NULL;
    MyFunc(pMyReturn, 100); // pMyReturn 仍為 NULL
    // 使用 pMyReturn → 崩潰
    // 且每次調用洩露一塊內存（無法free）
}

根因分析：參數傳遞機制

• C/C++採用值傳遞：函數調用時為每個參數創建臨時副本
• MyFunc收到的是pMyReturn的副本_pReturn
• _pReturn = malloc(...)修改的是副本指向的地址，原指針pMyReturn完全不受影響
• 函數結束，副本銷毀，malloc的內存無指針引用 → 內存洩漏

內存分配三種方式回顧

動態內存傳遞本質是堆內存所有權的轉移。

指針操作標準流程

int *p = NULL;              // 1. 初始化為NULL
p = new int(3);             // 2. 分配/指向對象
if (p != NULL) { *p = 5; }  // 3. 使用前檢查非空
delete p;                   // 4. 釋放
p = NULL;                   // 5. 置NULL防野指針

三種正確傳遞模式

模式一：C++ 引用傳遞（推薦，最安全直觀）

void MyFunc(char* &pReturn, size_t size) { // 參數為指針的引用
    pReturn = (char*)malloc(size);
    memset(pReturn, 0, size);
    if (size >= 13) strcpy(pReturn, "Hello World!");
}

int main() {
    char *pMyReturn = NULL;
    MyFunc(pMyReturn, 15); // 直接傳遞指針變量
    if (pMyReturn) {
        puts(pMyReturn);
        free(pMyReturn);
        pMyReturn = NULL;
    }
}

• char* &pReturn綁定實參pMyReturn本身，而非副本
• 函數內修改pReturn直接修改pMyReturn
• 語法清晰，無解引用干擾，C++首選

模式二：二級指針（C語言標準模式）

void MyFunc(char **pReturn, size_t size) {
    *pReturn = (char*)malloc(size);
    // 或 *pReturn = new char[size];
}

int main() {
    char *pMyReturn = NULL;
    MyFunc(&pMyReturn, 100); // 傳遞指針地址
    if (pMyReturn) {
        strcpy(pMyReturn, "hello");
        puts(pMyReturn);
        free(pMyReturn);
        pMyReturn = NULL;
    }
}

• 傳遞&pMyReturn（類型char**）
• 函數通過*pReturn = ...解引用一次，修改一級指針值
• 本質：傳遞指針變量的地址，實現「傳址調用」效果
• C語言標準做法，廣泛用於輸出參數

模式三：函數返回值直接返回指針

char* MyFunc() {
    char *p = (char*)malloc(20);
    memset(p, 0, 20);
    return p; // 返回分配的地址
}

int main() {
    char *str = MyFunc();
    if (str) {
        strcpy(str, "Hello, baby");
        puts(str);
        free(str);
        str = NULL;
    }
}

• 最簡潔，調用點str = MyFunc()語義清晰
• 注意：不能返回棧上數組或字符串字面量地址
• 錯誤示例：char* f() { return "Hello"; } → 返回靜態存儲區字面量，不可free、不可修改

對比總結

內存管理鐵律（必須內化為肌肉記憶）

1. 誰分配，誰負責釋放（或明確文檔移交所有權）
2. 分配後立即檢查NULL，失敗路徑不使用指針
3. 釋放後立即置NULL，防止野指針二次釋放/訪問
4. 避免多重所有權：單一指針擁有內存，或用智能指針/引用計數
5. 跨模塊接口：同一模塊分配並釋放（CRT堆隔離問題），或提供專用釋放函數

現代 C++ RAII 替代方案（徹底消除手動管理）

#include 
#include 
#include 

// 1. 單對象
std::unique_ptr create_int() { return std::make_unique(42); }

// 2. 動態數組
std::unique_ptr create_array(size_t n) { 
    auto arr = std::make_unique(n);
    for (size_t i=0; i create_vec(size_t n) {
    std::vector v(n);
    for (size_t i=0; i

總結

動態內存傳遞的核心難點在於指針值的修改需要傳遞指針的地址（二級指針）或綁定引用。C++項目優先用引用參數或返回智能指針/容器，C項目標準化二級指針輸出參數模式。建立「分配-檢查-使用-釋放-置NULL」完整鏈路，配合代碼審查與靜態分析工具，將內存錯誤壓制在編譯期/測試期。

1. 上一篇文章： C語言函數返回數組的兩種正確姿勢：指針返回與結構體封裝
2. 下一篇文章： C語言可變參數宏va_list/va_start/va_arg/va_end完整指南：原理、用法與實現機制

關於C

C程序內存佈局深度解析：從源碼到進程地址空間

可執行文件存儲結構（靜態視圖） GCC 編譯生成的 ELF

C語言指針與數組深度掌握：內存模型、訪問機制與進階類型

1. 指針本質：存放地址的變量 int *p;

C語言找出第一個不重複字元：ASCII 計數陣列法簡潔實作

核心程式碼（25 行完整版） #include char

C/C++ 指標經典面試題深度解析：15 道必會真題

核心口訣：const 與 * 相對位置 char * co