C/C++ 全域變數與 extern、static、const 關聯深度解析

跨檔案共用變數是大型專案常見需求，但 extern、static、const 在全域變數上的語意差異極易導致連結錯誤（LNK2005 重複定義、LNK2001 未解析符號）。本文從編譯單元、聲明與定義、連結模型三個基礎概念切入，系統釐清三者用法與最佳實踐。

核心前置概念

1. 編譯單元：一個 .c/.cpp 搭配其引用的頭檔，編譯產出一個 .obj。專案由多個編譯單元組成，連結器將其合併為 EXE/DLL。
2. 聲明 vs 定義：聲明告知編譯器符號存在（型別、名稱），不配置記憶體；定義配置記憶體。聲明可多處，定義全專案唯一（ODR 原則）。
3. 連結模型：extern 代表外部連結（跨單元可見）；static 代表內部連結（僅本單元可見）；const 在 C++ 預設內部連結，C 則為外部連結。

1. extern：跨檔案共用全域變數的標準作法

頭檔 global.h（僅聲明）

#ifndef GLOBAL_H
#define GLOBAL_H
extern int g_counter;      // 聲明：不配置記憶體
extern void InitCounter(); // 函式聲明
#endif

實作檔 global.cpp（定義）

#include "global.h"
int g_counter = 0; // 定義：配置記憶體，初始化
void InitCounter() { g_counter = 100; }

使用檔 main.cpp

#include "global.h"
int main() { InitCounter(); printf("%d", g_counter); return 0; }

✅ 正確：global.cpp 定義一次，其他單元透過 extern 引用同一記憶體位址。

❌ 常見錯誤：在頭檔直接定義

// global.h 錯誤示範
extern int g_counter = 0; // 等同於定義！多檔包含會導致 LNK2005 重複定義

解決：頭檔只寫 extern int g_counter;，定義放在唯一的 .cpp。

2. static：檔案級私有全域變數

• static 與 extern 互斥，不可同時修飾同一符號。
• 修飾全域變數時，聲明即定義，且連結屬性為內部：其他編譯單元不可見，不佔用全域符號表。
• 不同 .cpp 可定義同名 static int g_x;，互不干擾。

// moduleA.cpp
static int g_mode = 1; // 僅 moduleA 可見
void FuncA() { g_mode = 2; }

// moduleB.cpp
static int g_mode = 100; // 獨立的另一個變數，無衝突
void FuncB() { g_mode = 200; }

適用場景：模組內部狀態、快取、單例實作細節隱藏。

3. const：常數與連結屬性的語言差異

C++ 最佳實踐：

// constants.h
#pragma once
extern const int MAX_CONN;      // 聲明，外部連結
extern const char* APP_NAME;    // 指標常數

// constants.cpp
#include "constants.h"
const int MAX_CONN = 1024;
const char* APP_NAME = "MyApp";

4. 綜合對照表

避坑檢查清單

• ✅ 头檔只放 extern 聲明（或 extern const），絕不 放定義（含初始化）。
• ✅ 模組私有全域變數加 static，減少連結器符號表壓力。
• ✅ C++ 專案全域常數統一加 extern 於頭檔，.cpp 定義一次。
• ✅ 使用無名命名空間 namespace { int x; } 替代 static（C++ 推薦，語意更清晰）。
• ✅ 連結錯誤 LNK2005 → 檢查頭檔是否重複定義；LNK2001 → 檢查是否遺漏定義或 extern 拼寫錯誤。