C 語言 static 與 extern 完整指南：連結屬性、作用域、跨檔案共享與 C/C++ 混合編程

核心概念：連結屬性

C 語言識別符 (變數/函數) 擁有三種連結屬性：

static 詳細用法

1. 檔案層級：模組私有化

// utils.c
static int call_count = 0;           // 僅本檔可見
static void internal_cleanup() { ... } // 僅本檔可呼叫

void PublicAPI() {
    call_count++;
    if (call_count % 100 == 0) internal_cleanup();
}

• 連結器不會匯出 call_count、internal_cleanup 符號，其他 .c 即使 extern 宣告也會連結失敗。
• 編譯器可對內部連結符號積極最佳化 (內聯、刪除未使用、常數傳播)。

2. 區塊層級：函數內狀態保持

int GetNextID() {
    static int id = 0;   // 僅初始化一次，程式全程存活
    return ++id;
}

// 等效於檔案層級 static，但作用域縮小到函數內
// 避免污染檔案/全域命名空間

3. 結構體/陣列靜態初始化

static const struct Config default_cfg = {
    .timeout = 30,
    .retry = 3,
    .servers = {"127.0.0.1", "192.168.1.1"}
};

extern 詳細用法

1. 跨檔案共享變數

// globals.c  (定義，配置記憶體)
int g_server_port = 8080;
char g_version[32] = "1.0.0";

// globals.h  (宣告，供其他檔包含)
extern int g_server_port;
extern char g_version[];  // 陣列大小可省略

// main.c
#include "globals.h"
printf("Port: %d, Ver: %s\n", g_server_port, g_version);

鐵律：定義只能出現一次 (One Definition Rule)；標頭檔 只能放宣告，否則多檔包含導致重複定義錯誤。

2. 跨檔案共享函數

// math_ops.c
int Add(int a, int b) { return a + b; }  // 函數預設外部連結

// math_ops.h
int Add(int a, int b);  // extern 可省略

// main.c
#include "math_ops.h"
printf("%d\n", Add(1, 2));

3. const 變數的特殊連結規則

// C 語言：檔案層級 const 預設「內部連結」 (如 static)
const int MAX_CONN = 100;  // 等同 static const int MAX_CONN = 100;

// 若需跨檔共享 const，定義端與宣告端「都要加 extern」
// config.c
extern const int MAX_CONN = 1000;

// config.h
extern const int MAX_CONN;

C++ 則相反：檔案層級 const 預設外部連結。

C/C++ 混合編程：extern "C"

C++ 編譯器對函數名進行 Name Mangling (如 _Z3Addii)，C 編譯器不會 (Add)。若 C++ 呼叫 C 函數，或 C 呼叫 C++ 函數 (需暴露 C 介面)，必須強制使用 C 命名慣例：

// c_api.h  (同時支援 C 與 C++ 包含)
#ifdef __cplusplus
extern "C" {
#endif

int C_Add(int a, int b);
void C_Init(void);

#ifdef __cplusplus
}
#endif

// c_api.c (純 C 編譯)
#include "c_api.h"
int C_Add(int a, int b) { return a + b; }

// cpp_main.cpp (C++ 編譯)
#include "c_api.h"
int main() { return C_Add(1, 2); }  // 連結成功，符號為 "C_Add"

常見錯誤

// 錯誤
extern "C" {
    #include       // C++ 標頭檔含類別、模板、重載 → C 連結無效
    #include "my_cpp.hpp"  // 同理
}

// 正確
#ifdef __cplusplus
extern "C" {
#endif

int C_API_Func(int);
void C_API_Init(void);

#ifdef __cplusplus
}
#endif

Static 法則 (Large-Scale C++ 設計原則)

「若全域變數/函數僅在單一檔案使用，宣告為 static；若僅在單一函數使用，宣告為區塊層級 static。降低模組耦合，利於封裝與並行編譯。」

• 好處：減少連結器符號表大小、避免名稱衝突、啟用編譯器積極最佳化、強制模組介面最小化。
• 注意：static 區域變數在多執行緒環境下初始化有競爭 (C11 保證安全，C99 未定義)；存取需考慮原子性或鎖保護。

進階：visibility 屬性 (GCC/Clang) — 比 static 更細粒度

#define API_PUBLIC  __attribute__((visibility("default")))
#define API_PRIVATE __attribute__((visibility("hidden")))

API_PUBLIC int PublicFunc();      // 動態庫匯出符號
API_PRIVATE int InternalHelper(); // 隱藏符號，不進 .dynsym

// 編譯加 -fvisibility=hidden 預設隱藏，僅標記 PUBLIC 者匯出

適用於共用庫 (.so/.dylib/.dll) 發布，縮小符號表、加快載入、避免符號衝突。

總結對照表

結語

static 與 extern 是 C 語言模組化、封裝、跨檔協作的基石。精通連結屬性三態 (外部/內部/無)、定義與宣告分離、const 連結差異、C/C++ 混合編程 extern "C"、visibility 屬性，能讓你設計出介面乾淨、符號不洩漏、連結快速、易於測試與重構的大型 C 專案。下次宣告全域符號時，先問：「誰需要看見它？」 — 答案決定 static 或 extern。