GCC 對指針類型轉換不報錯的設計哲學：信任程序員、靜態分析工具輔助、C 標準未定義行為

現象代碼

int f1(int *x);
int main() {
    signed char a = 0, b = 0;
    f1(&a); // 傳 signed char* 給 int*
}
int f1(int *x) { *x = 0xaabb; } // 寫入 4 字節，覆蓋相鄰 b

GCC 僅給警告 (-Wpointer-sign、-Wincompatible-pointer-types)，不報錯。

設計原因

1. C 語言信任程序員：指針轉換在系統編程(硬件寄存器映射、內存池、序列化)中極其常見，禁止將嚴重阻礙底層開發。
2. 隱式轉換規則：void* 可隱式轉換為任意對象指針，歷史包袱兼容性。
3. 未定義行為 (UB)：標準規定通過不兼容指針類型訪問對象屬 UB，編譯器不要求診斷，運行時後果自負 (如上例覆蓋 b)。
4. 靜態分析補位：現代開發依賴 -Wall -Wextra -pedantic、Clang-Tidy、Cppcheck、Coverity 等工具在編譯期/CI 捕獲此類缺陷。

最佳實踐

• 編譯旗標：-Wall -Wextra -Wconversion -Wpointer-sign -Wstrict-aliasing。
• 關鍵模塊啟用 -fno-strict-aliasing 禁用嚴格別名優化 (若確需類型雙關)。
• 使用 union 或 memcpy 進行類型雙關，符合標準且可移植。