C語言 FILE *fp = NULL 詳解：空指針初始化與安全編程實踐

為什麼要將文件指針初始化為 NULL？

FILE *fp = NULL; 是 C 語言文件操作的**防禦性編程**慣用語，核心作用有三：

1. 明確語義：指針尚未指向有效文件對象

• NULL 宏展開為空指針常量（通常為 (void*)0）。
• 表示「不指向任何合法內存地址」，區別於未初始化的野指針（隨機值）。

2. 防止誤用未打開的文件指針

FILE *fp = NULL;           // 1. 初始化
fp = fopen("data.txt", "r"); // 2. 嘗試打開
if (fp == NULL) {          // 3. 必須檢查
    perror("fopen failed");
    return -1;
}
// 4. 安全使用 fp
fclose(fp);
fp = NULL;                 // 5. 關閉後置 NULL，防雙重釋放/野指針

若省略步驟 1，fp 可能含隨機值，步驟 3 的判斷失效，導致後續 fread/fwrite 崩潰。

3. 支援「延遲打開」與「多路徑嘗試」模式

FILE *fp = NULL;
const char *paths[] = {"./config.ini", "/etc/app/config.ini", NULL};

for (int i = 0; paths[i] && fp == NULL; i++)
    fp = fopen(paths[i], "r");

if (fp == NULL) {
    fprintf(stderr, "所有路徑均打開失敗\n");
    exit(EXIT_FAILURE);
}

深度解析：指針為 0 與「指向空」的區別

最佳實踐清單

1. 定義即初始化：FILE *fp = NULL; / int *p = NULL;。
2. 使用前判空：if (fp) { ... } 或 if (fp != NULL)。
3. 釋放後置 NULL：fclose(fp); fp = NULL; / free(p); p = NULL;。
4. 函數參數傳遞指針地址時，在函數內對 *ptr = NULL 初始化。
5. 啟用編譯器警告：-Wuninitialized -Wmaybe-uninitialized (GCC/Clang)。

常見誤區

• if (fp = fopen(...)) 賦值即判斷雖簡潔，但易與 == 混淆，建議分行寫。
• 以為 NULL 佔用內存——它只是編譯期常量，不佔用運行時額外空間。
• 認為 fp = 0 與 fp = NULL 有區別——在指針上下文中完全等價，但語義上 NULL 更清晰。

養成「指針生來為 NULL，用完歸 NULL」的習慣，能消除 90% 以上的指針相關崩潰。