C/C++ 記憶體錯誤全景分析：洩漏、懸空指標、緩衝區溢位與防禦策略

四大記憶體錯誤類別

1. 記憶體洩漏：配置後未釋放（malloc 無 free、fopen 無 fclose、資源句柄未關閉）。
2. 錯誤配置/釋放：重複 free、釋放未初始化指標、free 非 malloc 記憶體。
3. 懸空指標：釋放後繼續使用指標，行為不可預測，極難重現。
4. 緩衝區溢位：寫入超出配置大小，覆蓋相鄰記憶體，導致安全性漏洞（如 Morris Worm、現代 0-day 攻擊）。

經典錯誤程式碼與修正

// 1. 簡單洩漏
void f1(char *explanation) {
    char *p1 = malloc(100);
    sprintf(p1, "Error: %s", explanation);
    log(p1); // 缺少 free(p1)
}

// 2. 資源洩漏（FILE* 無 fclose）
int getkey(char *filename) {
    FILE *fp = fopen(filename, "r");
    int key; fscanf(fp, "%d", &key);
    return key; // 缺少 fclose(fp)
}

// 3. 未初始化指標
void f2(int datum) { int *p2; *p2 = datum; } // Segfault 風險

// 4. 重複釋放
void f3() { char *p = malloc(10), *pp = p; free(p); free(pp); } // 未定義行為

// 5. 懸空指標
int *f8() { int *xp = malloc(sizeof(int)); *xp = 13; free(xp); return xp; } // 回傳已釋放記憶體

// 6. 緩衝區溢位
void f1(char *explanation) {
    char buf[100];
    sprintf(buf, "Error: %s", explanation); // explanation 超過 80 字元即溢位
}

難以偵測的隱性洩漏

static char *important = NULL;
void f9() {
    if (!important) important = malloc(BIG);
    if (condition) important = malloc(SMALL); // 先前的 BIG 記憶體永久洩漏
}

防禦策略與工具

1. 編譯器警告：-Wall -Wextra -Werror（GCC/Clang）、/W4（MSVC）。
2. 靜態分析：Cppcheck, Clang Static Analyzer, Coverity, SonarQube。
3. 動態偵測：Valgrind (Memcheck), AddressSanitizer (ASan), LeakSanitizer (LSan), Dr. Memory。
4. 智慧指標與 RAII（C++）：std::unique_ptr, std::shared_ptr, std::vector, std::string 自動管理生命週期。
5. 安全函數：snprintf, strncpy_s, memcpy_s 等邊界檢查版本。
6. 程式碼審查規範：每個 malloc/new 必須有對應 free/delete，擁有權語義明確。

現代 C++ 最佳實踐

盡可能避免裸指標與手動記憶體管理，採用標準容器、智慧指標、std::optional/std::variant 等高階抽象，將記憶體安全交給編譯器與執行期庫保證。