C 語言函數存儲類別：extern 與 static 的作用域控制

C 語言函數存儲類別：extern 與 static 的作用域控制

C 語言中所有函數預設為外部連結，但透過 extern 和 static 關鍵字可精確控制函數的可見範圍，實現模組封裝與命名空間隔離。

4.1 extern 外部函數

extern int add(int a, int b);  // 宣告（通常在頭檔）
int add(int a, int b) { ... }  // 定義（在 .c 檔）

• 預設行為：函數定義不加關鍵字即隱含 extern
• 跨檔案調用：其他編譯單元（.c 檔）包含頭檔宣告後即可調用
• 非整數回傳值：調用端必須先見到宣告（含 extern），否則編譯器假設回傳 int 導致錯誤

4.2 static 靜態函數（內部函數）

static int helper(int x) { ... }  // 僅本檔案可見

• 內部連結：符號不進入全域符號表，其他 .c 檔無法連結
• 避免命名衝突：不同檔案可定義同名 static 函數
• 封裝實作細節：僅在單一編譯單元內使用的輔助函數應宣告為 static
• 強制調用報錯：外部嘗試調用會產生連結器錯誤 undefined reference

最佳實踐建議

常見誤區

1. 以為 static 函數不可遞迴：錯誤，static 僅影響連結可見性，不影響呼叫機制
2. 混淆 static 變數與 static 函數：前者延長生命週期，後者限制作用域
3. 頭檔定義 static 函數：每個包含該頭檔的 .c 都會產生獨立副本，浪費空間且易混淆