高質量C代碼實踐：內存釋放的正確姿勢與指針歸零鐵律

核心原則：malloc/free必須配對，釋放後指針必須歸零

堆內存不自動回收，未釋放導致洩漏，釋放後不歸零導致野指針。商業代碼中結構體常包含指針成員，釋放順序與歸零策略至關重要。

基礎釋放模式

錯誤示範：函數傳值無法歸零實參

// 錯誤：形參p是副本，無法修改實參指針
void freePointer(void *p) {
    if (p != NULL) { free(p); p = NULL; }
}

正確模式一：宏封裝（推薦）

#define FREE(X) \
    do { \
        if ((X) != NULL) { \
            free((void *)(X)); \
            (X) = NULL; \
        } \
    } while(0)

// 使用：FREE(pRole);  // 一行搞定釋放+歸零

正確模式二：傳指針地址（雙重指針）

void freePointer(void **p) {
    if (*p != NULL) {
        free(*p);
        *p = NULL;
    }
}

// 使用：freePointer((void **)&pRole);  // 較繁瑣

結構體指針釋放的層級法則

定義示例

typedef struct { char *name; } ACT;  // 動畫數據
typedef struct { ACT *body; } Role;  // 角色含指針成員

創建與銷毀對稱原則

// 創建：分配主結構體，再分配成員指針
Role *creatRole(const char *roleName, uint8 weaponId) {
    Role *role = (Role *)malloc(sizeof(Role));
    role->body = (ACT *)malloc(sizeof(ACT));
    // ... 初始化 ...
    return role;
}

// 銷毀：遞歸釋放成員指針，最後釋放主體並歸零調用者指針
void destroyRole(Role *role) {
    if (role == NULL) return;
    destroyAct(role->body);  // 先釋放成員指針
    free(role);              // 再釋放主體
    // 注意：此處 role = NULL 無法影響實參！
}

// 調用方必須手動歸零
Role *pRole = creatRole("hero", 0);
destroyRole(pRole);
pRole = NULL;  // 關鍵步驟！

鐵律總結

1. 分配與釋放嚴格對稱：有幾個malloc，就有幾個free
2. 由內向外釋放：先釋放結構體內部指針成員，再釋放結構體本身
3. 源頭指針必須歸零：最高層指針釋放後立即置NULL，防野指針、利調試
4. 拒絕返回棧地址：函數內部局部變量地址絕不可返回（函數結束即失效）

工程化建議

項目統一採用 FREE() 宏，制定《內存管理規範》文檔，Code Review重點檢查釋放完整性與歸零執行。將內存管理從「程序員自覺」上升為「團隊標準、工具輔助、流程保障」的體系化能力。