C 語言誤區：malloc 返回值不需強制轉型

C 語言中 malloc 返回值為何不該強制轉型

在 C++ 中，malloc 返回 void* 必須強制轉型才能賦值給具體指標類型；但在 C 語言中，這不僅多餘，還可能掩蓋錯誤。

歷史演進

• K&R C：無 void*，malloc 返回 char*，需強制轉型
• ANSI C (C89/C90)：引入 void* 作為通用指標，可隱式轉換為任何物件指標
• 現代 C (C99/C11/C17)：延續此規範，不需也不建議強制轉型

正確範例

#include <stdlib.h>  // 正確標頭檔，非 malloc.h

int main(void) {
    double *p = malloc(sizeof *p);  // 無需 (double*)，推薦 sizeof *p
    if (p) {
        // 使用 p...
        free(p);
    }
    return 0;
}

不轉型的三大好處

1. 避免掩蓋錯誤：若忘記 #include <stdlib.h>，編譯器會假設 malloc 返回 int，強制轉型會隱藏此警告，導致 64 位元系統指標截斷崩潰
2. 維護彈性：變更指標類型時（如 double* → int*），無需同步修改轉型運算子
3. 程式碼簡潔：減少冗長轉型語法，配合 sizeof *p 更優雅

常見誤解澄清

「但 C++ 要求轉型，為了跨語言相容我還是轉吧？」

錯誤！C 與 C++ 是不同語言，各遵循各自標準。在 .c 檔案中遵循 C 標準，在 .cpp 中遵循 C++ 標準。混用會導致更多問題。

同樣適用於

calloc、realloc、aligned_alloc 等所有返回 void* 的配置函式。

標頭檔提醒

請包含 <stdlib.h>（C++ 為 <cstdlib>），絕勿使用 malloc.h，它從未納入任何 C/C++ 標準，移植性極差。