C/C++ 深度解析：void 與 void 指針的本質與規範用法

void 的字面含義

void =「無類型」，void* =「無類型指針」，可指向任意類型的數據對象。

void 的兩大核心用途

1. 函數無返回值：void func(int, int);
2. 函數無參數：int func(void); (C++ 中 int func(); 等價，但 C 中不同)

void 指針核心規則

1. 任意類型指針 → void*：隱式轉換合法

int* pInt = new int(42);
void* pVoid = pInt; // 合法：無類型可包容有類型

2. void* → 具體類型指針：必須強制轉換

int* pInt2 = pVoid;        // 錯誤：不能隱式從 void* 轉換
int* pInt3 = (int*)pVoid;  // 正確：C 風格強轉
int* pInt4 = static_cast(pVoid); // 推薦：C++ 風格

道理：「人是男人或女人」成立，「男人是人」成立，但「人是男人」不成立。

3. 算術運算限制

• ANSI C 標準：禁止 對 void* 算術運算（pVoid++、pVoid + 1），因為不知道對象大小
• GNU 擴展：允許 void* 算術，視同 char*（按 1 字節遞增）
• 可移植寫法：(char*)pVoid + n 或 (uint8_t*)pVoid + n

void 指針作為通用參數：標準庫典範

void* memcpy(void* dest, const void* src, size_t n);
void* memset(void* s, int c, size_t n);

• 參數用 void* 接受任意類型緩衝區
• 返回 void* 便於鏈式調用
• 體現「操作內存位模式，不關心類型」的本質

void 不能定義變量

void a; // 編譯錯誤：illegal use of type 'void'
void func(void a); // 錯誤

void 是抽象類型（類比抽象基類），不可實例化。只有「有類型」的對象才能存在於內存中。

C 與 C++ 差異速查

最佳實踐檢查清單

☐ 無返回值函數必須聲明 void
☐ 無參函數 C++ 建議寫 void，C 必須寫 void
☐ void* 只作為「不關心類型的內存塊」傳遞
☐ void* 轉具體類型必須 static_cast
☐ void* 算術統一轉 char* 或 uint8_t*
☐ 絕不定義 void 變量或參數

總結

void 是類型系統的「底類型」，表達「無類型」抽象。
void* 是通用內存地址的統一表示，橋接強類型與無類型世界。
嚴守轉換規則、算術限制、不可實例化三大鐵律，代碼才安全、可移植、可維護。